Omniscia Moby Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 833 potential issues within the codebase of which 635 were ruled out to be false positives or negligible findings.
The remaining 198 issues were validated and grouped and formalized into the 57 exhibits that follow:
ID | Severity | Addressed | Title |
---|---|---|---|
AUL-01S | Inexistent Sanitization of Input Addresses | ||
BPM-01S | Illegible Numeric Value Representation | ||
BPM-02S | Suboptimal Event Declaration | ||
BPM-03S | Inexistent Sanitization of Input Addresses | ||
BTN-01S | Inexistent Event Emissions | ||
CRE-01S | Inexistent Event Emissions | ||
CRE-02S | Inexistent Sanitization of Input Addresses | ||
ERC-01S | Inexistent Visibility Specifier | ||
FPE-01S | Inexistent Event Emission | ||
FPE-02S | Inexistent Initialization Protection of Base Implementation | ||
FPE-03S | Suboptimal Event Declarations | ||
FPF-01S | Inexistent Event Emissions | ||
FDR-01S | Inexistent Event Emissions | ||
FDR-02S | Suboptimal Event Declaration | ||
FDR-03S | Inexistent Sanitization of Input Addresses | ||
MBT-01S | Inexistent Event Emission | ||
OMR-01S | Illegible Numeric Value Representation | ||
OMR-02S | Inexistent Event Emissions | ||
OMR-03S | Suboptimal Event Declarations | ||
OMR-04S | Inexistent Sanitization of Input Addresses | ||
OMT-01S | Inexistent Initialization Protection of Base Implementation | ||
OTN-01S | Inexistent Sanitization of Input Addresses | ||
PMR-01S | Suboptimal Event Declarations | ||
PVF-01S | Inexistent Initialization Protection of Base Implementation | ||
PVF-02S | Suboptimal Event Declarations | ||
PVF-03S | Variable Mutability Specifier (Constant) | ||
RDR-01S | Suboptimal Event Declarations | ||
RDR-02S | Inexistent Sanitization of Input Addresses | ||
RRV-01S | Suboptimal Event Declarations | ||
RRV-02S | Inexistent Sanitization of Input Addresses | ||
RTR-01S | Inexistent Event Emissions | ||
RTR-02S | Suboptimal Event Declaration | ||
RTR-03S | Inexistent Sanitization of Input Address | ||
SPD-01S | Inexistent Initialization Protection of Base Implementation | ||
SPD-02S | Variable Mutability Specifier (Constant) | ||
SPF-01S | Illegible Numeric Value Representation | ||
SPF-02S | Inexistent Initialization Protection of Base Implementation | ||
SPF-03S | Redundant Variable Assignments | ||
SPF-04S | Variable Mutability Specifiers (Constant) | ||
TUP-01S | Multiple Top-Level Declarations | ||
USD-01S | Inexistent Event Emissions | ||
USD-02S | Inexistent Initialization Protection of Base Implementation | ||
USL-01S | Illegible Numeric Value Representation | ||
VTL-01S | Illegible Numeric Value Representations | ||
VTL-02S | Inexistent Event Emission | ||
VTL-03S | Suboptimal Event Declarations | ||
VTL-04S | Deprecated Native Asset Transfer | ||
VTL-05S | Inexistent Sanitization of Input Addresses | ||
VPF-01S | Illegible Numeric Value Representation | ||
VPF-02S | Inexistent Event Emissions | ||
VPF-03S | Inexistent Sanitization of Input Addresses | ||
VUS-01S | Illegible Numeric Value Representations | ||
VUS-02S | Inexistent Event Emissions | ||
VUS-03S | Literal Equality of bool Variables | ||
VUS-04S | Inexistent Sanitization of Input Address | ||
VAR-01S | Inexistent Sanitization of Input Addresses | ||
YTN-01S | Inexistent Event Emissions |