Cyber Risks · Trail of Bits Blog

Sai Vegasena

Summary: Trail of Bits published an internship project post by Peter Goodman and Sai Vegasena of New York University describing KLEE-Native, a fork of KLEE that operates on binary program snapshots by lifting machine code to LLVM bitcode. The post is dated August 30, 2019 and is filed under internship-projects and symbolic-execution.

What's compelling: The technique targets binaries you cannot rebuild from source, lifting machine code to LLVM bitcode so symbolic execution can run on the snapshot as shipped - the form in which most third-party and legacy code actually reaches your environment.

Read the original at Trail of Bits Blog ↗