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.
