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