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