Uses of Class
com.ibm.wala.ipa.callgraph.propagation.PropagationSystem

Packages that use PropagationSystem

Package	Description
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.rta	This package provides CFA-style call graph construction and pointer analysis.

Uses of PropagationSystem in com.ibm.wala.ipa.callgraph.propagation

Fields in com.ibm.wala.ipa.callgraph.propagation declared as PropagationSystem

Modifier and Type	Field and Description
protected PropagationSystem	SSAPropagationCallGraphBuilder.ConstraintVisitor.system The governing propagation system, into which constraints are added
protected PropagationSystem	PropagationCallGraphBuilder.system The system of constraints used to build this graph

Methods in com.ibm.wala.ipa.callgraph.propagation that return PropagationSystem

Modifier and Type	Method and Description
PropagationSystem	PropagationCallGraphBuilder.getPropagationSystem()
PropagationSystem	PropagationCallGraphBuilder.getSystem()
protected PropagationSystem	AbstractPointsToSolver.getSystem()
protected PropagationSystem	PropagationCallGraphBuilder.makeSystem(AnalysisOptions options)

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type PropagationSystem

Modifier and Type	Method and Description
boolean	FilteredPointerKey.TypeFilter.addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.SingleClassFilter.addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.MultipleClassesFilter.addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.SingleInstanceFilter.addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.TargetMethodFilter.addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.TypeFilter.addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.SingleClassFilter.addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.MultipleClassesFilter.addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.SingleInstanceFilter.addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	FilteredPointerKey.TargetMethodFilter.addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)

Constructors in com.ibm.wala.ipa.callgraph.propagation with parameters of type PropagationSystem

Constructor and Description
AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)
StandardSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

Uses of PropagationSystem in com.ibm.wala.ipa.callgraph.propagation.rta

Methods in com.ibm.wala.ipa.callgraph.propagation.rta that return PropagationSystem

Modifier and Type	Method and Description
protected PropagationSystem	AbstractRTABuilder.makeSystem(AnalysisOptions options)