Omniscia Trustworks Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 54 potential issues within the codebase of which 39 were ruled out to be false positives or negligible findings.
The remaining 15 issues were validated and, along with 2 compilation errors, grouped and formalized into the 6 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| MUL-01S | Minor | Yes | Ignored Return Value |
| MUL-02S | Informational | Yes | Mislocated Checks |
| MUL-03S | Informational | Yes | Variable Mutability Specifier |
| TAP-01S | Minor | Yes | Ignored Return Value |
| TAP-02S | Minor | Yes | Unutilized Contract Variables |
| TAP-03S | Informational | Yes | Variable Mutability Specifier |