Omniscia Tangible Audit

Static Analysis

Static Analysis

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

The remaining 8 issues were validated and grouped and formalized into the 5 exhibits that follow:

IDSeverityAddressedTitle
BTE-01SInexistent Event Emissions
BTE-02SImproper Invocations of EIP-20 transfer
BMR-01SUnutilized Code
BVC-01SInexistent Sanitization of Input Address
GVR-01SIllegible Numeric Value Representation