Omniscia Tren Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 71 potential issues within the codebase of which 51 were ruled out to be false positives or negligible findings.
The remaining 20 issues were validated and grouped and formalized into the 12 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| ACT-01S |  |  | Illegible Numeric Value Representation |
| ACT-02S | | | Inexistent Event Emission |
| ACT-03S | | | Redundant Variable Assignment |
| CIE-01S | | | Inexistent Event Emission |
| CAS-01S | | | Inexistent Event Emissions |
| FLN-01S | |  | Illegible Numeric Value Representations |
| FLN-02S |  | | Improper Invocations of EIP-20 transfer |
| LTR-01S | | | Redundant Variable Assignment |
| PFL-01S | | | Illegible Numeric Value Representations |
| TBO-01S | | | Illegible Numeric Value Representations |
| WEU-01S | | | Inexistent Sanitization of Input Addresses |
| WEU-02S | | | Multiple Top-Level Declarations |