Public Data Resource

SATE VI Ockham Sound Analysis Criteria data and programs (2020)

Contact: Paul E. Black..
Version: 1.0.0 Last modified: 2020-02-27 00:00:00


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.
Research Topics: Metrology:Metric , Information Technology:Software research , Information Technology:Conformance testing    
Subject Keywords: Ockham criteria, sound static analysis tool exposition, software assurance    

Data Access

These data are public.

Loading file list...