| transformTargetFunction(FunctionDefinitionNode, ContractTransformerWorker.FunctionContractTransformGuide) |  | 0% | | 0% | 4 | 4 | 36 | 36 | 1 | 1 |
| mainFunction() | | 0% | | 0% | 3 | 3 | 36 | 36 | 1 | 1 |
| transformCalleeFunction(FunctionDeclarationNode, FunctionTypeNode, ContractTransformerWorker.FunctionContractTransformGuide) | | 0% | | 0% | 4 | 4 | 34 | 34 | 1 | 1 |
| analysisContractedFunctions(ContractTransformerWorker.SourceFileWithContractedFunctions, List) | | 0% | | 0% | 7 | 7 | 29 | 29 | 1 | 1 |
| processContractedFunctions(List, List) | | 0% | | 0% | 5 | 5 | 26 | 26 | 1 | 1 |
| transformCore(AST) |  | 15% | | 0% | 4 | 5 | 22 | 27 | 0 | 1 |
| extractContractedFunctionsFromSourceFileNodes(List) | | 33% | | 20% | 15 | 16 | 18 | 26 | 0 | 1 |
| createVariableDeclsAndInitsForDriver(FunctionTypeNode) | | 0% | | 0% | 4 | 4 | 17 | 17 | 1 | 1 |
| havocForGlobalVariables(List) | | 26% | | 25% | 2 | 3 | 7 | 10 | 0 | 1 |
| createHavocCall(ExpressionNode, NodeFactory) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| decast(ExpressionNode) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| typeNode(Type, Source) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ContractTransformerWorker(ASTFactory, String, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |