Omniscia Myso Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 63 potential issues within the codebase of which 38 were ruled out to be false positives or negligible findings.
The remaining 25 issues were validated and grouped and formalized into the 12 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| ARY-01S |  |  | Data Location Optimization |
| BVL-01S |  | | Deprecated Approval Methodology |
| BCT-01S | | | Inexistent Sanitization of Input Addresses |
| BGY-01S | | | Data Location Optimization |
| BGY-02S | | | Inexistent Sanitization of Input Address |
| CST-01S | | | Illegible Numeric Value Representations |
| FPL-01S | | | Inexistent Sanitization of Input Addresses |
| FPL-02S | | | Insecure Deposit Methodology |
| LVF-01S | | | Inexistent Sanitization of Input Addresses |
| LVI-01S | | | Data Location Optimizations |
| LPF-01S | | | Inexistent Sanitization of Input Addresses |
| QHR-01S | | | Inexistent Sanitization of Input Address |