Hey. For future reference. Aegis Platform is going to be live soon at www.aegissmartcontracts.com and it's going to make smart contract auditing very easy. Code authors will be able to perform triple audits (expert audits, automated audits and bug bounty audits) all in one place and also receive a certification that show they have checked their contracts for all known bugs. Visit us and learn more from our whitepaper.