| toString() |  | 0% | | 0% | 6 | 6 | 21 | 21 | 1 | 1 |
| deAuxOffset(AssignOffsetExprIF, Set) | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| deAux(AssignExprIF, Set) |  | 73% | | 62% | 3 | 7 | 4 | 15 | 0 | 1 |
| transClosureBuild(CommonPointsToGraph.FirstRemovableSet, Map, Map) | | 96% | | 95% | 2 | 25 | 2 | 60 | 0 | 1 |
| build(Iterable, boolean) | | 96% | | 93% | 1 | 9 | 0 | 22 | 0 | 1 |
| subscriptIndexAddition(AssignSubscriptExprIF, AssignOffsetIF) | | 95% | | 75% | 1 | 3 | 1 | 12 | 0 | 1 |
| inferenceRules(Map) | | 98% | | 92% | 1 | 8 | 1 | 23 | 0 | 1 |
| clone() | | 100% | | 100% | 0 | 3 | 0 | 19 | 0 | 1 |
| initializeCOMPLEX(AssignmentIF, Set, Map, Map) | | 100% | | 83% | 1 | 4 | 0 | 21 | 0 | 1 |
| updateEdgesWithConstraints(PointsToGraphComponentFactory.PointsToConstraint) | | 100% | | 100% | 0 | 8 | 0 | 23 | 0 | 1 |
| partialOrderMerge(AssignOffsetExprIF) | | 100% | | 100% | 0 | 6 | 0 | 20 | 0 | 1 |
| allSubsetsPointsTo(AssignExprIF) | | 100% | | 100% | 0 | 4 | 0 | 19 | 0 | 1 |
| mayPointsToWorker(AssignExprIF) | | 100% | | 90% | 1 | 6 | 0 | 15 | 0 | 1 |
| mayPointsToWithGeneralization(AssignExprIF) | | 100% | | 100% | 0 | 4 | 0 | 11 | 0 | 1 |
| CommonPointsToGraph(InsensitiveFlow, SymbolicUniverse) | | 100% | | n/a | 0 | 1 | 0 | 16 | 0 | 1 |
| addPointsTo(AssignExprIF, Iterable) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |
| fieldInferencedEdge(AssignFieldExprIF, SymbolicExpression, Set) | | 100% | | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| subscriptInferredPointsTo(AssignSubscriptExprIF, InsensitiveFlowFactory) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |
| fieldAccessInferenceWorker(PointsToGraphComponentFactory.PointsToConstraint, AssignFieldExprIF) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| initializeBASE(AssignmentIF, Set) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| deAuxField(AssignFieldExprIF, Set) | | 100% | | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| deAuxSubscript(AssignSubscriptExprIF, Set) | | 100% | | 100% | 0 | 2 | 0 | 9 | 0 | 1 |
| subsets(SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| deAuxAux(AssignAuxExprIF, Set) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| getNodeByAssignExpr(AssignExprIF) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| saveEdge(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| initializeSIMPLE(AssignmentIF, Set) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| mayPointsTo(Variable, List) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| addSubsetRelation(AssignExprIF, AssignExprIF) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| allSubsets(SymbolicExpression, Set) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| generalize(AssignExprIF) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| savePointsTo(SymbolicExpression, Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| mayPointsTo(AssignExprIF) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |