- Vulnerability Modeling with Binary Ninja https://blog.trailofbits.com/2018/04/04/vulnerability-modeling-with-binary-ninja/ 5 comments netsec
Linked pages
- Heartbleed Bug http://heartbleed.com/ 1644 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Program slicing - Wikipedia https://en.wikipedia.org/wiki/Program_slicing 10 comments
- Static single-assignment form - Wikipedia https://en.wikipedia.org/wiki/Static_single_assignment_form 8 comments
- Using Static Analysis and Clang To Find Heartbleed | Trail of Bits Blog http://blog.trailofbits.com/2014/04/27/using-static-analysis-and-clang-to-find-heartbleed/ 4 comments
- GitHub - trailofbits/manticore: Symbolic execution tool https://github.com/trailofbits/manticore/ 0 comments
Related searches:
Search whole site: site:blog.trailofbits.com
Search title: Vulnerability Modeling with Binary Ninja | Trail of Bits Blog
See how to search.