angr / angr-management

The official angr GUI.

xqzme69 / A2MBA-LLVM

LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.