> Binary symbolic execution with KLEE-Native
[DATE: 30/08/2019 10:50]
[LANGUAGE: EN]
KLEE-Native, a fork of KLEE that operates on binary program snapshots by lifting machine code to LLVM bitcode.