F
licenseNot graded
qualityB
maintenanceEnables autonomous auditing and sanitization of EIP-712 typed signature phishing attempts and permit/allowance risks, including Permit2 and MetaMask scenarios, through deterministic callgraph and invariant analysis with vulnerability triage.
8
-