-
Federal
SATE VI Ockham Sound Analysis Criteria data and programs (2020)
National Institute of Standards and Technology —
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.