Binary symbolic execution with KLEE-NativeKLEE-Native, a fork of KLEE that operates on binary program snapshots by lifting machine code to LLVM bitcode.
