rea
Reverse engineer anything with agents, from app behavior down to native binaries.
Open Source219.4K
7views3clicks
DrNim
DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.
Development
37views5clicks
About
DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.
Listing source: Original source. How we curate tools.
