
Capability,Description,Examples of Detected Flaws Vulnerability Detection,Analyzes code logic against common attack patterns defined by standards like SWC (Smart Contract Weakness Classification).,"Reentrancy (SWC-107), Integer Overflow/Underflow (SWC-101), Denial of Service (SWC-128)." Code Structure Analysis,"Assesses compliance with security best practices, such as the Checks-Effects-Interactions pattern.","External calls made before state updates, improper use of transfer() vs. call()." Risk and Severity Ranking,"Categorizes findings into quantifiable risk levels (Critical, High, Medium, Low, None) to help developers prioritize fixes.",A Reentrancy bug might be Critical; a missing event emission might be Low. Actionable Recommendations,"For every identified flaw, it must propose specific, technical fixes or mitigation strategies.","""Use the OpenZeppelin ReentrancyGuard,"" or ""Change tx.origin to msg.sender."""
7 Dec 2025