Omniscia CloudFunding Audit

Static Analysis

Static Analysis

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

The remaining 7 issues were validated and grouped and formalized into the 3 exhibits that follow:

IDSeverityAddressedTitle
CFG-01SInexistent Visibility Specifiers
CFG-02SInexistent Sanitization of Input Address
CFG-03SImproper Invocations of EIP-20 transfer