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.