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

ClassDescriptionAn instance of this class represents an abstract object.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.BASE: p = &a SIMPLE: p = a COMPLEX_LD: *p = a COMPLEX_RD: p = *aThis class represents an integral parameter "c*" of an abstract object that has the form ofU + (c*)
orU[c*]
.A flowinsensitive PointsToAnalyzer takes a program (AST
), builds pointsto graph for the program and provides service for querying the "may pointsto" set of a lvalueThe flowinsensitive abstraction of a function body for pointsto analysis.The invocation graph node is described in detail in paper "Contextsensitive interprocedural pointsto analysis in the presence of function pointers"Details these kinds can be found in paper "Contextsensitive interprocedural pointsto analysis in the presence of function pointers".creating invocation graph nodesA pointsto 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.The interface for create a pointsto analyzer