Omniscia Tangible Audit

Static Analysis

Static Analysis

The execution of our static analysis toolkit identified 732 potential issues within the codebase of which 705 were ruled out to be false positives or negligible findings.

The remaining 27 issues were validated and grouped and formalized into the 14 exhibits that follow:

IDSeverityAddressedTitle
CFV-01SInexistent Sanitization of Input Addresses
FV2-01SInexistent Sanitization of Input Address
MV2-01SIllegible Numeric Value Representations
MV2-02SLiteral Equality of bool Variable
NWR-01SInexistent Sanitization of Input Address
OST-01SInexistent Sanitization of Input Address
ROV-01SInexistent Event Emissions
ROV-02SInexistent Sanitization of Input Addresses
SFD-01SInexistent Sanitization of Input Addresses
TNG-01SIllegible Numeric Value Representation
TNT-01SIllegible Numeric Value Representations
TNT-02SRedundant Variable Assignment
TRH-01SInexistent Sanitization of Input Addresses
UUO-01SMultiple Top-Level Declarations