Omniscia Gamma Strategies Audit

Static Analysis

Static Analysis

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

The remaining 2 issues were validated and, along with 3 compilation errors, grouped and formalized into the 3 exhibits that follow:

IDSeverityAddressedTitle
GCR-01SFunction State Mutability Optimizations
GCR-02SRedundant Function Implementation
GCR-03SVariable Shadowing