Uses of Class
boomerang.jimple.Field

Packages that use Field

Package	Description
boomerang
boomerang.jimple
boomerang.poi
boomerang.results
boomerang.solver
boomerang.util
boomerang.weights

Uses of Field in boomerang

Methods in boomerang that return types with arguments of type Field

Modifier and Type	Method and Description
protected WeightFunctions<Statement,Val,Field,Weight.NoWeight>	Boomerang.getBackwardFieldWeights()
protected abstract WeightFunctions<Statement,Val,Field,W>	WeightedBoomerang.getBackwardFieldWeights()
protected WeightFunctions<Statement,Val,Field,Weight.NoWeight>	Boomerang.getForwardFieldWeights()
protected abstract WeightFunctions<Statement,Val,Field,W>	WeightedBoomerang.getForwardFieldWeights()

Constructors in boomerang with parameters of type Field

Constructor and Description
FieldReadPOI(Statement statement, Val base, Field field, Val stored)
FieldWritePOI(Statement statement, Val base, Field field, Val stored)

Uses of Field in boomerang.jimple

Methods in boomerang.jimple that return Field

Modifier and Type	Method and Description
static Field	Field.array()
static Field	Field.empty()
static Field	Field.epsilon()
static Field	Field.exclusionWildcard(Field exclusion)
static Field	Field.wildcard()

Methods in boomerang.jimple with parameters of type Field

Modifier and Type	Method and Description
static Field	Field.exclusionWildcard(Field exclusion)

Uses of Field in boomerang.poi

Fields in boomerang.poi with type parameters of type Field

Modifier and Type	Field and Description
protected WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W>	ExecuteImportFieldStmtPOI.baseAutomaton
protected WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W>	ExecuteImportFieldStmtPOI.flowAutomaton

Method parameters in boomerang.poi with type arguments of type Field

Modifier and Type	Method and Description
protected void	ExecuteImportFieldStmtPOI.importStartingFrom(Transition<Field,INode<Node<Statement,Val>>> t)

Constructor parameters in boomerang.poi with type arguments of type Field

Constructor and Description
ExecuteImportFieldStmtPOI(WeightedBoomerang<W> boomerang, AbstractBoomerangSolver<W> baseSolver, AbstractBoomerangSolver<W> flowSolver, AbstractPOI<Statement,Val,Field> poi, Statement succ)

Uses of Field in boomerang.results

Method parameters in boomerang.results with type arguments of type Field

Modifier and Type	Method and Description
void	ExtractAllocationSiteStateListener.onInTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)
void	ExtractAllocationSiteStateListener.onInTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)
void	ExtractAllocationSiteStateListener.onOutTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)
void	ExtractAllocationSiteStateListener.onOutTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)

Uses of Field in boomerang.solver

Fields in boomerang.solver with type parameters of type Field

Modifier and Type	Field and Description
protected Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>>	AbstractBoomerangSolver.generatedFieldState

Methods in boomerang.solver that return Field

Modifier and Type	Method and Description
Field	AbstractBoomerangSolver.emptyField()
Field	AbstractBoomerangSolver.epsilonField()
Field	AbstractBoomerangSolver.exclusionFieldWildCard(Field exclusion)
Field	AbstractBoomerangSolver.fieldWildCard()
protected Field	AbstractBoomerangSolver.getLoadedField(soot.jimple.Stmt curr)
protected Field	AbstractBoomerangSolver.getWrittenField(soot.jimple.Stmt curr)

Methods in boomerang.solver that return types with arguments of type Field

Modifier and Type	Method and Description
WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W>	AbstractBoomerangSolver.getFieldAutomaton()
WeightedPushdownSystem<Field,INode<Node<Statement,Val>>,W>	AbstractBoomerangSolver.getFieldPDS()

Methods in boomerang.solver with parameters of type Field

Modifier and Type	Method and Description
Field	AbstractBoomerangSolver.exclusionFieldWildCard(Field exclusion)
INode<Node<Statement,Val>>	BackwardBoomerangSolver.generateFieldState(INode<Node<Statement,Val>> d, Field loc)
INode<Node<Statement,Val>>	ForwardBoomerangSolver.generateFieldState(INode<Node<Statement,Val>> d, Field loc)
INode<Node<Statement,Val>>	AbstractBoomerangSolver.generateFieldState(INode<Node<Statement,Val>> d, Field loc)

Method parameters in boomerang.solver with type arguments of type Field

Modifier and Type	Method and Description
void	AbstractBoomerangSolver.addFieldRule(Rule<Field,INode<Node<Statement,Val>>,W> rule)
abstract void	MethodBasedFieldTransitionListener.onAddedTransition(Transition<Field,INode<Node<Statement,Val>>> t)
abstract void	StatementBasedFieldTransitionListener.onAddedTransition(Transition<Field,INode<Node<Statement,Val>>> t)
void	MethodBasedFieldTransitionListener.onWeightAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> aut)
void	MethodBasedFieldTransitionListener.onWeightAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> aut)
void	StatementBasedFieldTransitionListener.onWeightAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> aut)
void	StatementBasedFieldTransitionListener.onWeightAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> aut)
protected boolean	AbstractBoomerangSolver.preventFieldTransitionAdd(Transition<Field,INode<Node<Statement,Val>>> t, W weight)

Constructor parameters in boomerang.solver with type arguments of type Field

Constructor and Description
AbstractBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, Query query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
AbstractBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, Query query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
BackwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, BackwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
BackwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, BackwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
ForwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, ForwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)
ForwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, ForwardQuery query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)

Uses of Field in boomerang.util

Methods in boomerang.util that return types with arguments of type Field

Modifier and Type	Method and Description
Collection<Field>	AccessPath.getFields()
pathexpression.IRegEx<Field>	RegExAccessPath.getFields()

Constructors in boomerang.util with parameters of type Field

Constructor and Description
AccessPath(Val value, Field field)

Constructor parameters in boomerang.util with type arguments of type Field

Constructor and Description
AccessPath(Val value, Collection<Field> fields)
RegExAccessPath(Val val, pathexpression.IRegEx<Field> fields)

Uses of Field in boomerang.weights

Methods in boomerang.weights that return types with arguments of type Field

Modifier and Type	Method and Description
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight>	PathTrackingBoomerang.getBackwardFieldWeights()
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight>	PathTrackingBoomerang.getForwardFieldWeights()