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 |
|---|---|---|---|
| DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020) | Unknown | Open resource | |
| SATE VI Ockham data and programs | Unknown | Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria. | Open resource |
| README | TXT | Overview of contents | Open resource |