Plans on NovaNet Sentinel. Professional-grade, automated security audit platform for Solidity smart contrac.