Omniscia Steadefi Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 347 potential issues within the codebase of which 279 were ruled out to be false positives or negligible findings.
The remaining 68 issues were validated and grouped and formalized into the 22 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| CLO-01S |  |  | Redundant Constructor Implementation |
| CLO-02S |  | | Inexistent Sanitization of Input Address |
| GMD-01S | | | Data Location Optimization |
| GMD-02S | | | Inexistent Sanitization of Input Addresses |
| GMP-01S | | | Inexistent Sanitization of Input Addresses |
| GMX-01S | | | Inexistent Event Emissions |
| GMX-02S | | | Literal Equality of bool Variable |
| GMX-03S | | | Inexistent Sanitization of Input Addresses |
| GMX-04S | | | Potential Lock of Native Assets |
| JOE-01S | | | Inexistent Sanitization of Input Addresses |
| LPL-01S | | | Inexistent Visibility Specifier |
| LPL-02S | | | Literal Equality of bool Variables |
| LPL-03S | | | Inexistent Sanitization of Input Addresses |
| LPL-04S | | | Potential Lock of Native Assets |
| MHT-01S | |  | Illegible Numeric Value Representation |
| TJM-01S | | | Inexistent Event Emission |
| TJM-02S | | | Inexistent Sanitization of Input Addresses |
| TJF-01S | | | Inexistent Sanitization of Input Addresses |
| TJY-01S | | | Inexistent Event Emissions |
| TJY-02S | | | Literal Equality of bool Variable |
| TJY-03S | | | Inexistent Sanitization of Input Addresses |
| TJY-04S | | | Potential Lock of Native Assets |