Dece-4 Project Pdf !full! May 2026

python audit/runner.py --target contracts/ --level 4 Checks: reentrancy, timestamp dependence, front-running, integer overflow. Start relay: