| getContract(CommonTree, SimpleScope) |  | 0% | | 0% | 16 | 16 | 55 | 55 | 1 | 1 |
| translateFunctionDefinition(CommonTree, SimpleScope) |  | 37% | | 16% | 11 | 13 | 34 | 58 | 0 | 1 |
| translateDeriv(Source, CommonTree, SimpleScope) | | 0% | | 0% | 7 | 7 | 24 | 24 | 1 | 1 |
| translateCompoundStatement(CommonTree, SimpleScope) | | 69% | | 84% | 3 | 17 | 20 | 68 | 0 | 1 |
| setAlignmentSpecifiers(VariableDeclarationNode, SpecifierAnalysis, SimpleScope) | | 11% | | 25% | 4 | 5 | 11 | 14 | 0 | 1 |
| translateExpression(Source, CommonTree, SimpleScope) | | 78% | | 77% | 7 | 31 | 8 | 43 | 0 | 1 |
| newSpecifierType(SpecifierAnalysis, SimpleScope) | | 84% | | 81% | 6 | 22 | 10 | 71 | 0 | 1 |
| translateFunctionSuffix(CommonTree, TypeNode, SimpleScope) | | 84% | | 75% | 5 | 11 | 8 | 52 | 0 | 1 |
| translateStatement(CommonTree, SimpleScope) | | 81% | | 82% | 4 | 26 | 8 | 43 | 0 | 1 |
| translateDeclaration(CommonTree, SimpleScope) | | 89% | | 80% | 7 | 19 | 7 | 76 | 0 | 1 |
| translateAt(Source, CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| applyArrayQualifiers(CommonTree, ArrayTypeNode) | | 22% | | 14% | 5 | 6 | 11 | 14 | 0 | 1 |
| translateStaticAssertion(CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| translateOperatorExpression(Source, CommonTree, SimpleScope) | | 85% | | 82% | 9 | 47 | 15 | 94 | 0 | 1 |
| setStorageSpecifiers(FunctionDeclarationNode, SpecifierAnalysis, SimpleScope) | | 47% | | 66% | 4 | 7 | 8 | 17 | 0 | 1 |
| translateBlockItemNode(CommonTree, SimpleScope, boolean) | | 78% | | 76% | 3 | 10 | 5 | 25 | 0 | 1 |
| getInvariant(CommonTree, SimpleScope) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| translateCall(Source, CommonTree, SimpleScope) | | 81% | | 75% | 1 | 3 | 4 | 18 | 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 |
| translateInitializer(CommonTree, SimpleScope) | | 93% | | 87% | 2 | 9 | 2 | 42 | 0 | 1 |
| translateTranslationUnit(CommonTree) | | 91% | | 83% | 2 | 7 | 2 | 25 | 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 | 20 | 0 | 1 |
| setStorageSpecifiers(VariableDeclarationNode, SpecifierAnalysis, SimpleScope) | | 75% | | 75% | 3 | 7 | 3 | 13 | 0 | 1 |
| error(String, CommonTree) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| translatePragma(CommonTree, SimpleScope) | | 91% | | 100% | 0 | 3 | 2 | 22 | 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 | 20 | 0 | 1 |
| translateStructOrUnionType(CommonTree, SimpleScope) | | 96% | | 87% | 2 | 9 | 1 | 27 | 0 | 1 |
| translateCivlFor(CommonTree, SimpleScope) | | 95% | | 83% | 1 | 4 | 1 | 27 | 0 | 1 |
| translateFor(CommonTree, SimpleScope) | | 94% | | 83% | 1 | 4 | 1 | 20 | 0 | 1 |
| translateQuantifiedExpressionNew(Source, CommonTree, SimpleScope) | | 94% | | 70% | 3 | 6 | 1 | 23 | 0 | 1 |
| processDirectDeclarator(CommonTree, TypeNode, SimpleScope) | | 92% | | 87% | 1 | 6 | 1 | 13 | 0 | 1 |
| translateArrayLambdaExpression(Source, CommonTree, SimpleScope) | | 91% | | 50% | 1 | 2 | 1 | 14 | 0 | 1 |
| translateSizeOf(Source, CommonTree, SimpleScope) | | 87% | | 75% | 1 | 3 | 1 | 8 | 0 | 1 |
| translateStatementExpression(Source, CommonTree, SimpleScope) | | 83% | | 50% | 1 | 2 | 1 | 7 | 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 | 4 | 0 | 1 |
| translateWildcard(Source, CommonTree, SimpleScope) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setFunctionSpecifiers(FunctionDeclarationNode, SpecifierAnalysis) | | 94% | | 93% | 1 | 9 | 1 | 17 | 0 | 1 |
| makeIncomplete(TypeNode) | | 80% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| static {...} | | 83% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| translateFieldDeclaration(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 5 | 0 | 29 | 0 | 1 |
| translateEnumerationType(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 4 | 0 | 28 | 0 | 1 |
| translateBoundVariableDeclarationSubList(Source, CommonTree, SimpleScope) | | 100% | | 100% | 0 | 3 | 0 | 16 | 0 | 1 |
| translateIf(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 11 | 0 | 1 |
| translateCaseLabeledStatement(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 |
| translateRegularRange(Source, CommonTree, SimpleScope) | | 100% | | 66% | 2 | 4 | 0 | 10 | 0 | 1 |
| CASTBuilderWorker(Configuration, CParseTree, ASTFactory, PragmaFactory) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| translateAnnotation(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 10 | 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 | 8 | 0 | 1 |
| translateDefaultLabeledStatement(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| translateChooseStatement(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| translateIdentifierLabeledStatement(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| translateUpdate(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| translateValueAtExpression(Source, CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| processDeclarator(CommonTree, TypeNode, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| translateDo(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| translateWhile(CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 6 | 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 |
| translateWith(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 | 5 | 0 | 1 |
| translateCompoundLiteral(Source, CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 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 | 3 | 0 | 1 |
| getContract() | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| clearScopeAndContract() | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| translateExpression(CommonTree, SimpleScope) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| translateGoto(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| translateScopeOf(Source, CommonTree, SimpleScope) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| translateCharacterConstant(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| translateStringLiteral(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 3 | 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 | 2 | 0 | 1 |
| translateFloatingConstant(Source, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 2 | 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 |