Binary symbolic execution with KLEE-NativePeter Goodman, Sai Vegasena (New York University)August 30, 2019internship-projects, symbolic-executionKLEE-Native, a fork of KLEE that operates on binary program snapshots by lifting machine code to LLVM bitcode.