Omniscia Symbiosis Finance Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 309 potential issues within the codebase of which 305 were ruled out to be false positives or negligible findings.
The remaining 4 issues were validated and grouped and formalized into the 3 exhibits that follow:
| ID | Severity | Addressed | Title |
|---|---|---|---|
| POR-01S | ![]() | ![]() | Leftover TODO Comment |
| POR-02S | ![]() | ![]() | Variable Shadowing |
| SYN-01S | ![]() | ![]() | Variable Shadowing |


