| slice(List, List, Set, Vertex, Expression, Set, Set) |  | 0% | | 0% | 16 | 16 | 78 | 78 | 1 | 1 |
| collectVariablesWorker(Expression, Set) | | 0% | | 0% | 44 | 44 | 94 | 94 | 1 | 1 |
| findErrorBranchesAndQuestionables(List, List) | | 0% | | 0% | 12 | 12 | 45 | 45 | 1 | 1 |
| printAssumptions(Model, Trace) | | 0% | | 0% | 8 | 8 | 32 | 32 | 1 | 1 |
| outputAnalysisResults(File) | | 0% | | 0% | 7 | 7 | 21 | 21 | 1 | 1 |
| toDotFileString(FlowGraph) | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| createFunctionCallAssignmentMap(List) | | 0% | | 0% | 8 | 8 | 18 | 18 | 1 | 1 |
| isSuspicious(Vertex, Vertex) | | 0% | | 0% | 16 | 16 | 24 | 24 | 1 | 1 |
| traceLocStmtPairs(Iterator) | | 0% | | 0% | 3 | 3 | 21 | 21 | 1 | 1 |
| discoverPostdominators() | | 0% | | 0% | 5 | 5 | 16 | 16 | 1 | 1 |
| inlineFunctionsIntoICFG() | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| spliceLocalGraphIntoICFG(Set, FlowGraph, FlowGraph) | | 0% | | 0% | 8 | 8 | 18 | 18 | 1 | 1 |
| createTracePairs() | | 0% | | 0% | 7 | 7 | 10 | 10 | 1 | 1 |
| collectCDSTrace(Stack) | | 0% | | 0% | 6 | 6 | 13 | 13 | 1 | 1 |
| CommonSliceAnalysis(Model, Trace, File) | | 0% | | n/a | 1 | 1 | 14 | 14 | 1 | 1 |
| syncTraceLocWithICFG(Statement, int) | | 0% | | 0% | 2 | 2 | 12 | 12 | 1 | 1 |
| runControlDependenceAnalysis() | | 0% | | n/a | 1 | 1 | 13 | 13 | 1 | 1 |
| writeDotFile() | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| addVirtualExit() | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| findConnectingArc(Vertex, Vertex) | | 0% | | 0% | 5 | 5 | 4 | 4 | 1 | 1 |
| findTargetVertex(Statement, Vertex) | | 0% | | 0% | 6 | 6 | 7 | 7 | 1 | 1 |
| printGraph(FlowGraph) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| findIPD(List, int, Map, Map) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| findIndexOfErrorVertex(List) | | 0% | | 0% | 5 | 5 | 6 | 6 | 1 | 1 |
| associateFormalToActual(CIVLFunction, CallOrSpawnStatement) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| collectVariablesInAssertion(Expression) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| branching(Object, Object, Stack) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| processFunctionStatement(Statement) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| createICFG(Model, Trace) | | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 |
| syncTraceWithICFG() | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| collectBranchesOfInterest(Stack) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| offBranchContainsNodeOfInterest(Vertex, Vertex) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| getConditionalExpression(Vertex) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| isAssign(Arc, Map) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| isNotCIVLprimitive(Statement) | | 0% | | 0% | 4 | 4 | 3 | 3 | 1 | 1 |
| inspectBranchSubgraph(Vertex, Vertex, Set) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| getFinalPC(Model, Trace) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| isUnstructuredControlFlow(Arc) | | 0% | | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
| extractAssertionCondition(List) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| merging(Object, Stack) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| initializeFlowGraph(Model) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| isAssign(Arc) | | 0% | | 0% | 3 | 3 | 3 | 3 | 1 | 1 |
| isGotoStmt(Statement) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| createTraceStructure(Trace) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| isFunctionCall(Arc) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| collectVariables(Expression) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| isBranchPoint(Vertex) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| isReturnStmt(Statement) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| isImmediatePostdominator(Vertex) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isFunctionCall(Statement, Set) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| inputSymbolicExprs() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| symbolicToSyntactic() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expectedOutput() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |