rea
Reverse engineer anything with agents, from app behavior down to native binaries.
Open Source219.4K
7views3clicks
VeriFast
A tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.
Development
23views2clicks
About
A tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. To express rich specifications, the programmer can define inductive datatypes, primitive recursive pure functions over these datatypes, and abstract separation logic predicates.
Listing source: Original source. How we curate tools.
