Final analysis for integer overflow class.
 *created  "Fri Oct 16 11:39:21 2015" *by "Paul E. Black"
 *modified "Fri Oct 16 11:42:35 2015" *by "Paul E. Black"

Once for all classes, go to ../ExtractWarnings and run extract_warnings:
$ make
This assigns each warning in the Frama-C reports to a particular
weakness class and produces a csv format file.

For this class, go to ../ExtractSites/ and run
get_int_inc_sites.py to build int_inc_sites.xml.
Documentation is there.

rebuild any needed files and check
$ make

There should be no mismatches, either warnings not in the universe or
findings that are buggy sites.  If these two checks are passed, counts
of the number of items in each group are printed for the report.
