Omniscia Nexera Protocol Audit

Static Analysis

Static Analysis

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

The remaining 11 issues were validated and grouped and formalized into the 6 exhibits that follow:

IDSeverityAddressedTitle
DNF-01SData Location Optimizations
DMR-01SIllegible Numeric Value Representation
FNF-01SData Location Optimizations
FNF-02SInexistent Validation of Proposal Recipients
VMR-01SInexistent Event Emissions
VMR-02SInexistent Sanitization of Input Address