analyze_contract_calls

Function analyze_contract_calls 

Source
fn analyze_contract_calls(function: &Function) -> Vec<ContractCallRequirement>