Omniscia Boson Protocol Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 747 potential issues within the codebase of which 716 were ruled out to be false positives or negligible findings.
The remaining 31 issues were validated and grouped and formalized into the 13 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| BVR-01S |  |  | Illegible Numeric Value Representation |
| CEA-01S |  |  | Incorrect payable Specifier |
| CEA-02S | | | Inexistent Sanitization of Input Addresses |
| CPY-01S | | | Incorrect payable Specifier |
| CHF-01S | | | Illegible Numeric Value Representations |
| CHF-02S | | | Inexistent Sanitization of Input Addresses |
| DLF-01S | | | Redundant Variable Assignments |
| DHF-01S | | | Illegible Numeric Value Representations |
| FLB-01S | | | Illegible Numeric Value Representation |
| FLB-02S |  | | Improper Invocations of EIP-20 transfer / transferFrom |
| OBE-01S | | | Illegible Numeric Value Representations |
| PDD-01S | | | Inexistent Sanitization of Input Address |
| PLB-01S | | | Illegible Numeric Value Representation |