Omniscia KlimaDAO Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 637 potential issues within the codebase of which 626 were ruled out to be false positives or negligible findings.
The remaining 11 issues were validated and grouped and formalized into the 9 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| AKR-01S | Informational | No | Improper Event Name |
| AEK-01S | Informational | Yes | Inexistent Event Emission |
| EKL-01S | Informational | Yes | Inexistent Event Emission |
| EKL-02S | Informational | No | Redundant Contract Variable |
| KCS-01S | Informational | No | Redundant bool Variable Comparison |
| KLP-01S | Informational | No | Redundant Statement |
| KSD-01S | Informational | No | Undocumented Value Literal |
| KTY-01S | Minor | No | Improper Usage of EIP-20 Transfer |
| KTY-02S | Informational | No | Redundant bool Variable Comparison |