Omniscia Beanstalk Audit
Static Analysis
Static Analysis
The execution of our static analysis toolkit identified 492 potential issues within the codebase of which 447 were ruled out to be false positives or negligible findings.
The remaining 45 issues were validated and grouped and formalized into the 8 exhibits that follow:
ID | Severity | Addressed | Title |
---|---|---|---|
FFE-01S | Improper Invocation of EIP-20 transfer / transferFrom | ||
IB1-01S | Illegible Value Literals | ||
IB5-01S | Illegible Value Literals | ||
IB7-01S | Illegible Value Literals | ||
IHF-01S | Illegible Value Literals | ||
PRC-01S | Illegible Value Literal | ||
LCT-01S | Inexistent Usage of SafeMath | ||
LMT-01S | Potentially Dangerous Refund Scheme |