Omniscia Powercity Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 382 potential issues within the codebase of which 345 were ruled out to be false positives or negligible findings.
The remaining 37 issues were validated and grouped and formalized into the 24 exhibits that follow:
ID | Severity | Addressed | Title |
---|---|---|---|
APL-01S | Inexistent Sanitization of Input Address | ||
APL-02S | Improper Invocations of EIP-20 transfer / transferFrom | ||
BOS-01S | Inexistent Event Emission | ||
BOS-02S | Inexistent Visibility Specifiers | ||
BOS-03S | Inexistent Sanitization of Input Address | ||
BOS-04S | Improper Invocations of EIP-20 transferFrom | ||
CSP-01S | Inexistent Event Emission | ||
CSP-02S | Inexistent Sanitization of Input Address | ||
CSP-03S | Improper Invocations of EIP-20 transfer / transferFrom | ||
DPL-01S | Inexistent Visibility Specifier | ||
DPL-02S | Improper Invocation of EIP-20 transferFrom | ||
LQT-01S | Illegible Numeric Value Representation | ||
LMH-01S | Illegible Numeric Value Representation | ||
LCT-01S | Illegible Numeric Value Representation | ||
LCT-02S | Inexistent Sanitization of Input Addresses | ||
LCF-01S | Illegible Numeric Value Representation | ||
MTG-01S | Inexistent Sanitization of Input Addresses | ||
PFD-01S | Illegible Numeric Value Representation | ||
PFD-02S | Inexistent Visibility Specifiers | ||
SPL-01S | Inexistent Event Emission | ||
SPL-02S | Inexistent Sanitization of Input Address | ||
SPL-03S | Improper Invocations of EIP-20 transfer / transferFrom | ||
TCR-01S | Inexistent Sanitization of Input Address | ||
TMR-01S | Inexistent Visibility Specifiers |