Hacker News
- Finding Software Bugs Using Symbolic Execution https://sasnauskas.eu/finding-software-bugs-using-symbolic-execution/ 10 comments
Linked pages
- The illustrated guide to a Ph.D. http://matt.might.net/articles/phd-school-in-pictures/ 770 comments
- GitHub - google/souper: A superoptimizer for LLVM IR https://github.com/google/souper 89 comments
- The LLVM Compiler Infrastructure Project http://llvm.org 40 comments
- KLEE http://klee.github.io/ 24 comments
- http://llvm.org/pubs/2008-12-OSDI-KLEE.pdf 0 comments
Related searches:
Search whole site: site:sasnauskas.eu
Search title: Finding Software Bugs Using Symbolic Execution
See how to search.