Skip to content
MUI: Visualizing symbolic execution with Manticore and Binary Ninja
blog.trailofbits.com | blog | #reverse-engineering | #binary-analysis | #binary-ninja | #symbolic-execution | #manticore | #visualization
Summary
MUI pairs the Manticore symbolic execution engine with Binary Ninja's interface, making state exploration visual and interactive, with custom hooks to tame state explosion during analysis.
- Published
- Collected