https://www.trailofbits.com [email protected]
New York, NY Binary Translation by @trailofbits
Lifting Bits
An optimizing decompiler (modified to use remill semantics)
lifting-bits
KLEE Symbolic Execution Engine
LibVEX with patches to support static analysis
Unofficial CMake build for Ghidra's C++ SLEIGH code
