Omniscia Pirex Audit

Static Analysis

Static Analysis

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

The remaining 1 issues were validated and grouped and formalized into the 2 exhibits that follow:

IDSeverityAddressedTitle
PCV-01SImproper Invocation of EIP-20 Approve Function
PFS-01SLiteral Equality of bool Variable