Apply this methodology when performing a security audit, peer review, or general assessment of Solidity smart contracts. It is designed to identify vulnerabilities, ensure adherence to best practices, and verify the robustness of the contract logic.
Before beginning the manual review, ensure the following items are addressed:
| Critical | Direct loss of funds, permanent contract lock, or total compromise. | Reentrancy, Unprotected withdraw, Logic error in transfer. | | High | Significant impact on system functionality or exploitable under realistic conditions. | Access control bypass, Unchecked external calls, Oracle manipulation. |
Intelligente Vertragscode-Überprüfungs- und Sicherheitsaudit-Methodik für Solidity. Wird zum Überprüfen, Auditieren oder Bewerten der Sicherheit von Solidity-Code verwendet. Bietet einen strukturierten Überprüfungsprozess, eine Klassifizierung des Schweregrads, wichtige Inspektionsbereiche und die Integration von OWASP SCWE. Wird bei Aufgaben ausgelöst, die Codeüberprüfung, Sicherheitsaudit, Schwachstellenbewertung, intelligente Vertragsüberprüfung oder Best-Practice-Prüfung umfassen. Quelle: whackur/solidity-agent-toolkit.