SATE V Ockham Sound Analysis Criteria analysis programs and data
收藏DataCite Commons2020-07-27 更新2025-04-16 收录
下载链接：
https://nist-ockham-criteria-sate-v-data.s3.amazonaws.com/ockhamCriteriaSATEVdata.tar.xz
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
NIST
创建时间：
2016-03-09
