contract_analyzer
