SATE VI Ockham Sound Analysis Criteria data and programs (2020)
收藏NIST Chemistry WebBook2025-01-02 更新2026-03-14 收录
下载链接：
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.
