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.