List rules ideas and the status of their implementation.
| Name | Severity | Description | Status |
|---|---|---|---|
| Use unwrap | Warning | Check for occurences of unwrap and suggest proper error checking |
🚧 |
| Use felt252 | Warning | Check for usage of felt252 type for arithmetic operations and suggest to use integers type instead | 🚧 |
| Div by zero | Warning | Check if a divison by zero could occur and suggests to check if the operation is valid beforehand top report a better error message | 🚧 |
| Mult overflow | Warning | Check if a multiplication could result in a panic related to an overflow and suggest to check if the operation is valid beforehand to report a better error message | 🚧 |
| Unused function parameters | Warning | Check if the parameter of a function is not used | 🚧 |
| Unused variable value | Warning | Check if the value stored by a variable is not used | 🚧 |
| Borrow deref ref | Warning | Check for pattern @*(@T) |
🚧 |
| Contract call with unchecked parameters | Warning | Check for external contract call with tainted parameters | 🚧 |
| Break CEI patterns | Warning | Check for violation of the CEI pattern | 🚧 |
| Missing break in loop | Warning | Check for missing termination condition in loop | 🚧 |
| Array OOB | Warning | Check for array indexing with tainted parameter | 🚧 |
| External constructor | Warning | Check if the constructor has been marked as external | ✅ |