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:

IDSeverityAddressedTitle
FFE-01SImproper Invocation of EIP-20 transfer / transferFrom
IB1-01SIllegible Value Literals
IB5-01SIllegible Value Literals
IB7-01SIllegible Value Literals
IHF-01SIllegible Value Literals
PRC-01SIllegible Value Literal
LCT-01SInexistent Usage of SafeMath
LMT-01SPotentially Dangerous Refund Scheme