Omniscia Echidna Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 329 potential issues within the codebase of which 321 were ruled out to be false positives or negligible findings.
The remaining 8 issues were validated and grouped and formalized into the 4 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BOO-01S | Minor | Yes | Improper Invocation of EIP-20 transferFrom |
| BOO-02S | Informational | Yes | Redundant bool Variable Comparison |
| PDR-01S | Informational | Yes | Conditional Tautology |
| PDR-02S | Informational | Yes | Redundant bool Variable Comparison |