Omniscia Bluejay Finance Audit

Static Analysis

Static Analysis

The execution of our static analysis toolkit identified 407 potential issues within the codebase of which 380 were ruled out to be false positives or negligible findings.

The remaining 27 issues were validated and grouped and formalized into the 10 exhibits that follow:

IDSeverityAddressedTitle
BGR-01SInexistent Sanitization of Input Addresses
BRR-01SInexistent Sanitization of Input Addresses
PSR-01SInexistent Sanitization of Input Address
SBD-01SInexistent Event Emissions
SEE-01SImproper Invocation of EIP-20 transfer
SEE-02SInexistent Sanitization of Input Addresses
STN-01SInexistent Event Emissions
TBD-01SInexistent Event Emissions
PAC-01SInexistent Event Emissions
WSP-01SInexistent Event Emissions