Omniscia Bolide Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 72 potential issues within the codebase of which 55 were ruled out to be false positives or negligible findings.
The remaining 17 issues were validated and grouped and formalized into the 4 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| SEG-01S |  |  | Inexistent Conformity to Checks-Effects-Interactions Pattern |
| SEG-02S |  | | Ineffectual Assignment |
| SEG-03S | | | Multiple Top-Level Declarations |
| SEG-04S |  | | Inexistent Sanitization of Input Addresses |