Omniscia Kinza Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 31 potential issues within the codebase of which 21 were ruled out to be false positives or negligible findings.
The remaining 10 issues were validated and grouped and formalized into the 6 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| PEC-01S |  |  | Redundant Function Implementations |
| PEC-02S |  | | Inexistent Sanitization of Input Address |
| PEC-03S |  |  | Improper Invocations of EIP-20 transferFrom |
| PNT-01S | | | Redundant Function Implementation |
| PNT-02S | | | Inexistent Sanitization of Input Address |
| PNT-03S | | | Improper Invocations of EIP-20 transferFrom |