SATE VI Ockham Sound Analysis Criteria data and programs (2020)
Description
Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria. The Criteria recognizes static analyzers whose findings are always correct.
Resources
| Name |
Format |
Description |
Link |
|
74 |
Overview of contents |
https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/README |
|
0 |
Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria. |
https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/ockhamCriteriaSATEVIdata2020.tar.xz |
|
0 |
|
https://doi.org/10.18434/M32187 |
Tags
- sound-static-analysis-tool-exposition
- software-assurance
- ockham-criteria