Methods in joeq.Compiler.Analysis.IPSSA that return SSAIterator.DefinitionIterator |
static SSAIterator.DefinitionIterator |
SSADefinition.Helper.getAllDefinitionIterator()
|
abstract SSAIterator.DefinitionIterator |
DefinitionGraph.getAllReached(SSADefinition def)
All reaching definitions |
abstract SSAIterator.DefinitionIterator |
DefinitionGraph.getAllReaching(SSADefinition def)
All reaching definitions |
abstract SSAIterator.DefinitionIterator |
DefinitionGraph.getReached(SSADefinition def)
|
abstract SSAIterator.DefinitionIterator |
DefinitionGraph.getReaching(SSADefinition def)
One level of pointees |
abstract SSAIterator.DefinitionIterator |
SSAValue.getUsedDefinitionIterator()
|
SSAIterator.DefinitionIterator |
SSAValue.Copy.getUsedDefinitionIterator()
|
SSAIterator.DefinitionIterator |
SSAValue.Alloc.getUsedDefinitionIterator()
|
SSAIterator.DefinitionIterator |
SSAValue.Constant.getUsedDefinitionIterator()
|
abstract SSAIterator.DefinitionIterator |
SSAValue.Normal.getUsedDefinitionIterator()
|
SSAIterator.DefinitionIterator |
SSAValue.UseCollection.getUsedDefinitionIterator()
|
SSAIterator.DefinitionIterator |
SSAValue.Phi.getUsedDefinitionIterator()
|