Omniscia DAFI Protocol Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 87 potential issues within the codebase of which 76 were ruled out to be false positives or negligible findings.
The remaining 11 issues were validated and grouped and formalized into the 4 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BBO-01S | Informational | No | Redundant bool Variable Comparison |
| DAF-01S | Informational | No | Illegible Numeric Literal |
| DAI-01S | Informational | No | Illegible Numeric Literal |
| EBO-01S | Informational | No | Redundant bool Variable Comparison |