-
NIST SAMATE Software Assurance Reference Dataset
This dataset provides the NIST Software Assurance Metrics And Tool Evaluation (SAMATE) Software Assurance Reference Dataset (SARD) - a set of programs with known security flaws.... -
SATE VI Ockham Sound Analysis Criteria data and programs (2020)
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. -
SATE VI Ockham Sound Analysis Criteria data and programs (2020)
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.