Skip to content
Vulnerability Modeling with Binary Ninja
blog.trailofbits.com | vulnerability | #vulnerability-research | #binary-analysis | #openssl | #static-analysis | #binary-ninja | #symbolic-execution | #heartbleed | #theorem-proving
Summary
Trail of Bits shows automated vulnerability discovery on stripped binaries, using Binary Ninja's MLIL and SSA forms with a theorem prover to model and rediscover the Heartbleed bug in OpenSSL.
- Published
- Collected