SATE V Ockham Sound Analysis Criteria analysis programs and data

All the analysis programs, scripts, and files needed to produce the results in "SATE V Ockham Sound Analysis Criteria" NIST-IT 8113. In the Static Analysis Tool Exposition (SATE) V, only one tool was submitted to be reviewed for the Ockham Sound Analysis Criteria. Pascal Cuoq and Florent Kirchner ran Frama-C on pertinent parts of the Juliet 1.2 test suite. Three files came from Frama-C: two files of tool output and one file with comments about their submission. The other main parts are: the Juliet 1.2 test cases and programs to extract sites from them, a program to extract warnings from the tool outputs, and one subdirectory for each class of warning.