Skip to content
Binary symbolic execution with KLEE-Native
blog.trailofbits.com | blog | #reverse-engineering | #binary-analysis | #llvm | #program-analysis | #symbolic-execution | #klee | #paravirtualization
Summary
KLEE-Native extends the KLEE symbolic executor to binary program snapshots by dynamically lifting machine code to LLVM bitcode, enabling symbolic execution without source using paravirtualization.
- Published
- Collected