Omniscia DAFI Protocol Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 185 potential issues within the codebase of which 171 were ruled out to be false positives or negligible findings.
The remaining 14 issues were validated and, along with 3 compilation errors, grouped and formalized into the 7 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BTN-01S | Informational | Yes | Transfer Allowance Default Value |
| DAI-01S | Minor | Yes | Inexistent Zero-Address Checks |
| DAT-01S | Informational | Yes | Variable Mutability Specifier |
| ERC-01S | Informational | No | Improper Declaration |
| ERB-01S | Informational | No | Improper Declaration |
| PFD-01S | Informational | No | Nonstandard Naming Convention |
| PFD-02S | Informational | No | Redundant Declarations |