Omniscia Tokemak Network Audit

Static Analysis

Static Analysis

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

The remaining 45 issues were validated and grouped and formalized into the 9 exhibits that follow:

IDSeverityAddressedTitle
DRD-01SMinorYesInexistent Zero-Address Check
DRD-02SMinorYesUnused Return Value
EPL-01SInformationalNoInexistent Event
MAN-01SInformationalYesDead Code
MAN-02SInformationalYesLiteral Boolean Comparison
POO-01SInformationalNoInexistent Event
RED-01SMinorYesInexistent Zero-Address Check
STA-01SMinorYesInexistent Zero-Address Check
TOK-01SInformationalYesIllegible Numeric Literal