- Fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
- Automated fuzzing tool useful for detecting property violations in smart contract code.
- Dynamic symbolic execution framework for analyzing EVM bytecode.