KADENA
TRACE_AI
Run Security Audit
contract.pact
Load Vulnerable
Load Defpact
Load Secure
Awaiting Pact Code
Loading...
Security Audit
Formal Verification
Analysis Engine Idle
Paste a smart contract and run the audit to generate security metrics.