Omniscia Olympus DAO Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 420 potential issues within the codebase of which 407 were ruled out to be false positives or negligible findings.
The remaining 13 issues were validated and grouped and formalized into the 10 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BTR-01S | Major | Yes | Inexistent Initialization of Member |
| BTR-02S | Informational | Yes | Improper Inheritence |
| SDR-01S | Informational | Yes | Improper Inheritence |
| SDR-02S | Informational | Yes | Undocumented Value Literal |
| TRE-01S | Minor | Yes | Improper Usage of EIP-20 Transfer |
| TRE-02S | Informational | Yes | Literal Equality of bool Variables |
| VOD-01S | Minor | Yes | Inexistent Validation of Address Argument |
| VOD-02S | Informational | Yes | Inexistent Emission of Event |
| OEC-01S | Informational | Yes | Illegible Numeric Literal |
| OEC-02S | Informational | Yes | Improper Inheritence |