Final analysis for read outside buffer class.
 *created  "Fri Oct  2 11:45:04 2015" *by "Paul E. Black"
 *modified "Thu Nov 19 11:26:33 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_read_buffer_sites.py to build read_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.
