Omniscia Gravita Protocol Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 457 potential issues within the codebase of which 370 were ruled out to be false positives or negligible findings.
The remaining 87 issues were validated and grouped and formalized into the 22 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| APL-01S |  |  | Inexistent Sanitization of Input Addresses |
| ACT-01S |  |  | Data Location Optimization |
| ACT-02S | | | Illegible Numeric Value Representations |
| ACT-03S | | | Inexistent Visibility Specifier |
| ACT-04S | | | Inexistent Sanitization of Input Addresses |
| BOS-01S | | | Inexistent Sanitization of Input Addresses |
| CSP-01S | | | Inexistent Visibility Specifier |
| CSP-02S | | | Inexistent Sanitization of Input Addresses |
| DTN-01S | | | Inexistent Event Emissions |
| DTN-02S | | | Inexistent Sanitization of Input Addresses |
| DPL-01S | | | Inexistent Sanitization of Input Addresses |
| FCR-01S | | | Data Location Optimizations |
| FCR-02S | | | Inexistent Sanitization of Input Addresses |
| FCR-03S |  | | Improper Invocations of EIP-20 transfer |
| GMH-01S | | | Illegible Numeric Value Representation |
| PFD-01S | | | Inexistent Sanitization of Input Addresses |
| SVS-01S | |  | Inexistent Visibility Specifier |
| SPL-01S | | | Inexistent Visibility Specifier |
| SPL-02S | | | Inexistent Sanitization of Input Addresses |
| VMR-01S | | | Inexistent Sanitization of Input Addresses |
| VMO-01S | | | Illegible Numeric Value Representations |
| VMO-02S | | | Inexistent Sanitization of Input Addresses |