F
licenseNot graded
qualityB
maintenanceEnables static auditing of EVM Solidity smart contracts to detect critical vulnerabilities such as reentrancy state changes, unhandled external calls, unchecked delegatecall, and tx.origin authentication flaws, producing risk audit reports.
7
-