Sai Vegasena on The Trail of Bits Bloghttps://miscreants.github.io/blog.trailofbits.com/authors/sai-vegasena/Recent content in Sai Vegasena on The Trail of Bits BlogHugoen-usFri, 30 Aug 2019 06:50:08 -0400Binary symbolic execution with KLEE-Nativehttps://miscreants.github.io/blog.trailofbits.com/2019/08/30/binary-symbolic-execution-with-klee-native/Fri, 30 Aug 2019 06:50:08 -0400https://miscreants.github.io/blog.trailofbits.com/2019/08/30/binary-symbolic-execution-with-klee-native/KLEE-Native, a fork of KLEE that operates on binary program snapshots by lifting machine code to LLVM bitcode.