Omniscia Alliance Block Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 337 potential issues within the codebase of which 76 were ruled out to be false positives or negligible findings.
The remaining 261 issues were validated and, along with 12 compilation errors, grouped and formalized into the 10 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| APF-01S | Informational | Yes | Inexistent Event Emittence |
| LMC-01S | Minor | Yes | Inapplicacy of Checks-Effects-Interactions |
| NCR-01S | Minor | Yes | Variable Shadowing |
| OSF-01S | Minor | Yes | Inexistent Input Validation |
| RPB-01S | Minor | Yes | Inapplicacy of Checks-Effects-Interactions Pattern |
| RPB-02S | Minor | Yes | Inapplicacy of Checks-Effects-Interactions Pattern |
| SRA-01S | Minor | No | Variable Shadowing |
| SRF-01S | Minor | No | Variable Shadowing |
| STF-01S | Minor | Yes | Inapplicacy of Checks-Effects-Interactions Pattern |
| TRE-01S | Minor | Yes | Inapplicacy of Checks-Effects-Interactions Pattern |