
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…
binary-analysiscryptographyeducation+2
12.7k17h 34m ago

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

YARI is an interactive debugger for YARA Language.


IDA plugin which queries language models to speed up reverse-engineering

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…