Omniscia Boson Protocol Audit

Static Analysis

Static Analysis

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

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

IDSeverityAddressedTitle
DRF-01SInexistent Event Emission
OBE-01SLiteral Equality of bool Variable