Dynamic testing framework that generates random inputs to discover vulnerabilities and invariant violations in smart contracts
Dynamic testing framework that generates random inputs to discover vulnerabilities and invariant violations in smart contracts