Skip to content
The Problem with Dynamic Program Analysis
blog.trailofbits.com | blog | #memory-safety | #use-after-free | #tools | #vulnerability-discovery | #static-analysis | #llvm | #program-analysis | #data-flow | #pointsto | #data-flow-analysis
Summary
Dynamic tools like AddressSanitizer only check executed paths; Trail of Bits' PointsTo applies whole-program static data-flow analysis on LLVM bitcode to find use-after-free bugs at scale.
- Published
- Collected