Uses of Class
vasco.InterProceduralAnalysis

Packages that use InterProceduralAnalysis

vasco
vasco.callgraph
vasco.soot.examples

Uses of InterProceduralAnalysis in vasco

Subclasses of InterProceduralAnalysis in vasco

class	BackwardInterProceduralAnalysis<M,N,A> A generic backward-flow inter-procedural analysis which is fully context-sensitive.
class	ForwardInterProceduralAnalysis<M,N,A> A generic forward-flow inter-procedural analysis which is fully context-sensitive.
class	OldForwardInterProceduralAnalysis<M,N,A> Deprecated. This is the old API from the initial SOAP '13 submission without call/return flow functions. It is only here for a temporary period while the PointsToAnalysis class is migrated to the new API. After that work is done, this class will be permanently removed from VASCO.

Uses of InterProceduralAnalysis in vasco.callgraph

Subclasses of InterProceduralAnalysis in vasco.callgraph

class

PointsToAnalysis An inter-procedural analysis for constructing a context-sensitive call graph on-the-fly.

Uses of InterProceduralAnalysis in vasco.soot.examples

Subclasses of InterProceduralAnalysis in vasco.soot.examples

class	CopyConstantAnalysis An inter-procedural copy constant propagation analysis.
class	SignAnalysis An inter-procedural simplified sign analysis.