Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Close Encounters with Symbolic Execution (Part 2)

blog.trailofbits.com | blog | #reverse-engineering | #llvm | #darpa | #symbolic-execution | #mcsema | #klee

Summary

Part 2: how to build KLEE with LLVM 3.2 on Ubuntu 14.04 and use mcsema to symbolically execute a maze-oracle binary — translating it to bitcode and solving all paths with a symbolic-input driver.
Published
Collected

original ↗

Related coverage

  1. Close Encounters with Symbolic Execution (blog.trailofbits.com)
  2. McSema is Officially Open Source! (blog.trailofbits.com)
  3. Optimizing Lifted Bitcode with Dead Store Elimination (blog.trailofbits.com)
  4. Heavy lifting with McSema 2.0 (blog.trailofbits.com)
  5. McSema: I’m liftin’ it (blog.trailofbits.com)
  6. A fuzzer and a symbolic executor walk into a cloud (blog.trailofbits.com)

back