Final analysis for write outside buffer class.
 *modified "Fri Oct  2 10:37:28 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_write_buffer_sites.py to build write_buffer_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.
