rea
Reverse engineer anything with agents, from app behavior down to native binaries.
Open Source219.4K
7views3clicks
KLEE
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible
Development
38views4clicks
About
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
Listing source: Original source. How we curate tools.
