Module dev.civl.abc

Package dev.civl.abc.analysis.pointsTo.IF

package dev.civl.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 = invalid input: '&U' SIMPLE: U = U COMPLEX_LD: *U = U COMPLEX_RD: U = *U where U is a invalid reference AssignExpIF which represents an abstract object.
AssignmentIF.AssignmentKind	BASE: p = invalid input: '&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.
SimplePointsToAnalysis	The implementation that instantiates classes for SimplePointsToAnalysisIF
SimplePointsToAnalysisIF	The interface for create a points-to analyzer