Create a survey - Githubissues

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 6 years ago

chkl commented 6 years ago

The survey should test a developer's judgment about certain assertions and her expectations about a "sound" tool.

[ ] undefined behavior, is seahorn's under-approximation expected? [ ] "confusing" cases: #105

sogosurvey.com looks good. Let's you paste pre-formatted html into the questions.

TODO: Add ~15 files with "ties". Make sure there's a substantial number of undefined behavior

chkl commented 6 years ago

Additional questions: