Omniscia Hot Cross Audit
Static Analysis
Static Analysis
The token and vesting implementations of Hot Cross utilize version 0.8.3
of Solidity which has limited support for static analysis tools and as such, we opted not to apply any given the simplicity of the codebase.