yuatemycat / SuperGhidra

SuperGhidra: Autonomous Agent Reverse Engineering, Lock-Free Ghidra Daemon & C++ Recovery Suite

esbmc / esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

prove-rs / z3.rs

Rust bindings for the Z3 solver.