Risk analysis for a smart contract: verified-source status, static analysis, asset-type resolution, and (optionally) deployer risk.