| 31 | |
| 32 | |
| 33 | bool ControlFlowAnalyzer::run() |
| 34 | { |
| 35 | for (auto& [pair, flow]: m_cfg.allFunctionFlows()) |
| 36 | analyze(*pair.function, pair.contract, *flow); |
| 37 | |
| 38 | return !Error::containsErrors(m_errorReporter.errors()); |
| 39 | } |
| 40 | |
| 41 | void ControlFlowAnalyzer::analyze(FunctionDefinition const& _function, ContractDefinition const* _contract, FunctionFlow const& _flow) |
| 42 | { |
no outgoing calls
no test coverage detected