| translateFunctionDefinition(CommonTree, SimpleScope) |   | 32% | | 19% | 12 | 14 | 40 | 63 | 0 | 1 |
| getContract(CommonTree, SimpleScope) | | 0% | | 0% | 16 | 16 | 47 | 47 | 1 | 1 |
| translateCompoundStatement(CommonTree, SimpleScope) | | 54% | | 60% | 11 | 25 | 40 | 88 | 0 | 1 |
| attachAttributeToPragmaNode(PragmaNode) | | 6% | | 2% | 19 | 20 | 40 | 44 | 0 | 1 |
| translateDeriv(Source, CommonTree, SimpleScope) | | 0% | | 0% | 5 | 5 | 22 | 22 | 1 | 1 |
| translateSumExpression(Source, CommonTree, SimpleScope) | | 0% | | 0% | 5 | 5 | 21 | 21 | 1 | 1 |
| newSpecifierType(SpecifierAnalysis, SimpleScope) | | 61% | | 64% | 9 | 21 | 20 | 58 | 0 | 1 |
| setAlignmentSpecifiers(VariableDeclarationNode, SpecifierAnalysis, SimpleScope) | | 11% | | 25% | 4 | 5 | 9 | 12 | 0 | 1 |
| translateStatement(CommonTree, SimpleScope) | | 70% | | 70% | 7 | 25 | 10 | 37 | 0 | 1 |
| translateOperatorExpression(Source, CommonTree, SimpleScope) | | 74% | | 67% | 17 | 47 | 29 | 93 | 0 | 1 |
| translateExpression(Source, CommonTree, SimpleScope) | | 77% | | 76% | 7 | 30 | 8 | 34 | 0 | 1 |
| translateFunctionSuffix(CommonTree, TypeNode, SimpleScope) | | 84% | | 75% | 5 | 11 | 7 | 46 | 0 | 1 |
| setStorageSpecifiers(FunctionDeclarationNode, SpecifierAnalysis) | | 35% | | 50% | 6 | 7 | 6 | 13 | 0 | 1 |
| translateUpdate(CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| translateDeclaration(CommonTree, SimpleScope) | | 89% | | 81% | 7 | 20 | 6 | 72 | 0 | 1 |
| translateAt(Source, CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| applyArrayQualifiers(CommonTree, ArrayTypeNode) | | 22% | | 14% | 5 | 6 | 11 | 14 | 0 | 1 |
| translateStaticAssertion(CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| translateBlockItemNode(CommonTree, SimpleScope, boolean) | | 82% | | 85% | 3 | 14 | 4 | 30 | 0 | 1 |
| getInvariant(CommonTree, SimpleScope) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| translateCall(Source, CommonTree, SimpleScope) | | 81% | | 75% | 1 | 3 | 3 | 17 | 0 | 1 |
| translateAtomicType(CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| applyQualifiers(CommonTree, TypeNode) | | 67% | | 57% | 3 | 6 | 5 | 14 | 0 | 1 |
| setStorageSpecifiers(VariableDeclarationNode, SpecifierAnalysis, SimpleScope) | | 67% | | 66% | 4 | 7 | 4 | 13 | 0 | 1 |
| translateSizeOf(Source, CommonTree, SimpleScope) | | 71% | | 50% | 2 | 3 | 2 | 8 | 0 | 1 |
| translateInitializer(CommonTree, SimpleScope) | | 93% | | 87% | 2 | 9 | 2 | 35 | 0 | 1 |
| translateFieldDeclaration(CommonTree, SimpleScope) | | 91% | | 87% | 1 | 5 | 1 | 23 | 0 | 1 |
| translateTranslationUnit(CommonTree) | | 91% | | 83% | 2 | 7 | 2 | 22 | 0 | 1 |
| isFunction(TypeNode, SimpleScope, Set) | | 82% | | 77% | 2 | 6 | 2 | 15 | 0 | 1 |
| checkFunctionSpecifiers(VariableDeclarationNode, SpecifierAnalysis) | | 41% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| translateArraySuffix(CommonTree, TypeNode, SimpleScope) | | 86% | | 57% | 3 | 5 | 4 | 19 | 0 | 1 |
| error(String, CommonTree) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| translatePragma(CommonTree, SimpleScope) | | 91% | | 100% | 0 | 3 | 2 | 21 | 0 | 1 |
| translateIdentifier(CommonTree) | | 75% | | 50% | 1 | 2 | 1 | 6 | 0 | 1 |
| error(String, ASTNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| translateGenericSelection(Source, CommonTree, SimpleScope) | | 93% | | 83% | 1 | 4 | 1 | 17 | 0 | 1 |
| setFunctionSpecifiers(FunctionDeclarationNode, SpecifierAnalysis) | | 89% | | 88% | 2 | 10 | 2 | 19 | 0 | 1 |
| translateCivlFor(CommonTree, SimpleScope) | | 95% | | 83% | 1 | 4 | 1 | 23 | 0 | 1 |
| translateStructOrUnionType(CommonTree, SimpleScope) | | 95% | | 91% | 1 | 7 | 1 | 24 | 0 | 1 |
| translateFor(CommonTree, SimpleScope) | | 94% | | 83% | 1 | 4 | 1 | 18 | 0 | 1 |
| translateQuantifiedExpressionNew(Source, CommonTree, SimpleScope) | | 94% | | 70% | 3 | 6 | 1 | 19 | 0 | 1 |
| processDirectDeclarator(CommonTree, TypeNode, SimpleScope) | | 92% | | 87% | 1 | 6 | 1 | 11 | 0 | 1 |
| translateArrayLambdaExpression(Source, CommonTree, SimpleScope) | | 91% | | 50% | 1 | 2 | 1 | 13 | 0 | 1 |
| translateStatementExpression(Source, CommonTree, SimpleScope) | | 83% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| translateDeclaratorSuffix(CommonTree, TypeNode, SimpleScope) | | 80% | | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
| translateQuantifier(CommonTree) | | 64% | | 75% | 1 | 4 | 1 | 5 | 0 | 1 |
| checkAlignmentSpecifiers(FunctionDeclarationNode, SpecifierAnalysis) | | 64% | | 50% | 2 | 3 | 1 | 3 | 0 | 1 |
| translateWildcard(Source, CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| containsIdentifier(CommonTree, String) | | 88% | | 75% | 2 | 5 | 2 | 9 | 0 | 1 |
| makeIncomplete(TypeNode) | | 80% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| translateEnumerationType(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 4 | 0 | 22 | 0 | 1 |
| CASTBuilderWorker(Configuration, CParseTree, ASTFactory, PragmaFactory) | | 100% | | n/a | 0 | 1 | 0 | 19 | 0 | 1 |
| translateBoundVariableDeclarationSubList(Source, CommonTree, SimpleScope) | | 100% | | 100% | 0 | 3 | 0 | 14 | 0 | 1 |
| translateAnnotation(CommonTree, SimpleScope) | | 100% | | 75% | 2 | 5 | 0 | 11 | 0 | 1 |
| translateIf(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| translateCaseLabeledStatement(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| translateRegularRange(Source, CommonTree, SimpleScope) | | 100% | | 66% | 2 | 4 | 0 | 8 | 0 | 1 |
| translatePointers(CommonTree, TypeNode, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| translateSwitch(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| translateDotOrArrow(Source, CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| translateIntervalSequence(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| translateDefaultLabeledStatement(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| translateChooseStatement(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| translateIdentifierLabeledStatement(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| processDeclarator(CommonTree, TypeNode, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| translateDo(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| translateWhile(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| translateBoundVariableDeclarationList(Source, CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| translateTypeName(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| translateExpressionStatement(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| translateInterval(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| translateCompoundLiteral(Source, CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| clearCurrentAnnotations() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| getPragmaHandler(String) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| getNewScope(SimpleScope) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| translateAtomic(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getContract() | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| getTransforms() | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| translateExpression(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| translateGoto(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| translateScopeOf(Source, CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| translateCharacterConstant(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| translateStringLiteral(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| newSpecifierAnalysis(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isFunction(TypeNode, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| translateIntegerConstant(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| translateFloatingConstant(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| translateBlockItem(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newSource(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| translateRoot() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |