Static Analysis

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

The remaining 21 issues were validated and grouped and formalized into the 11 exhibits that follow:

ID	Severity	Addressed	Title
ABA-01S			Inexistent Event Emissions
ABA-02S			Inexistent Sanitization of Input Address
ABA-03S			Potential Lock of Native Assets
BVT-01S			Inexistent Event Emissions
BVT-02S			Multiple Top-Level Declarations
BVF-01S			Inexistent Event Emission
CPA-01S			Inexistent Event Emissions
EET-01S			Inexistent Sanitization of Input Addresses
OBA-01S			Inexistent Sanitization of Input Address
PZE-01S			Inexistent Sanitization of Input Address
VHB-01S			Inexistent Event Emissions