SATE VI Ockham Sound Analysis Criteria data and programs (2020)
收藏DataCite Commons2025-01-02 更新2025-04-16 收录
下载链接：
https://data.nist.gov/od/id/mds2-2187
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
National Institute of Standards and Technology
创建时间：
2020-07-16
