Skip to content

Cairo Rules

SAST rules for Cairo that identify insecure patterns in application code.

Cairo Rule Catalog

IDTitleSeverityCategory
CODE-0209View function should not write to stateHIGHSecurity
CODE-0811Division by ZeroHIGHGeneric
CODE-0486View function should not modify stateMEDIUMSecurity
CODE-0622Insecure Authentication Using account_contract_addressMEDIUMAuth
CODE-0670Missing Error Message in Assert StatementLOWErrorHandling

Total Rules: 5

Click on any rule ID to view detailed information, examples, and remediation guidance.