Kann-Audits/model-alpha

Solidity contract auditor: bundled JavaScript call-graph ex…