3 ms·
The Daikon invariant detector
- vmorgulis 11y agoGitHub: https://github.com/codespecs/daikon https://github.com/codespecs/daikon Interesting paper of another tool: https://github.com/codespecs/fjalar/blob/master/valgrind/fjalar/docs/fjalar-www/dyncomp_csw2005.pdf https://github.com/codespecs/fjalar/blob/master/valgrind/fja...