Solidity Quick Scanner

Quick heuristic check for three basic vulnerabilities: reentrancy, integer overflow, unchecked calls. It does not replace a full-fledged audit.