Would have been helpful to compare with the results of feeding the same source code into existing analysis tools.