Skip to content
Finding bugs in C code with Multi-Level IR and VAST
blog.trailofbits.com | vulnerability | #vulnerability-research | #c | #static-analysis | #llvm | #program-analysis | #compilers | #mlir | #reversing | #vast
Summary
Trail of Bits introduces VAST, a tower of IRs built on MLIR that lets analyses move across abstraction levels to identify, classify, and remediate C bugs such as stack buffer overflows.
- Published
- Collected