Fill "findings" column of the "Confront authors project"

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

Closed chkl closed 5 years ago

chkl commented 6 years ago

Using huge.db:

unsound according to majority:

chkl commented 6 years ago

Ignoring float-related cases.

chkl commented 6 years ago

There are just too many smack cases...