Package edu.udel.cis.vsl.abc.analysis.pointsTo.IF

package edu.udel.cis.vsl.abc.analysis.pointsTo.IF

Class	Description
AssignAuxExprIF
AssignExprIF	An instance of this class represents an abstract object.
AssignExprIF.AssignExprKind
AssignFieldExprIF
AssignmentIF	An abstract representation of one of the following assignments: BASE: U = &U SIMPLE: U = U COMPLEX_LD: *U = U COMPLEX_RD: U = *U where U is a AssignExpIF which represents an abstract object.
AssignmentIF.AssignmentKind	BASE: p = &a SIMPLE: p = a COMPLEX_LD: *p = a COMPLEX_RD: p = *a
AssignOffsetExprIF
AssignOffsetIF	This class represents an integral parameter "c|*" of an abstract object that has the form of U + (c|*) or U[c|*].
AssignStoreExprIF
AssignSubscriptExprIF
FlowInsensePointsToAnalyzer	A flow-insensitive PointsToAnalyzer takes a program (AST), builds points-to graph for the program and provides service for querying the "may points-to" set of a lvalue
InsensitiveFlow	The flow-insensitive abstraction of a function body for points-to analysis.
InsensitiveFlowFactory	This class produces InsensitiveFlows, AssignmentIFs as well as AssignExprIFs
InvocationGraphNode	The invocation graph node is described in detail in paper "Context-sensitive inter-procedural points-to analysis in the presence of function pointers"
InvocationGraphNode.IGNodeKind	Details these kinds can be found in paper "Context-sensitive inter-procedural points-to analysis in the presence of function pointers".
InvocationGraphNodeFactory	creating invocation graph nodes
PointsToGraph	A points-to graph G is a tuple (V, E, pt) where V are nodes, E are edges and pt is a function from V to sets of V.
SimplePointsToAnalysisIF	The interface for create a points-to analyzer