Package com.ensoftcorp.open.pointsto.utilities

Class GraphEnhancements

java.lang.Object

com.ensoftcorp.open.pointsto.utilities.GraphEnhancements

public class GraphEnhancements
extends java.lang.Object

Utilities for making enhancements to the Atlas graph based on points-to results

Author:

Ben Holland

Constructor Summary

Constructors

Constructor	Description
GraphEnhancements()

Method Summary

Modifier and Type	Method	Description
static long	rewriteArrayComponents(PointsTo pointsTo)
static long	tagInferredDataFlowEdges(PointsTo pointsTo)
static long	tagInferredTypeOfEdges(PointsTo pointsTo)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GraphEnhancements

public GraphEnhancements()

Method Detail

tagInferredDataFlowEdges

public static long tagInferredDataFlowEdges(PointsTo pointsTo)

tagInferredTypeOfEdges

public static long tagInferredTypeOfEdges(PointsTo pointsTo)

rewriteArrayComponents

public static long rewriteArrayComponents(PointsTo pointsTo)