|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Unit | |
---|---|
soot | Base Soot classes, shared by different intermediate representations. |
soot.baf | Public classes for the Baf intermediate representation. |
soot.baf.internal | Internal, messy, implementation-specific classes for the Baf intermediate representation. |
soot.dava | |
soot.dava.internal.AST | |
soot.dava.internal.javaRep | |
soot.grimp | Public classes for the Grimp intermediate representation. |
soot.grimp.internal | Internal, messy, implementation-specific classes for the Grimp intermediate representation. |
soot.jbco.bafTransformations | |
soot.jbco.jimpleTransformations | |
soot.jbco.util | |
soot.jimple | Public classes for the Jimple intermediate representation. |
soot.jimple.internal | Internal, messy, implementation-specific classes for the Jimple intermediate representation. |
soot.jimple.spark.fieldrw | |
soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
soot.jimple.toolkits.annotation.tags | Tags and aggregators to store and combine information about array bounds and null pointer checks. |
soot.jimple.toolkits.base | A toolkit to optimize the Jimple IR. |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
soot.jimple.toolkits.thread.mhp.stmt | |
soot.jimple.toolkits.thread.synchronization | |
soot.shimple | Public classes for the SSA Shimple intermediate representation. |
soot.shimple.internal | Shimple internal messy stuff. |
soot.shimple.toolkits.scalar | Some analyses based on Shimple. |
soot.tagkit | Classes supporting classfile annotation in Soot. |
soot.toolkits.exceptions | |
soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
soot.toolkits.graph.pdg | |
soot.toolkits.scalar | A number of scalar optimizations, and the flow analysis framework. |
soot.util | Generally useful utility classes for Soot. |
Uses of Unit in soot |
---|
Classes in soot with type parameters of type Unit | |
---|---|
class |
PatchingChain<E extends Unit>
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
class |
PatchingChain<E extends Unit>
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
Subinterfaces of Unit in soot | |
---|---|
interface |
IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
Classes in soot that implement Unit | |
---|---|
class |
AbstractUnit
Provides default implementations for the methods in Unit. |
Fields in soot declared as Unit | |
---|---|
protected E |
PatchingChain.PatchingIterator.lastObject
|
protected E |
PatchingChain.PatchingIterator.lastObject
|
protected Unit |
AbstractUnitBox.unit
|
protected Unit |
AbstractUnitBox.unit
|
Fields in soot with type parameters of type Unit | |
---|---|
protected Map<Unit,String> |
LabeledUnitPrinter.references
for unit references in Phi nodes |
protected Map<Unit,String> |
LabeledUnitPrinter.references
for unit references in Phi nodes |
protected Map<Unit,Integer> |
AbstractJasminClass.subroutineToReturnAddressSlot
|
protected Map<Unit,Integer> |
AbstractJasminClass.subroutineToReturnAddressSlot
|
protected PatchingChain<Unit> |
Body.unitChain
The chain of units for this Body. |
protected PatchingChain<Unit> |
Body.unitChain
The chain of units for this Body. |
Methods in soot that return Unit | |
---|---|
Unit |
AbstractTrap.getBeginUnit()
|
Unit |
Trap.getBeginUnit()
Returns the first trapped unit, unless this Trap
does not trap any units at all. |
Unit |
Trap.getBeginUnit()
Returns the first trapped unit, unless this Trap
does not trap any units at all. |
Unit |
AbstractTrap.getBeginUnit()
|
Unit |
AbstractTrap.getEndUnit()
|
Unit |
Trap.getEndUnit()
Returns the unit following the last trapped unit (that is, the first succeeding untrapped unit in the underlying Chain ), unless this Trap does not trap
any units at all. |
Unit |
Trap.getEndUnit()
Returns the unit following the last trapped unit (that is, the first succeeding untrapped unit in the underlying Chain ), unless this Trap does not trap
any units at all. |
Unit |
AbstractTrap.getEndUnit()
|
Unit |
AbstractTrap.getHandlerUnit()
|
Unit |
Trap.getHandlerUnit()
Returns the unit handling the exception being trapped. |
Unit |
Trap.getHandlerUnit()
Returns the unit handling the exception being trapped. |
Unit |
AbstractTrap.getHandlerUnit()
|
Unit |
AbstractUnitBox.getUnit()
|
Unit |
UnitBox.getUnit()
Returns the unit contained within this box. |
Unit |
UnitBox.getUnit()
Returns the unit contained within this box. |
Unit |
AbstractUnitBox.getUnit()
|
Methods in soot that return types with arguments of type Unit | |
---|---|
PatchingChain<Unit> |
Body.getUnits()
Returns the Chain of Units that make up this body. |
PatchingChain<Unit> |
Body.getUnits()
Returns the Chain of Units that make up this body. |
Map<Unit,String> |
LabeledUnitPrinter.references()
|
Map<Unit,String> |
LabeledUnitPrinter.references()
|
Methods in soot with parameters of type Unit | |
---|---|
abstract boolean |
AbstractUnitBox.canContainUnit(Unit u)
|
boolean |
UnitBox.canContainUnit(Unit u)
Returns true if this box can contain the given Unit. |
boolean |
UnitBox.canContainUnit(Unit u)
Returns true if this box can contain the given Unit. |
abstract boolean |
AbstractUnitBox.canContainUnit(Unit u)
|
void |
AbstractUnitPrinter.endUnit(Unit u)
|
void |
AttributesUnitPrinter.endUnit(Unit u)
|
void |
UnitPrinter.endUnit(Unit u)
|
void |
UnitPrinter.endUnit(Unit u)
|
void |
AttributesUnitPrinter.endUnit(Unit u)
|
void |
AbstractUnitPrinter.endUnit(Unit u)
|
static List |
TrapManager.getExceptionTypesOf(Unit u,
Body body)
Given a body and a unit handling an exception, returns the list of exception types possibly caught by the handler. |
static List |
TrapManager.getExceptionTypesOf(Unit u,
Body body)
Given a body and a unit handling an exception, returns the list of exception types possibly caught by the handler. |
static List<Trap> |
TrapManager.getTrapsAt(Unit unit,
Body b)
Returns the list of traps caught at Unit u in Body b. |
static List<Trap> |
TrapManager.getTrapsAt(Unit unit,
Body b)
Returns the list of traps caught at Unit u in Body b. |
static boolean |
TrapManager.isExceptionCaughtAt(SootClass e,
Unit u,
Body b)
If exception e is caught at unit u in body b, return true; otherwise, return false. |
static boolean |
TrapManager.isExceptionCaughtAt(SootClass e,
Unit u,
Body b)
If exception e is caught at unit u in body b, return true; otherwise, return false. |
void |
AbstractUnit.redirectJumpsToThisTo(Unit newLocation)
|
void |
Unit.redirectJumpsToThisTo(Unit newLocation)
Redirects jumps to this Unit to newLocation. |
void |
Unit.redirectJumpsToThisTo(Unit newLocation)
Redirects jumps to this Unit to newLocation. |
void |
AbstractUnit.redirectJumpsToThisTo(Unit newLocation)
|
void |
AbstractTrap.setBeginUnit(Unit beginUnit)
|
void |
Trap.setBeginUnit(Unit beginUnit)
Sets the value to be returned by Trap.getBeginUnit() to
beginUnit . |
void |
Trap.setBeginUnit(Unit beginUnit)
Sets the value to be returned by Trap.getBeginUnit() to
beginUnit . |
void |
AbstractTrap.setBeginUnit(Unit beginUnit)
|
void |
AbstractTrap.setEndUnit(Unit endUnit)
|
void |
Trap.setEndUnit(Unit endUnit)
Sets the value to be returned by Trap.getEndUnit() to
endUnit . |
void |
Trap.setEndUnit(Unit endUnit)
Sets the value to be returned by Trap.getEndUnit() to
endUnit . |
void |
AbstractTrap.setEndUnit(Unit endUnit)
|
void |
AbstractTrap.setHandlerUnit(Unit handlerUnit)
|
void |
Trap.setHandlerUnit(Unit handlerUnit)
Sets the unit handling the exception to handlerUnit . |
void |
Trap.setHandlerUnit(Unit handlerUnit)
Sets the unit handling the exception to handlerUnit . |
void |
AbstractTrap.setHandlerUnit(Unit handlerUnit)
|
void |
AbstractUnitBox.setUnit(Unit unit)
|
void |
UnitBox.setUnit(Unit u)
Sets this box to contain the given unit. |
void |
UnitBox.setUnit(Unit u)
Sets this box to contain the given unit. |
void |
AbstractUnitBox.setUnit(Unit unit)
|
static void |
TrapManager.splitTrapsAgainst(Body b,
Unit rangeStart,
Unit rangeEnd)
Splits all traps so that they do not cross the range rangeStart - rangeEnd. |
static void |
TrapManager.splitTrapsAgainst(Body b,
Unit rangeStart,
Unit rangeEnd)
Splits all traps so that they do not cross the range rangeStart - rangeEnd. |
void |
AbstractUnitPrinter.startUnit(Unit u)
|
void |
AttributesUnitPrinter.startUnit(Unit u)
|
void |
BriefUnitPrinter.startUnit(Unit u)
|
void |
UnitPrinter.startUnit(Unit u)
|
void |
UnitPrinter.startUnit(Unit u)
|
void |
BriefUnitPrinter.startUnit(Unit u)
|
void |
AttributesUnitPrinter.startUnit(Unit u)
|
void |
AbstractUnitPrinter.startUnit(Unit u)
|
boolean |
SideEffectTester.unitCanReadFrom(Unit u,
Value v)
|
boolean |
SideEffectTester.unitCanReadFrom(Unit u,
Value v)
|
boolean |
SideEffectTester.unitCanWriteTo(Unit u,
Value v)
|
boolean |
SideEffectTester.unitCanWriteTo(Unit u,
Value v)
|
abstract void |
AbstractUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
void |
LabeledUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
void |
UnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
void |
UnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
void |
LabeledUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
abstract void |
AbstractUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
Uses of Unit in soot.baf |
---|
Subinterfaces of Unit in soot.baf | |
---|---|
interface |
AddInst
|
interface |
AndInst
|
interface |
ArrayLengthInst
|
interface |
ArrayReadInst
|
interface |
ArrayWriteInst
|
interface |
CmpgInst
|
interface |
CmpInst
|
interface |
CmplInst
|
interface |
DivInst
|
interface |
Dup1_x1Inst
|
interface |
Dup1_x2Inst
|
interface |
Dup1Inst
|
interface |
Dup2_x1Inst
|
interface |
Dup2_x2Inst
|
interface |
Dup2Inst
|
interface |
DupInst
|
interface |
DynamicInvokeInst
|
interface |
EnterMonitorInst
|
interface |
ExitMonitorInst
|
interface |
FieldArgInst
|
interface |
FieldGetInst
|
interface |
FieldPutInst
|
interface |
GotoInst
|
interface |
IdentityInst
|
interface |
IfCmpEqInst
|
interface |
IfCmpGeInst
|
interface |
IfCmpGtInst
|
interface |
IfCmpLeInst
|
interface |
IfCmpLtInst
|
interface |
IfCmpNeInst
|
interface |
IfEqInst
|
interface |
IfGeInst
|
interface |
IfGtInst
|
interface |
IfLeInst
|
interface |
IfLtInst
|
interface |
IfNeInst
|
interface |
IfNonNullInst
|
interface |
IfNullInst
|
interface |
IncInst
|
interface |
Inst
|
interface |
InstanceCastInst
|
interface |
InstanceOfInst
|
interface |
InterfaceInvokeInst
|
interface |
JSRInst
|
interface |
LoadInst
|
interface |
LookupSwitchInst
|
interface |
MethodArgInst
|
interface |
MulInst
|
interface |
NegInst
|
interface |
NewArrayInst
|
interface |
NewInst
|
interface |
NewMultiArrayInst
|
interface |
NoArgInst
|
interface |
NopInst
|
interface |
OpTypeArgInst
|
interface |
OrInst
|
interface |
PopInst
|
interface |
PrimitiveCastInst
|
interface |
PushInst
|
interface |
RemInst
|
interface |
RetInst
|
interface |
ReturnInst
|
interface |
ReturnVoidInst
|
interface |
ShlInst
|
interface |
ShrInst
|
interface |
SpecialInvokeInst
|
interface |
StaticGetInst
|
interface |
StaticInvokeInst
|
interface |
StaticPutInst
|
interface |
StoreInst
|
interface |
SubInst
|
interface |
SwapInst
|
interface |
TableSwitchInst
|
interface |
TargetArgInst
|
interface |
ThrowInst
|
interface |
UshrInst
|
interface |
VirtualInvokeInst
|
interface |
XorInst
|
Classes in soot.baf that implement Unit | |
---|---|
class |
PlaceholderInst
|
Methods in soot.baf that return Unit | |
---|---|
Unit |
LookupSwitchInst.getDefaultTarget()
|
Unit |
TableSwitchInst.getDefaultTarget()
|
Unit |
TableSwitchInst.getDefaultTarget()
|
Unit |
LookupSwitchInst.getDefaultTarget()
|
Unit |
PlaceholderInst.getSource()
|
Unit |
PlaceholderInst.getSource()
|
Unit |
TargetArgInst.getTarget()
|
Unit |
TargetArgInst.getTarget()
|
Unit |
LookupSwitchInst.getTarget(int index)
|
Unit |
TableSwitchInst.getTarget(int index)
|
Unit |
TableSwitchInst.getTarget(int index)
|
Unit |
LookupSwitchInst.getTarget(int index)
|
Methods in soot.baf with parameters of type Unit | |
---|---|
GotoInst |
Baf.newGotoInst(Unit unit)
|
GotoInst |
Baf.newGotoInst(Unit unit)
|
IfCmpEqInst |
Baf.newIfCmpEqInst(Type opType,
Unit unit)
|
IfCmpEqInst |
Baf.newIfCmpEqInst(Type opType,
Unit unit)
|
IfCmpGeInst |
Baf.newIfCmpGeInst(Type opType,
Unit unit)
|
IfCmpGeInst |
Baf.newIfCmpGeInst(Type opType,
Unit unit)
|
IfCmpGtInst |
Baf.newIfCmpGtInst(Type opType,
Unit unit)
|
IfCmpGtInst |
Baf.newIfCmpGtInst(Type opType,
Unit unit)
|
IfCmpLeInst |
Baf.newIfCmpLeInst(Type opType,
Unit unit)
|
IfCmpLeInst |
Baf.newIfCmpLeInst(Type opType,
Unit unit)
|
IfCmpLtInst |
Baf.newIfCmpLtInst(Type opType,
Unit unit)
|
IfCmpLtInst |
Baf.newIfCmpLtInst(Type opType,
Unit unit)
|
IfCmpNeInst |
Baf.newIfCmpNeInst(Type opType,
Unit unit)
|
IfCmpNeInst |
Baf.newIfCmpNeInst(Type opType,
Unit unit)
|
IfEqInst |
Baf.newIfEqInst(Unit unit)
|
IfEqInst |
Baf.newIfEqInst(Unit unit)
|
IfGeInst |
Baf.newIfGeInst(Unit unit)
|
IfGeInst |
Baf.newIfGeInst(Unit unit)
|
IfGtInst |
Baf.newIfGtInst(Unit unit)
|
IfGtInst |
Baf.newIfGtInst(Unit unit)
|
IfLeInst |
Baf.newIfLeInst(Unit unit)
|
IfLeInst |
Baf.newIfLeInst(Unit unit)
|
IfLtInst |
Baf.newIfLtInst(Unit unit)
|
IfLtInst |
Baf.newIfLtInst(Unit unit)
|
IfNeInst |
Baf.newIfNeInst(Unit unit)
|
IfNeInst |
Baf.newIfNeInst(Unit unit)
|
IfNonNullInst |
Baf.newIfNonNullInst(Unit unit)
|
IfNonNullInst |
Baf.newIfNonNullInst(Unit unit)
|
IfNullInst |
Baf.newIfNullInst(Unit unit)
|
IfNullInst |
Baf.newIfNullInst(Unit unit)
|
UnitBox |
Baf.newInstBox(Unit unit)
|
UnitBox |
Baf.newInstBox(Unit unit)
|
JSRInst |
Baf.newJSRInst(Unit unit)
|
JSRInst |
Baf.newJSRInst(Unit unit)
|
LookupSwitchInst |
Baf.newLookupSwitchInst(Unit defaultTarget,
List lookupValues,
List targets)
|
LookupSwitchInst |
Baf.newLookupSwitchInst(Unit defaultTarget,
List lookupValues,
List targets)
|
PlaceholderInst |
Baf.newPlaceholderInst(Unit source)
|
PlaceholderInst |
Baf.newPlaceholderInst(Unit source)
|
TableSwitchInst |
Baf.newTableSwitchInst(Unit defaultTarget,
int lowIndex,
int highIndex,
List targets)
|
TableSwitchInst |
Baf.newTableSwitchInst(Unit defaultTarget,
int lowIndex,
int highIndex,
List targets)
|
Trap |
Baf.newTrap(SootClass exception,
Unit beginUnit,
Unit endUnit,
Unit handlerUnit)
Constructs a new BTrap for the given exception on the given Unit range with the given Unit handler. |
Trap |
Baf.newTrap(SootClass exception,
Unit beginUnit,
Unit endUnit,
Unit handlerUnit)
Constructs a new BTrap for the given exception on the given Unit range with the given Unit handler. |
void |
LookupSwitchInst.setDefaultTarget(Unit defTarget)
|
void |
TableSwitchInst.setDefaultTarget(Unit defTarget)
|
void |
TableSwitchInst.setDefaultTarget(Unit defTarget)
|
void |
LookupSwitchInst.setDefaultTarget(Unit defTarget)
|
void |
LookupSwitchInst.setTarget(int index,
Unit target)
|
void |
TableSwitchInst.setTarget(int index,
Unit target)
|
void |
TableSwitchInst.setTarget(int index,
Unit target)
|
void |
LookupSwitchInst.setTarget(int index,
Unit target)
|
void |
TargetArgInst.setTarget(Unit target)
|
void |
TargetArgInst.setTarget(Unit target)
|
Method parameters in soot.baf with type arguments of type Unit | |
---|---|
void |
LookupSwitchInst.setTargets(List<Unit> targets)
|
void |
TableSwitchInst.setTargets(List<Unit> targets)
|
void |
TableSwitchInst.setTargets(List<Unit> targets)
|
void |
LookupSwitchInst.setTargets(List<Unit> targets)
|
Uses of Unit in soot.baf.internal |
---|
Methods in soot.baf.internal that return Unit | |
---|---|
Unit |
BLookupSwitchInst.getDefaultTarget()
|
Unit |
BTableSwitchInst.getDefaultTarget()
|
Unit |
BTableSwitchInst.getDefaultTarget()
|
Unit |
BLookupSwitchInst.getDefaultTarget()
|
Unit |
AbstractBranchInst.getTarget()
|
Unit |
AbstractBranchInst.getTarget()
|
Unit |
BLookupSwitchInst.getTarget(int index)
|
Unit |
BTableSwitchInst.getTarget(int index)
|
Unit |
BTableSwitchInst.getTarget(int index)
|
Unit |
BLookupSwitchInst.getTarget(int index)
|
Methods in soot.baf.internal with parameters of type Unit | |
---|---|
void |
BLookupSwitchInst.setDefaultTarget(Unit defaultTarget)
|
void |
BTableSwitchInst.setDefaultTarget(Unit defaultTarget)
|
void |
BTableSwitchInst.setDefaultTarget(Unit defaultTarget)
|
void |
BLookupSwitchInst.setDefaultTarget(Unit defaultTarget)
|
void |
BLookupSwitchInst.setTarget(int index,
Unit target)
|
void |
BTableSwitchInst.setTarget(int index,
Unit target)
|
void |
BTableSwitchInst.setTarget(int index,
Unit target)
|
void |
BLookupSwitchInst.setTarget(int index,
Unit target)
|
void |
AbstractBranchInst.setTarget(Unit target)
|
void |
AbstractBranchInst.setTarget(Unit target)
|
Method parameters in soot.baf.internal with type arguments of type Unit | |
---|---|
void |
BLookupSwitchInst.setTargets(List<Unit> targets)
|
void |
BTableSwitchInst.setTargets(List<Unit> targets)
|
void |
BTableSwitchInst.setTargets(List<Unit> targets)
|
void |
BLookupSwitchInst.setTargets(List<Unit> targets)
|
Constructors in soot.baf.internal with parameters of type Unit | |
---|---|
BGotoInst(Unit target)
|
|
BGotoInst(Unit target)
|
|
BIfCmpEqInst(Type opType,
Unit target)
|
|
BIfCmpEqInst(Type opType,
Unit target)
|
|
BIfCmpGeInst(Type opType,
Unit target)
|
|
BIfCmpGeInst(Type opType,
Unit target)
|
|
BIfCmpGtInst(Type opType,
Unit target)
|
|
BIfCmpGtInst(Type opType,
Unit target)
|
|
BIfCmpLeInst(Type opType,
Unit target)
|
|
BIfCmpLeInst(Type opType,
Unit target)
|
|
BIfCmpLtInst(Type opType,
Unit target)
|
|
BIfCmpLtInst(Type opType,
Unit target)
|
|
BIfCmpNeInst(Type opType,
Unit target)
|
|
BIfCmpNeInst(Type opType,
Unit target)
|
|
BIfEqInst(Unit target)
|
|
BIfEqInst(Unit target)
|
|
BIfGeInst(Unit target)
|
|
BIfGeInst(Unit target)
|
|
BIfGtInst(Unit target)
|
|
BIfGtInst(Unit target)
|
|
BIfLeInst(Unit target)
|
|
BIfLeInst(Unit target)
|
|
BIfLtInst(Unit target)
|
|
BIfLtInst(Unit target)
|
|
BIfNeInst(Unit target)
|
|
BIfNeInst(Unit target)
|
|
BIfNonNullInst(Unit target)
|
|
BIfNonNullInst(Unit target)
|
|
BIfNullInst(Unit target)
|
|
BIfNullInst(Unit target)
|
|
BJSRInst(Unit target)
|
|
BJSRInst(Unit target)
|
|
BLookupSwitchInst(Unit defaultTarget,
List lookupValues,
List targets)
|
|
BLookupSwitchInst(Unit defaultTarget,
List lookupValues,
List targets)
|
|
BTableSwitchInst(Unit defaultTarget,
int lowIndex,
int highIndex,
List targets)
|
|
BTableSwitchInst(Unit defaultTarget,
int lowIndex,
int highIndex,
List targets)
|
|
BTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
|
BTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
Uses of Unit in soot.dava |
---|
Methods in soot.dava that return Unit | |
---|---|
Unit |
DavaBody.get_ConstructorUnit()
|
Unit |
DavaBody.get_ConstructorUnit()
|
Methods in soot.dava with parameters of type Unit | |
---|---|
void |
DavaBody.set_ConstructorUnit(Unit s)
|
void |
DavaBody.set_ConstructorUnit(Unit s)
|
void |
DavaUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
void |
DavaUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
Uses of Unit in soot.dava.internal.AST |
---|
Classes in soot.dava.internal.AST that implement Unit | |
---|---|
class |
ASTControlFlowNode
|
class |
ASTDoWhileNode
|
class |
ASTForLoopNode
|
class |
ASTIfElseNode
|
class |
ASTIfNode
|
class |
ASTLabeledBlockNode
|
class |
ASTLabeledNode
|
class |
ASTMethodNode
|
class |
ASTNode
|
class |
ASTStatementSequenceNode
|
class |
ASTSwitchNode
|
class |
ASTSynchronizedBlockNode
|
class |
ASTTryNode
|
class |
ASTUnconditionalLoopNode
|
class |
ASTWhileNode
|
Uses of Unit in soot.dava.internal.javaRep |
---|
Classes in soot.dava.internal.javaRep that implement Unit | |
---|---|
class |
DAbruptStmt
|
class |
DAssignStmt
|
class |
DDecrementStmt
|
class |
DIdentityStmt
|
class |
DIncrementStmt
|
class |
DShortcutAssignStmt
|
class |
DVariableDeclarationStmt
|
Uses of Unit in soot.grimp |
---|
Methods in soot.grimp with parameters of type Unit | |
---|---|
GotoStmt |
Grimp.newGotoStmt(Unit target)
Constructs a GotoStmt(Stmt) grammar chunk. |
GotoStmt |
Grimp.newGotoStmt(Unit target)
Constructs a GotoStmt(Stmt) grammar chunk. |
IfStmt |
Grimp.newIfStmt(Value condition,
Unit target)
Constructs a IfStmt(Condition, Stmt) grammar chunk. |
IfStmt |
Grimp.newIfStmt(Value condition,
Unit target)
Constructs a IfStmt(Condition, Stmt) grammar chunk. |
LookupSwitchStmt |
Grimp.newLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a LookupSwitchStmt(Expr, List of Expr, List of Unit, Stmt) grammar chunk. |
LookupSwitchStmt |
Grimp.newLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a LookupSwitchStmt(Expr, List of Expr, List of Unit, Stmt) grammar chunk. |
UnitBox |
Grimp.newStmtBox(Unit unit)
|
UnitBox |
Grimp.newStmtBox(Unit unit)
|
TableSwitchStmt |
Grimp.newTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
Constructs a TableSwitchStmt(Expr, int, int, List of Unit, Stmt) grammar chunk. |
TableSwitchStmt |
Grimp.newTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
Constructs a TableSwitchStmt(Expr, int, int, List of Unit, Stmt) grammar chunk. |
Trap |
Grimp.newTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
Constructs a new Trap for the given exception on the given Stmt range with the given Stmt handler. |
Trap |
Grimp.newTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
Constructs a new Trap for the given exception on the given Stmt range with the given Stmt handler. |
Uses of Unit in soot.grimp.internal |
---|
Classes in soot.grimp.internal that implement Unit | |
---|---|
class |
GAssignStmt
|
class |
GEnterMonitorStmt
|
class |
GExitMonitorStmt
|
class |
GIdentityStmt
|
class |
GIfStmt
|
class |
GInvokeStmt
|
class |
GLookupSwitchStmt
|
class |
GReturnStmt
|
class |
GTableSwitchStmt
|
class |
GThrowStmt
|
Constructors in soot.grimp.internal with parameters of type Unit | |
---|---|
GIfStmt(Value condition,
Unit target)
|
|
GIfStmt(Value condition,
Unit target)
|
|
GLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
|
|
GLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
|
|
GTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
|
|
GTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
|
|
GTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
|
GTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
Uses of Unit in soot.jbco.bafTransformations |
---|
Methods in soot.jbco.bafTransformations with parameters of type Unit | |
---|---|
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Body b,
Unit u)
|
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Body b,
Unit u)
|
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack,
Unit u)
|
static Stack<Type> |
StackTypeHeightCalculator.getAfterStack(Stack<Type> beforeStack,
Unit u)
|
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
Stack<Type> st)
|
static Stack<Type> |
StackTypeHeightCalculator.updateStack(Unit u,
Stack<Type> st)
|
Uses of Unit in soot.jbco.jimpleTransformations |
---|
Methods in soot.jbco.jimpleTransformations with parameters of type Unit | |
---|---|
boolean |
AddSwitches.checkTraps(Unit u,
Body b)
|
boolean |
AddSwitches.checkTraps(Unit u,
Body b)
|
Uses of Unit in soot.jbco.util |
---|
Methods in soot.jbco.util with parameters of type Unit | |
---|---|
static boolean |
BodyBuilder.isBafIf(Unit u)
|
static boolean |
BodyBuilder.isBafIf(Unit u)
|
static boolean |
BodyBuilder.isExceptionCaughtAt(Chain units,
Unit u,
Iterator trapsIt)
|
static boolean |
BodyBuilder.isExceptionCaughtAt(Chain units,
Unit u,
Iterator trapsIt)
|
static void |
BodyBuilder.updateTraps(Unit oldu,
Unit newu,
Chain traps)
|
static void |
BodyBuilder.updateTraps(Unit oldu,
Unit newu,
Chain traps)
|
Uses of Unit in soot.jimple |
---|
Subinterfaces of Unit in soot.jimple | |
---|---|
interface |
AssignStmt
|
interface |
BreakpointStmt
|
interface |
DefinitionStmt
|
interface |
EnterMonitorStmt
|
interface |
ExitMonitorStmt
|
interface |
GotoStmt
|
interface |
IdentityStmt
|
interface |
IfStmt
|
interface |
InvokeStmt
|
interface |
LookupSwitchStmt
|
interface |
MonitorStmt
|
interface |
NopStmt
|
interface |
RetStmt
|
interface |
ReturnStmt
|
interface |
ReturnVoidStmt
|
interface |
Stmt
|
interface |
TableSwitchStmt
|
interface |
ThrowStmt
|
Classes in soot.jimple that implement Unit | |
---|---|
class |
PlaceholderStmt
|
Methods in soot.jimple that return Unit | |
---|---|
Unit |
JimpleToBafContext.getCurrentUnit()
|
Unit |
JimpleToBafContext.getCurrentUnit()
|
Unit |
LookupSwitchStmt.getDefaultTarget()
|
Unit |
TableSwitchStmt.getDefaultTarget()
|
Unit |
TableSwitchStmt.getDefaultTarget()
|
Unit |
LookupSwitchStmt.getDefaultTarget()
|
Unit |
PlaceholderStmt.getSource()
|
Unit |
PlaceholderStmt.getSource()
|
Unit |
GotoStmt.getTarget()
|
Unit |
GotoStmt.getTarget()
|
Unit |
LookupSwitchStmt.getTarget(int index)
|
Unit |
TableSwitchStmt.getTarget(int index)
|
Unit |
TableSwitchStmt.getTarget(int index)
|
Unit |
LookupSwitchStmt.getTarget(int index)
|
Methods in soot.jimple with parameters of type Unit | |
---|---|
GotoStmt |
Jimple.newGotoStmt(Unit target)
Constructs a GotoStmt(Stmt) grammar chunk. |
GotoStmt |
Jimple.newGotoStmt(Unit target)
Constructs a GotoStmt(Stmt) grammar chunk. |
IfStmt |
Jimple.newIfStmt(Value condition,
Unit target)
Constructs a IfStmt(Condition, Stmt) grammar chunk. |
IfStmt |
Jimple.newIfStmt(Value condition,
Unit target)
Constructs a IfStmt(Condition, Stmt) grammar chunk. |
LookupSwitchStmt |
Jimple.newLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a LookupSwitchStmt(Immediate, List of Immediate, List of Unit, Stmt) grammar chunk. |
LookupSwitchStmt |
Jimple.newLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a LookupSwitchStmt(Immediate, List of Immediate, List of Unit, Stmt) grammar chunk. |
UnitBox |
Jimple.newStmtBox(Unit unit)
|
UnitBox |
Jimple.newStmtBox(Unit unit)
|
TableSwitchStmt |
Jimple.newTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
Constructs a TableSwitchStmt(Immediate, int, int, List of Unit, Stmt) grammar chunk. |
TableSwitchStmt |
Jimple.newTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
Constructs a TableSwitchStmt(Immediate, int, int, List of Unit, Stmt) grammar chunk. |
Trap |
Jimple.newTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
Constructs a new JTrap for the given exception on the given Stmt range with the given Stmt handler. |
Trap |
Jimple.newTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
Constructs a new JTrap for the given exception on the given Stmt range with the given Stmt handler. |
void |
JimpleToBafContext.setCurrentUnit(Unit u)
|
void |
JimpleToBafContext.setCurrentUnit(Unit u)
|
void |
LookupSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
TableSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
TableSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
LookupSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
LookupSwitchStmt.setTarget(int index,
Unit target)
|
void |
TableSwitchStmt.setTarget(int index,
Unit target)
|
void |
TableSwitchStmt.setTarget(int index,
Unit target)
|
void |
LookupSwitchStmt.setTarget(int index,
Unit target)
|
void |
GotoStmt.setTarget(Unit target)
|
void |
IfStmt.setTarget(Unit target)
|
void |
IfStmt.setTarget(Unit target)
|
void |
GotoStmt.setTarget(Unit target)
|
void |
LookupSwitchStmt.setTargets(Unit[] targets)
|
void |
LookupSwitchStmt.setTargets(Unit[] targets)
|
boolean |
NaiveSideEffectTester.unitCanReadFrom(Unit u,
Value v)
Returns true if the unit can read from v. |
boolean |
NaiveSideEffectTester.unitCanReadFrom(Unit u,
Value v)
Returns true if the unit can read from v. |
boolean |
NaiveSideEffectTester.unitCanWriteTo(Unit u,
Value v)
|
boolean |
NaiveSideEffectTester.unitCanWriteTo(Unit u,
Value v)
|
Method parameters in soot.jimple with type arguments of type Unit | |
---|---|
void |
Constant.convertToBaf(JimpleToBafContext context,
List<Unit> out)
Adds a Baf instruction pushing this constant to the stack onto out . |
void |
ConvertToBaf.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
StaticFieldRef.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
StaticFieldRef.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
ConvertToBaf.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
Constant.convertToBaf(JimpleToBafContext context,
List<Unit> out)
Adds a Baf instruction pushing this constant to the stack onto out . |
void |
TableSwitchStmt.setTargets(List<Unit> targets)
|
void |
TableSwitchStmt.setTargets(List<Unit> targets)
|
Uses of Unit in soot.jimple.internal |
---|
Classes in soot.jimple.internal that implement Unit | |
---|---|
class |
AbstractDefinitionStmt
|
class |
AbstractStmt
|
class |
JAssignStmt
|
class |
JBreakpointStmt
|
class |
JEnterMonitorStmt
|
class |
JExitMonitorStmt
|
class |
JGotoStmt
|
class |
JIdentityStmt
|
class |
JIfStmt
|
class |
JInvokeStmt
|
class |
JLookupSwitchStmt
|
class |
JNopStmt
|
class |
JRetStmt
|
class |
JReturnStmt
|
class |
JReturnVoidStmt
|
class |
JTableSwitchStmt
|
class |
JThrowStmt
|
Methods in soot.jimple.internal that return Unit | |
---|---|
Unit |
JLookupSwitchStmt.getDefaultTarget()
|
Unit |
JTableSwitchStmt.getDefaultTarget()
|
Unit |
JTableSwitchStmt.getDefaultTarget()
|
Unit |
JLookupSwitchStmt.getDefaultTarget()
|
Unit |
JGotoStmt.getTarget()
|
Unit |
JGotoStmt.getTarget()
|
Unit |
JLookupSwitchStmt.getTarget(int index)
|
Unit |
JTableSwitchStmt.getTarget(int index)
|
Unit |
JTableSwitchStmt.getTarget(int index)
|
Unit |
JLookupSwitchStmt.getTarget(int index)
|
Methods in soot.jimple.internal with parameters of type Unit | |
---|---|
boolean |
StmtBox.canContainUnit(Unit u)
|
boolean |
StmtBox.canContainUnit(Unit u)
|
void |
JLookupSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
JTableSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
JTableSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
JLookupSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
JLookupSwitchStmt.setTarget(int index,
Unit target)
|
void |
JTableSwitchStmt.setTarget(int index,
Unit target)
|
void |
JTableSwitchStmt.setTarget(int index,
Unit target)
|
void |
JLookupSwitchStmt.setTarget(int index,
Unit target)
|
void |
JGotoStmt.setTarget(Unit target)
|
void |
JIfStmt.setTarget(Unit target)
|
void |
JIfStmt.setTarget(Unit target)
|
void |
JGotoStmt.setTarget(Unit target)
|
void |
JLookupSwitchStmt.setTargets(Unit[] targets)
|
void |
JLookupSwitchStmt.setTargets(Unit[] targets)
|
Method parameters in soot.jimple.internal with type arguments of type Unit | |
---|---|
void |
AbstractCastExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractInstanceFieldRef.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractInterfaceInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractJimpleFloatBinopExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractJimpleIntBinopExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractJimpleIntLongBinopExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractNewArrayExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractNewMultiArrayExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractSpecialInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractStaticInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractVirtualInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JArrayRef.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JAssignStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JDynamicInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JEnterMonitorStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JExitMonitorStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JGotoStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JIdentityStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JIfStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JInstanceOfExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JInvokeStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JLengthExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JLookupSwitchStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JNegExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JNewExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JNopStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JReturnStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JReturnVoidStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JTableSwitchStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JThrowStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JimpleLocal.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JThrowStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JTableSwitchStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JReturnVoidStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JReturnStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JNopStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JNewExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JNegExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JLookupSwitchStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JLengthExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JInvokeStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JInstanceOfExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JimpleLocal.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JIfStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JIdentityStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JGotoStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JExitMonitorStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JEnterMonitorStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JDynamicInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JAssignStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JArrayRef.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractVirtualInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractStmt.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractStaticInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractSpecialInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractNewMultiArrayExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractNewArrayExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractJimpleIntLongBinopExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractJimpleIntBinopExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractJimpleFloatBinopExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractInterfaceInvokeExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractInstanceFieldRef.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
AbstractCastExpr.convertToBaf(JimpleToBafContext context,
List<Unit> out)
|
void |
JTableSwitchStmt.setTargets(List<Unit> targets)
|
void |
JTableSwitchStmt.setTargets(List<Unit> targets)
|
Constructors in soot.jimple.internal with parameters of type Unit | |
---|---|
JGotoStmt(Unit target)
|
|
JGotoStmt(Unit target)
|
|
JIfStmt(Value condition,
Unit target)
|
|
JIfStmt(Value condition,
Unit target)
|
|
JLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a new JLookupSwitchStmt. |
|
JLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a new JLookupSwitchStmt. |
|
JTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
|
|
JTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
|
|
JTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
|
JTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
Uses of Unit in soot.jimple.spark.fieldrw |
---|
Methods in soot.jimple.spark.fieldrw with parameters of type Unit | |
---|---|
void |
FieldTagAggregator.considerTag(Tag t,
Unit u)
|
void |
FieldTagAggregator.considerTag(Tag t,
Unit u)
|
Uses of Unit in soot.jimple.toolkits.annotation.nullcheck |
---|
Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type Unit | |
---|---|
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToAnalyzedChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToAnalyzedChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToArrayRefChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToArrayRefChecksSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToInstanceFieldRefChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToInstanceFieldRefChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToInstanceInvokeExprChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToInstanceInvokeExprChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToLengthExprChecksSet
Deprecated. |
protected Map<Unit,HashSet<Value>> |
BranchedRefVarsAnalysis.unitToLengthExprChecksSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated. |
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated. |
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type Unit | |
---|---|
protected void |
BranchedRefVarsAnalysis.flowThrough(Object inValue,
Unit stmt,
List outFallValue,
List outBranchValues)
Deprecated. |
protected void |
NullnessAnalysis.flowThrough(Object flowin,
Unit u,
List fallOut,
List branchOuts)
Given the merge of the in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
NullnessAnalysis.flowThrough(Object flowin,
Unit u,
List fallOut,
List branchOuts)
Given the merge of the in sets,
compute the fallOut and branchOuts
set for s . |
protected void |
BranchedRefVarsAnalysis.flowThrough(Object inValue,
Unit stmt,
List outFallValue,
List outBranchValues)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getListsOfVarsAfterBranch(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getListsOfVarsAfterBranch(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsAfterFall(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsAfterFall(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsBefore(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsBefore(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsDontNeedCheck(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsDontNeedCheck(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsNeedCheck(Unit s)
Deprecated. |
List |
LocalRefVarsAnalysisWrapper.getVarsNeedCheck(Unit s)
Deprecated. |
boolean |
NullnessAnalysis.isAlwaysNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always non-null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always non-null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always null
before the statement s. |
boolean |
NullnessAnalysis.isAlwaysNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always null
before the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as non-null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNonNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as non-null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as null
after and including the statement s. |
boolean |
NullnessAssumptionAnalysis.isAssumedNullBefore(Unit s,
Immediate i)
Returns true if the analysis could determine that i is always treated as null
after and including the statement s. |
Uses of Unit in soot.jimple.toolkits.annotation.tags |
---|
Methods in soot.jimple.toolkits.annotation.tags with parameters of type Unit | |
---|---|
void |
ArrayNullTagAggregator.considerTag(Tag t,
Unit u)
|
void |
ArrayNullTagAggregator.considerTag(Tag t,
Unit u)
|
Uses of Unit in soot.jimple.toolkits.base |
---|
Methods in soot.jimple.toolkits.base with parameters of type Unit | |
---|---|
Zone |
Zonation.getZoneOf(Unit u)
|
Zone |
Zonation.getZoneOf(Unit u)
|
Uses of Unit in soot.jimple.toolkits.callgraph |
---|
Fields in soot.jimple.toolkits.callgraph with type parameters of type Unit | |
---|---|
protected Map<Unit,Edge> |
CallGraph.srcUnitToEdge
|
protected Map<Unit,Edge> |
CallGraph.srcUnitToEdge
|
Methods in soot.jimple.toolkits.callgraph that return Unit | |
---|---|
Unit |
ContextSensitiveEdge.srcUnit()
The unit at which the call occurs; may be null for calls not occurring at a specific statement (eg. |
Unit |
Edge.srcUnit()
|
Unit |
Edge.srcUnit()
|
Unit |
ContextSensitiveEdge.srcUnit()
The unit at which the call occurs; may be null for calls not occurring at a specific statement (eg. |
Methods in soot.jimple.toolkits.callgraph with parameters of type Unit | |
---|---|
void |
ContextInsensitiveContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ObjSensContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
OneCFAContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
OneCFAContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ObjSensContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ContextInsensitiveContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
ContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
ContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src,
Unit srcUnit)
Returns all ContextSensitiveEdge's out of unit srcUnit in method src in context srcCtxt. |
Iterator |
ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt,
SootMethod src,
Unit srcUnit)
Returns all ContextSensitiveEdge's out of unit srcUnit in method src in context srcCtxt. |
Iterator<Edge> |
CallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit. |
Iterator |
SlowCallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit. |
Iterator |
SlowCallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit. |
Iterator<Edge> |
CallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit. |
Edge |
CallGraph.findEdge(Unit u,
SootMethod callee)
Find the specific call edge that is going out from the callsite u and the call target is callee. |
Edge |
CallGraph.findEdge(Unit u,
SootMethod callee)
Find the specific call edge that is going out from the callsite u and the call target is callee. |
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(Unit u)
|
Iterator<MethodOrMethodContext> |
TransitiveTargets.iterator(Unit u)
|
Constructors in soot.jimple.toolkits.callgraph with parameters of type Unit | |
---|---|
Edge(MethodOrMethodContext src,
Unit srcUnit,
MethodOrMethodContext tgt,
Kind kind)
|
|
Edge(MethodOrMethodContext src,
Unit srcUnit,
MethodOrMethodContext tgt,
Kind kind)
|
Uses of Unit in soot.jimple.toolkits.pointer |
---|
Fields in soot.jimple.toolkits.pointer with type parameters of type Unit | |
---|---|
protected Map<Unit,Map<Value,Integer>> |
LocalMustAliasAnalysis.mergePointToValueToNumber
maps from a merge point (a unit) and a value to the unique value number of that value at this point |
protected Map<Unit,Map<Value,Integer>> |
LocalMustAliasAnalysis.mergePointToValueToNumber
maps from a merge point (a unit) and a value to the unique value number of that value at this point |
Methods in soot.jimple.toolkits.pointer with parameters of type Unit | |
---|---|
protected void |
LocalMustAliasAnalysis.flowThrough(HashMap<Value,Object> in,
Unit u,
HashMap<Value,Object> out)
|
protected void |
LocalMustAliasAnalysis.flowThrough(HashMap<Value,Object> in,
Unit u,
HashMap<Value,Object> out)
|
protected void |
CastCheckEliminator.flowThrough(Object inValue,
Unit unit,
List outFallValues,
List outBranchValues)
This is the flow function as described in the assignment write-up. |
protected void |
CastCheckEliminator.flowThrough(Object inValue,
Unit unit,
List outFallValues,
List outBranchValues)
This is the flow function as described in the assignment write-up. |
protected void |
LocalMustAliasAnalysis.merge(Unit succUnit,
HashMap<Value,Object> inMap1,
HashMap<Value,Object> inMap2,
HashMap<Value,Object> outMap)
|
protected void |
LocalMustAliasAnalysis.merge(Unit succUnit,
HashMap<Value,Object> inMap1,
HashMap<Value,Object> inMap2,
HashMap<Value,Object> outMap)
|
protected RWSet |
PASideEffectTester.readSet(Unit u)
|
protected RWSet |
PASideEffectTester.readSet(Unit u)
|
boolean |
PASideEffectTester.unitCanReadFrom(Unit u,
Value v)
Returns true if the unit can read from v. |
boolean |
PASideEffectTester.unitCanReadFrom(Unit u,
Value v)
Returns true if the unit can read from v. |
boolean |
PASideEffectTester.unitCanWriteTo(Unit u,
Value v)
Returns true if the unit can read from v. |
boolean |
PASideEffectTester.unitCanWriteTo(Unit u,
Value v)
Returns true if the unit can read from v. |
protected RWSet |
PASideEffectTester.writeSet(Unit u)
|
protected RWSet |
PASideEffectTester.writeSet(Unit u)
|
Uses of Unit in soot.jimple.toolkits.scalar |
---|
Methods in soot.jimple.toolkits.scalar with parameters of type Unit | |
---|---|
Chain |
AvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u. |
Chain |
FastAvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
Chain |
SlowAvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u. |
Chain |
SlowAvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u. |
Chain |
FastAvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
Chain |
AvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u. |
Chain |
AvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
Chain |
FastAvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
Chain |
SlowAvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
Chain |
SlowAvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
Chain |
FastAvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
Chain |
AvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
List |
AvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
List |
FastAvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the EquivalentValue corresponding to expressions available after u. |
List |
SlowAvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
List |
SlowAvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
List |
FastAvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the EquivalentValue corresponding to expressions available after u. |
List |
AvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
List |
AvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
FastAvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
SlowAvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
SlowAvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
FastAvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
AvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
Uses of Unit in soot.jimple.toolkits.scalar.pre |
---|
Methods in soot.jimple.toolkits.scalar.pre with parameters of type Unit | |
---|---|
static Value |
SootFilter.binopRhs(Unit unit)
only lets binary RHS through. |
static Value |
SootFilter.binopRhs(Unit unit)
only lets binary RHS through. |
static Value |
SootFilter.noExceptionThrowingRhs(Unit unit)
filters out RHS that don't throw any exception. |
static Value |
SootFilter.noExceptionThrowingRhs(Unit unit)
filters out RHS that don't throw any exception. |
static Value |
SootFilter.noInvokeRhs(Unit unit)
filters out RHS that aren't invokes. |
static Value |
SootFilter.noInvokeRhs(Unit unit)
filters out RHS that aren't invokes. |
static Value |
SootFilter.rhs(Unit unit)
filters out the RHS of an assignmentStmt. |
static Value |
SootFilter.rhs(Unit unit)
filters out the RHS of an assignmentStmt. |
Uses of Unit in soot.jimple.toolkits.thread.mhp |
---|
Methods in soot.jimple.toolkits.thread.mhp that return types with arguments of type Unit | |
---|---|
protected Set<Unit> |
PegGraph.getExceHandlers()
|
protected Set<Unit> |
PegGraph.getExceHandlers()
|
Methods in soot.jimple.toolkits.thread.mhp with parameters of type Unit | |
---|---|
List<SootMethod> |
TargetMethodsFinder.find(Unit unit,
CallGraph cg,
boolean canBeNullList,
boolean canBeNative)
|
List<SootMethod> |
TargetMethodsFinder.find(Unit unit,
CallGraph cg,
boolean canBeNullList,
boolean canBeNative)
|
boolean |
MhpTester.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2)
|
boolean |
SynchObliviousMhpAnalysis.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2)
|
boolean |
SynchObliviousMhpAnalysis.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2)
|
boolean |
MhpTester.mayHappenInParallel(SootMethod m1,
Unit u1,
SootMethod m2,
Unit u2)
|
Uses of Unit in soot.jimple.toolkits.thread.mhp.findobject |
---|
Methods in soot.jimple.toolkits.thread.mhp.findobject with parameters of type Unit | |
---|---|
protected void |
MultiRunStatementsFinder.flowThrough(BitSet in,
Unit unit,
BitSet out)
|
protected void |
MultiRunStatementsFinder.flowThrough(BitSet in,
Unit unit,
BitSet out)
|
Uses of Unit in soot.jimple.toolkits.thread.mhp.stmt |
---|
Fields in soot.jimple.toolkits.thread.mhp.stmt declared as Unit | |
---|---|
protected Unit |
JPegStmt.unit
|
protected Unit |
JPegStmt.unit
|
Methods in soot.jimple.toolkits.thread.mhp.stmt that return Unit | |
---|---|
Unit |
JPegStmt.getUnit()
|
Unit |
JPegStmt.getUnit()
|
Methods in soot.jimple.toolkits.thread.mhp.stmt with parameters of type Unit | |
---|---|
protected void |
JPegStmt.setUnit(Unit un)
|
protected void |
JPegStmt.setUnit(Unit un)
|
Uses of Unit in soot.jimple.toolkits.thread.synchronization |
---|
Methods in soot.jimple.toolkits.thread.synchronization with parameters of type Unit | |
---|---|
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
OUT is the same as (IN minus killSet) plus the genSet. |
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
OUT is the same as (IN minus killSet) plus the genSet. |
void |
LockAllocationBodyTransformer.redirectTraps(Body b,
Unit oldUnit,
Unit newUnit)
|
void |
LockAllocationBodyTransformer.redirectTraps(Body b,
Unit oldUnit,
Unit newUnit)
|
Method parameters in soot.jimple.toolkits.thread.synchronization with type arguments of type Unit | |
---|---|
InstanceFieldRef |
LockAllocationBodyTransformer.reconstruct(Body b,
PatchingChain<Unit> units,
InstanceFieldRef lock,
Stmt insertBefore,
boolean redirect)
|
InstanceFieldRef |
LockAllocationBodyTransformer.reconstruct(Body b,
PatchingChain<Unit> units,
InstanceFieldRef lock,
Stmt insertBefore,
boolean redirect)
|
Uses of Unit in soot.shimple |
---|
Methods in soot.shimple that return Unit | |
---|---|
Unit |
PiExpr.getCondStmt()
|
Unit |
PiExpr.getCondStmt()
|
Unit |
PhiExpr.getPred(int index)
Returns the control flow predecessor Unit for the given index into the PhiExpr. |
Unit |
PhiExpr.getPred(int index)
Returns the control flow predecessor Unit for the given index into the PhiExpr. |
Methods in soot.shimple that return types with arguments of type Unit | |
---|---|
List<Unit> |
PhiExpr.getPreds()
Returns a list of the control flow predecessor Units being tracked by this PhiExpr |
List<Unit> |
PhiExpr.getPreds()
Returns a list of the control flow predecessor Units being tracked by this PhiExpr |
Methods in soot.shimple with parameters of type Unit | |
---|---|
boolean |
PhiExpr.addArg(Value arg,
Unit predTailUnit)
Add the given argument associated with the given CFG predecessor. |
boolean |
PhiExpr.addArg(Value arg,
Unit predTailUnit)
Add the given argument associated with the given CFG predecessor. |
ValueUnitPair |
PhiExpr.getArgBox(Unit predTailUnit)
Returns the argument pair corresponding to the given CFG predecessor. |
ValueUnitPair |
PhiExpr.getArgBox(Unit predTailUnit)
Returns the argument pair corresponding to the given CFG predecessor. |
int |
PhiExpr.getArgIndex(Unit predTailUnit)
Returns the index of the argument associated with the given control flow predecessor Unit. |
int |
PhiExpr.getArgIndex(Unit predTailUnit)
Returns the index of the argument associated with the given control flow predecessor Unit. |
static Local |
Shimple.getLhsLocal(Unit unit)
Returns the corresponding left Local if the unit is a Shimple node, null otherwise. |
static Local |
Shimple.getLhsLocal(Unit unit)
Returns the corresponding left Local if the unit is a Shimple node, null otherwise. |
static PhiExpr |
Shimple.getPhiExpr(Unit unit)
Returns the corresponding PhiExpr if the unit is a Phi node, null otherwise. |
static PhiExpr |
Shimple.getPhiExpr(Unit unit)
Returns the corresponding PhiExpr if the unit is a Phi node, null otherwise. |
static PiExpr |
Shimple.getPiExpr(Unit unit)
|
static PiExpr |
Shimple.getPiExpr(Unit unit)
|
Value |
PhiExpr.getValue(Unit predTailUnit)
Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available. |
Value |
PhiExpr.getValue(Unit predTailUnit)
Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available. |
static boolean |
Shimple.isPhiNode(Unit unit)
Returns true if the unit is a Phi node, false otherwise. |
static boolean |
Shimple.isPhiNode(Unit unit)
Returns true if the unit is a Phi node, false otherwise. |
static boolean |
Shimple.isPiNode(Unit unit)
|
static boolean |
Shimple.isPiNode(Unit unit)
|
PiExpr |
Shimple.newPiExpr(Local local,
Unit predicate,
Object targetKey)
|
PiExpr |
Shimple.newPiExpr(Local local,
Unit predicate,
Object targetKey)
|
static void |
Shimple.redirectPointers(Unit oldLocation,
Unit newLocation)
Redirects PhiExpr pointers to the given Unit to the new Unit. |
static void |
Shimple.redirectPointers(Unit oldLocation,
Unit newLocation)
Redirects PhiExpr pointers to the given Unit to the new Unit. |
static void |
Shimple.redirectToPreds(Body body,
Unit remove)
If you are removing a Unit from a Unit chain which contains PhiExpr's, you might want to call this utility function in order to update any PhiExpr pointers to the Unit to point to the Unit's predecessor(s). |
static void |
Shimple.redirectToPreds(Body body,
Unit remove)
If you are removing a Unit from a Unit chain which contains PhiExpr's, you might want to call this utility function in order to update any PhiExpr pointers to the Unit to point to the Unit's predecessor(s). |
boolean |
PhiExpr.removeArg(Unit predTailUnit)
Remove the argument corresponding to the given CFG predecessor. |
boolean |
PhiExpr.removeArg(Unit predTailUnit)
Remove the argument corresponding to the given CFG predecessor. |
boolean |
PhiExpr.setArg(int index,
Value arg,
Unit predTailUnit)
Modify the PhiExpr argument at the given index with the given information. |
boolean |
PhiExpr.setArg(int index,
Value arg,
Unit predTailUnit)
Modify the PhiExpr argument at the given index with the given information. |
void |
PiExpr.setCondStmt(Unit cs)
|
void |
PiExpr.setCondStmt(Unit cs)
|
boolean |
PhiExpr.setPred(int index,
Unit predTailUnit)
Update the CFG predecessor associated with the PhiExpr argument at the given index. |
boolean |
PhiExpr.setPred(int index,
Unit predTailUnit)
Update the CFG predecessor associated with the PhiExpr argument at the given index. |
boolean |
PhiExpr.setValue(Unit predTailUnit,
Value arg)
Locate the argument assocatiated with the given CFG predecessor unit and set the value. |
boolean |
PhiExpr.setValue(Unit predTailUnit,
Value arg)
Locate the argument assocatiated with the given CFG predecessor unit and set the value. |
Method parameters in soot.shimple with type arguments of type Unit | |
---|---|
PhiExpr |
Shimple.newPhiExpr(List<Value> args,
List<Unit> preds)
Create a PhiExpr with the provided list of Values (Locals or Constants) and the corresponding control flow predecessor Blocks. |
PhiExpr |
Shimple.newPhiExpr(List<Value> args,
List<Unit> preds)
Create a PhiExpr with the provided list of Values (Locals or Constants) and the corresponding control flow predecessor Blocks. |
Uses of Unit in soot.shimple.internal |
---|
Fields in soot.shimple.internal with type parameters of type Unit | |
---|---|
protected Map<UnitBox,Unit> |
SPatchingChain.boxToPhiNode
Map from UnitBox to the Phi node owning it. |
protected Map<UnitBox,Unit> |
SPatchingChain.boxToPhiNode
Map from UnitBox to the Phi node owning it. |
protected Map<Unit,Block> |
PhiNodeManager.unitToBlock
|
protected Map<Unit,Block> |
PhiNodeManager.unitToBlock
|
Methods in soot.shimple.internal that return Unit | |
---|---|
Unit |
SPiExpr.getCondStmt()
|
Unit |
SPiExpr.getCondStmt()
|
Unit |
SPhiExpr.getPred(int index)
|
Unit |
SPhiExpr.getPred(int index)
|
Methods in soot.shimple.internal that return types with arguments of type Unit | |
---|---|
List<Unit> |
SPhiExpr.getPreds()
|
List<Unit> |
SPhiExpr.getPreds()
|
Map<Unit,Block> |
PhiNodeManager.getUnitToBlockMap(BlockGraph blocks)
Convenience function that maps units to blocks. |
Map<Unit,Block> |
PhiNodeManager.getUnitToBlockMap(BlockGraph blocks)
Convenience function that maps units to blocks. |
Methods in soot.shimple.internal with parameters of type Unit | |
---|---|
boolean |
SPatchingChain.add(Unit o)
|
boolean |
SPatchingChain.add(Unit o)
|
boolean |
SPhiExpr.addArg(Value arg,
Unit predTailUnit)
|
boolean |
SPhiExpr.addArg(Value arg,
Unit predTailUnit)
|
void |
SPatchingChain.addFirst(Unit u)
|
void |
SPatchingChain.addFirst(Unit u)
|
void |
SPatchingChain.addLast(Unit u)
|
void |
SPatchingChain.addLast(Unit u)
|
boolean |
PhiNodeManager.dominates(Unit champ,
Unit challenger)
Returns true if champ dominates challenger. |
boolean |
PhiNodeManager.dominates(Unit champ,
Unit challenger)
Returns true if champ dominates challenger. |
ValueUnitPair |
SPhiExpr.getArgBox(Unit predTailUnit)
|
ValueUnitPair |
SPhiExpr.getArgBox(Unit predTailUnit)
|
int |
SPhiExpr.getArgIndex(Unit predTailUnit)
|
int |
SPhiExpr.getArgIndex(Unit predTailUnit)
|
Value |
SPhiExpr.getValue(Unit predTailUnit)
|
Value |
SPhiExpr.getValue(Unit predTailUnit)
|
void |
SPatchingChain.insertAfter(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertAfter(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertAfter(Unit toInsert,
Unit point)
|
void |
SPatchingChain.insertAfter(Unit toInsert,
Unit point)
|
void |
SPatchingChain.insertBefore(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertBefore(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertBefore(Unit toInsert,
Unit point)
|
void |
SPatchingChain.insertBefore(Unit toInsert,
Unit point)
|
Iterator |
SPatchingChain.iterator(Unit u)
|
Iterator |
SPatchingChain.iterator(Unit u)
|
Iterator |
SPatchingChain.iterator(Unit head,
Unit tail)
|
Iterator |
SPatchingChain.iterator(Unit head,
Unit tail)
|
void |
PiNodeManager.piHandleSwitchStmt(Local local,
Unit u)
|
void |
PiNodeManager.piHandleSwitchStmt(Local local,
Unit u)
|
protected void |
SPatchingChain.processPhiNode(Unit o)
|
protected void |
SPatchingChain.processPhiNode(Unit o)
|
boolean |
SPatchingChain.remove(Unit obj)
|
boolean |
SPatchingChain.remove(Unit obj)
|
boolean |
SPhiExpr.removeArg(Unit predTailUnit)
|
boolean |
SPhiExpr.removeArg(Unit predTailUnit)
|
boolean |
SPhiExpr.setArg(int index,
Value arg,
Unit predTailUnit)
|
boolean |
SPhiExpr.setArg(int index,
Value arg,
Unit predTailUnit)
|
void |
SPiExpr.setCondStmt(Unit pred)
|
void |
SPiExpr.setCondStmt(Unit pred)
|
boolean |
SPhiExpr.setPred(int index,
Unit predTailUnit)
|
boolean |
SPhiExpr.setPred(int index,
Unit predTailUnit)
|
void |
SValueUnitPair.setUnit(Unit u)
|
void |
SValueUnitPair.setUnit(Unit u)
|
boolean |
SPhiExpr.setValue(Unit predTailUnit,
Value arg)
|
boolean |
SPhiExpr.setValue(Unit predTailUnit,
Value arg)
|
void |
SPatchingChain.swapWith(Unit out,
Unit in)
|
void |
SPatchingChain.swapWith(Unit out,
Unit in)
|
Method parameters in soot.shimple.internal with type arguments of type Unit | |
---|---|
void |
SPatchingChain.insertAfter(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertAfter(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertBefore(List<Unit> toInsert,
Unit point)
|
void |
SPatchingChain.insertBefore(List<Unit> toInsert,
Unit point)
|
Constructors in soot.shimple.internal with parameters of type Unit | |
---|---|
SPiExpr(Value v,
Unit u,
Object o)
|
|
SPiExpr(Value v,
Unit u,
Object o)
|
|
SValueUnitPair(Value value,
Unit unit)
|
|
SValueUnitPair(Value value,
Unit unit)
|
Constructor parameters in soot.shimple.internal with type arguments of type Unit | |
---|---|
SPhiExpr(List<Value> args,
List<Unit> preds)
Create a Phi expression from the given list of Values and Blocks. |
|
SPhiExpr(List<Value> args,
List<Unit> preds)
Create a Phi expression from the given list of Values and Blocks. |
Uses of Unit in soot.shimple.toolkits.scalar |
---|
Methods in soot.shimple.toolkits.scalar that return types with arguments of type Unit | |
---|---|
List<Unit> |
ShimpleLocalDefs.getDefsOf(Local l)
Unconditionally returns the definition site of a local (as a singleton list). |
List<Unit> |
ShimpleLocalDefs.getDefsOf(Local l)
Unconditionally returns the definition site of a local (as a singleton list). |
List<Unit> |
ShimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition site for a Local at a certain point (Unit) in a method as a singleton list. |
List<Unit> |
ShimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition site for a Local at a certain point (Unit) in a method as a singleton list. |
Methods in soot.shimple.toolkits.scalar with parameters of type Unit | |
---|---|
List<Unit> |
ShimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition site for a Local at a certain point (Unit) in a method as a singleton list. |
List<Unit> |
ShimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition site for a Local at a certain point (Unit) in a method as a singleton list. |
List |
ShimpleLocalUses.getUsesOf(Unit unit)
If a Local is defined in the Unit, returns all the uses of that Local as a list of UnitValueBoxPairs, each containing a Unit that uses the local and the corresponding ValueBox containing the Local. |
List |
ShimpleLocalUses.getUsesOf(Unit unit)
If a Local is defined in the Unit, returns all the uses of that Local as a list of UnitValueBoxPairs, each containing a Unit that uses the local and the corresponding ValueBox containing the Local. |
Uses of Unit in soot.tagkit |
---|
Fields in soot.tagkit with type parameters of type Unit | |
---|---|
protected List<Unit> |
CodeAttribute.mUnits
|
protected List<Unit> |
CodeAttribute.mUnits
|
protected LinkedList<Unit> |
TagAggregator.units
|
protected LinkedList<Unit> |
TagAggregator.units
|
Methods in soot.tagkit with parameters of type Unit | |
---|---|
void |
FirstTagAggregator.considerTag(Tag t,
Unit u)
Decide whether this tag should be aggregated by this aggregator. |
void |
ImportantTagAggregator.considerTag(Tag t,
Unit u)
Decide whether this tag should be aggregated by this aggregator. |
void |
LineNumberTagAggregator.considerTag(Tag t,
Unit u)
|
abstract void |
TagAggregator.considerTag(Tag t,
Unit u)
Aggregate the given tag assigned to the given unit |
abstract void |
TagAggregator.considerTag(Tag t,
Unit u)
Aggregate the given tag assigned to the given unit |
void |
LineNumberTagAggregator.considerTag(Tag t,
Unit u)
|
void |
ImportantTagAggregator.considerTag(Tag t,
Unit u)
Decide whether this tag should be aggregated by this aggregator. |
void |
FirstTagAggregator.considerTag(Tag t,
Unit u)
Decide whether this tag should be aggregated by this aggregator. |
Constructor parameters in soot.tagkit with type arguments of type Unit | |
---|---|
CodeAttribute(String name,
List<Unit> units,
List<Tag> tags)
Create an attribute object with the name and lists of unit-tag pairs. |
|
CodeAttribute(String name,
List<Unit> units,
List<Tag> tags)
Create an attribute object with the name and lists of unit-tag pairs. |
Uses of Unit in soot.toolkits.exceptions |
---|
Methods in soot.toolkits.exceptions with parameters of type Unit | |
---|---|
abstract ThrowableSet |
AbstractThrowAnalysis.mightThrow(Unit u)
|
ThrowableSet |
PedanticThrowAnalysis.mightThrow(Unit u)
Returns the set of all Throwable s as the set
of types that the specified unit might throw, regardless of the
unit's identity. |
ThrowableSet |
ThrowAnalysis.mightThrow(Unit u)
Returns a set representing the Throwable types that
the specified unit might throw. |
ThrowableSet |
UnitThrowAnalysis.mightThrow(Unit u)
|
ThrowableSet |
UnitThrowAnalysis.mightThrow(Unit u)
|
ThrowableSet |
ThrowAnalysis.mightThrow(Unit u)
Returns a set representing the Throwable types that
the specified unit might throw. |
ThrowableSet |
PedanticThrowAnalysis.mightThrow(Unit u)
Returns the set of all Throwable s as the set
of types that the specified unit might throw, regardless of the
unit's identity. |
abstract ThrowableSet |
AbstractThrowAnalysis.mightThrow(Unit u)
|
protected boolean |
TrapTightener.mightThrowTo(ExceptionalUnitGraph g,
Unit u,
Trap t)
A utility routine which determines if a particular Unit
might throw an exception to a particular Trap , according to
the information supplied by a particular control flow graph. |
protected boolean |
TrapTightener.mightThrowTo(ExceptionalUnitGraph g,
Unit u,
Trap t)
A utility routine which determines if a particular Unit
might throw an exception to a particular Trap , according to
the information supplied by a particular control flow graph. |
Uses of Unit in soot.toolkits.graph |
---|
Fields in soot.toolkits.graph with type parameters of type Unit | |
---|---|
protected List<Unit> |
UnitGraph.heads
|
protected List<Unit> |
UnitGraph.heads
|
protected Chain<Unit> |
BlockGraph.mUnits
|
protected Chain<Unit> |
BlockGraph.mUnits
|
protected List<Unit> |
UnitGraph.tails
|
protected List<Unit> |
UnitGraph.tails
|
protected Chain<Unit> |
UnitGraph.unitChain
|
protected Chain<Unit> |
UnitGraph.unitChain
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToExceptionalSuccs
|
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.unitToExceptionDests
|
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.unitToExceptionDests
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToPreds
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToPreds
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToPreds
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToPreds
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToSuccs
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToSuccs
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToSuccs
|
protected Map<Unit,List<Unit>> |
UnitGraph.unitToSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalPreds
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalSuccs
|
protected Map<Unit,List<Unit>> |
ExceptionalUnitGraph.unitToUnexceptionalSuccs
|
Methods in soot.toolkits.graph that return Unit | |
---|---|
Unit |
ExceptionalUnitGraph.ExceptionDest.getHandlerNode()
|
Unit |
ExceptionalUnitGraph.ExceptionDest.getHandlerNode()
|
Unit |
Block.getHead()
Returns the first unit in this block. |
Unit |
Block.getHead()
Returns the first unit in this block. |
Unit |
Block.getPredOf(Unit aItem)
Returns the Unit occuring immediatly before some other Unit in the block. |
Unit |
Block.getPredOf(Unit aItem)
Returns the Unit occuring immediatly before some other Unit in the block. |
Unit |
Block.getSuccOf(Unit aItem)
Returns the Unit occuring immediatly after some other Unit in the block. |
Unit |
Block.getSuccOf(Unit aItem)
Returns the Unit occuring immediatly after some other Unit in the block. |
Unit |
Block.getTail()
Returns the last unit in this block. |
Unit |
Block.getTail()
Returns the last unit in this block. |
Methods in soot.toolkits.graph that return types with arguments of type Unit | |
---|---|
protected Map<Unit,Block> |
BlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph unitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Map<Unit,Block> |
ExceptionalBlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph uncastUnitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Map<Unit,Block> |
ExceptionalBlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph uncastUnitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Map<Unit,Block> |
BlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph unitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis throwAnalysis)
Utility method used in the construction of UnitGraph
variants which include exceptional control flow. |
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis throwAnalysis)
Utility method used in the construction of UnitGraph
variants which include exceptional control flow. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Set<Unit> |
ArrayRefBlockGraph.computeLeaders(UnitGraph unitGraph)
Utility method for computing the basic block leaders for a Body , given its UnitGraph (i.e., the
instructions which begin new basic blocks). |
protected Set<Unit> |
BlockGraph.computeLeaders(UnitGraph unitGraph)
Utility method for computing the basic block leaders for a Body , given its UnitGraph (i.e., the
instructions which begin new basic blocks). |
protected Set<Unit> |
ZonedBlockGraph.computeLeaders(UnitGraph unitGraph)
Utility method for computing the basic block leaders for a Body , given its UnitGraph (i.e., the
instructions which begin new basic blocks). |
protected Set<Unit> |
ZonedBlockGraph.computeLeaders(UnitGraph unitGraph)
Utility method for computing the basic block leaders for a Body , given its UnitGraph (i.e., the
instructions which begin new basic blocks). |
protected Set<Unit> |
BlockGraph.computeLeaders(UnitGraph unitGraph)
Utility method for computing the basic block leaders for a Body , given its UnitGraph (i.e., the
instructions which begin new basic blocks). |
protected Set<Unit> |
ArrayRefBlockGraph.computeLeaders(UnitGraph unitGraph)
Utility method for computing the basic block leaders for a Body , given its UnitGraph (i.e., the
instructions which begin new basic blocks). |
List<Unit> |
ExceptionalUnitGraph.getExceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getExceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getExceptionalSuccsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getExceptionalSuccsOf(Unit u)
|
List<Unit> |
UnitGraph.getExtendedBasicBlockPathBetween(Unit from,
Unit to)
Look for a path in graph, from def to use. |
List<Unit> |
UnitGraph.getExtendedBasicBlockPathBetween(Unit from,
Unit to)
Look for a path in graph, from def to use. |
List<Unit> |
UnitGraph.getHeads()
|
List<Unit> |
UnitGraph.getHeads()
|
List<Unit> |
UnitGraph.getPredsOf(Unit u)
|
List<Unit> |
UnitGraph.getPredsOf(Unit u)
|
List<Unit> |
UnitGraph.getSuccsOf(Unit u)
|
List<Unit> |
UnitGraph.getSuccsOf(Unit u)
|
List<Unit> |
UnitGraph.getTails()
|
List<Unit> |
UnitGraph.getTails()
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalSuccsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalSuccsOf(Unit u)
|
Iterator<Unit> |
Block.iterator()
Returns an iterator for the linear chain of Units that make up the block. |
Iterator<Unit> |
UnitGraph.iterator()
|
Iterator<Unit> |
UnitGraph.iterator()
|
Iterator<Unit> |
Block.iterator()
Returns an iterator for the linear chain of Units that make up the block. |
Methods in soot.toolkits.graph with parameters of type Unit | |
---|---|
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
List<Unit> |
ExceptionalUnitGraph.getExceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getExceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getExceptionalSuccsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getExceptionalSuccsOf(Unit u)
|
Collection<ExceptionalUnitGraph.ExceptionDest> |
ExceptionalUnitGraph.getExceptionDests(Unit u)
Returns a collection of ExceptionDest
objects which represent how exceptions thrown by a specified
unit will be handled. |
Collection<ExceptionalUnitGraph.ExceptionDest> |
ExceptionalUnitGraph.getExceptionDests(Unit u)
Returns a collection of ExceptionDest
objects which represent how exceptions thrown by a specified
unit will be handled. |
List<Unit> |
UnitGraph.getExtendedBasicBlockPathBetween(Unit from,
Unit to)
Look for a path in graph, from def to use. |
List<Unit> |
UnitGraph.getExtendedBasicBlockPathBetween(Unit from,
Unit to)
Look for a path in graph, from def to use. |
Unit |
Block.getPredOf(Unit aItem)
Returns the Unit occuring immediatly before some other Unit in the block. |
Unit |
Block.getPredOf(Unit aItem)
Returns the Unit occuring immediatly before some other Unit in the block. |
List<Unit> |
UnitGraph.getPredsOf(Unit u)
|
List<Unit> |
UnitGraph.getPredsOf(Unit u)
|
Unit |
Block.getSuccOf(Unit aItem)
Returns the Unit occuring immediatly after some other Unit in the block. |
Unit |
Block.getSuccOf(Unit aItem)
Returns the Unit occuring immediatly after some other Unit in the block. |
List<Unit> |
UnitGraph.getSuccsOf(Unit u)
|
List<Unit> |
UnitGraph.getSuccsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalPredsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalSuccsOf(Unit u)
|
List<Unit> |
ExceptionalUnitGraph.getUnexceptionalSuccsOf(Unit u)
|
void |
Block.insertAfter(Unit toInsert,
Unit point)
Inserts a Unit after some other Unit in the Block. |
void |
Block.insertAfter(Unit toInsert,
Unit point)
Inserts a Unit after some other Unit in the Block. |
void |
Block.insertBefore(Unit toInsert,
Unit point)
Inserts a Unit before some other Unit in this block. |
void |
Block.insertBefore(Unit toInsert,
Unit point)
Inserts a Unit before some other Unit in this block. |
boolean |
Block.remove(Unit item)
Removes a Unit occuring before some other Unit in the Block. |
boolean |
Block.remove(Unit item)
Removes a Unit occuring before some other Unit in the Block. |
Method parameters in soot.toolkits.graph with type arguments of type Unit | |
---|---|
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected void |
UnitGraph.addEdge(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
protected Map<Unit,Block> |
BlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph unitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Map<Unit,Block> |
ExceptionalBlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph uncastUnitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Map<Unit,Block> |
ExceptionalBlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph uncastUnitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Map<Unit,Block> |
BlockGraph.buildBlocks(Set<Unit> leaders,
UnitGraph unitGraph)
A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates the heads and tails of the graph. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected void |
UnitGraph.buildUnexceptionalEdges(Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds)
Utility method for UnitGraph constructors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected Map<Unit,List<Unit>> |
UnitGraph.combineMapValues(Map<Unit,List<Unit>> mapA,
Map<Unit,List<Unit>> mapB)
Utility method that produces a new map from the Unit s
of this graph's body to the union of the values stored in the
two argument Map s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors. |
protected static void |
UnitGraph.makeMappedListsUnmodifiable(Map<?,List<Unit>> map)
Utility method that replaces the values of a Map ,
which must be instances of List , with unmodifiable
equivalents. |
protected static void |
UnitGraph.makeMappedListsUnmodifiable(Map<?,List<Unit>> map)
Utility method that replaces the values of a Map ,
which must be instances of List , with unmodifiable
equivalents. |
Constructors in soot.toolkits.graph with parameters of type Unit | |
---|---|
Block(Unit aHead,
Unit aTail,
Body aBody,
int aIndexInMethod,
int aBlockLength,
BlockGraph aBlockGraph)
Constructs a Block in the context of a BlockGraph, and enclosing Body instances. |
|
Block(Unit aHead,
Unit aTail,
Body aBody,
int aIndexInMethod,
int aBlockLength,
BlockGraph aBlockGraph)
Constructs a Block in the context of a BlockGraph, and enclosing Body instances. |
Uses of Unit in soot.toolkits.graph.pdg |
---|
Fields in soot.toolkits.graph.pdg with type parameters of type Unit | |
---|---|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.handler2header
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.handler2header
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.handler2header
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.handler2header
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.try2nop
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.try2nop
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.try2nop
|
protected Hashtable<Unit,Unit> |
EnhancedUnitGraph.try2nop
|
Methods in soot.toolkits.graph.pdg that return Unit | |
---|---|
Unit |
IRegion.getFirst()
|
Unit |
PDGRegion.getFirst()
|
Unit |
Region.getFirst()
|
Unit |
Region.getFirst()
|
Unit |
PDGRegion.getFirst()
|
Unit |
IRegion.getFirst()
|
Unit |
IRegion.getLast()
|
Unit |
PDGRegion.getLast()
|
Unit |
Region.getLast()
|
Unit |
Region.getLast()
|
Unit |
PDGRegion.getLast()
|
Unit |
IRegion.getLast()
|
Methods in soot.toolkits.graph.pdg that return types with arguments of type Unit | |
---|---|
Hashtable<Unit,Region> |
RegionAnalysis.getUnit2RegionMap()
|
Hashtable<Unit,Region> |
RegionAnalysis.getUnit2RegionMap()
|
List<Unit> |
IRegion.getUnits()
|
List<Unit> |
PDGRegion.getUnits()
|
List<Unit> |
Region.getUnits()
|
List<Unit> |
Region.getUnits()
|
List<Unit> |
PDGRegion.getUnits()
|
List<Unit> |
IRegion.getUnits()
|
List<Unit> |
IRegion.getUnits(Unit from,
Unit to)
|
List<Unit> |
PDGRegion.getUnits(Unit from,
Unit to)
|
List<Unit> |
Region.getUnits(Unit from,
Unit to)
|
List<Unit> |
Region.getUnits(Unit from,
Unit to)
|
List<Unit> |
PDGRegion.getUnits(Unit from,
Unit to)
|
List<Unit> |
IRegion.getUnits(Unit from,
Unit to)
|
Methods in soot.toolkits.graph.pdg with parameters of type Unit | |
---|---|
List<Unit> |
IRegion.getUnits(Unit from,
Unit to)
|
List<Unit> |
PDGRegion.getUnits(Unit from,
Unit to)
|
List<Unit> |
Region.getUnits(Unit from,
Unit to)
|
List<Unit> |
Region.getUnits(Unit from,
Unit to)
|
List<Unit> |
PDGRegion.getUnits(Unit from,
Unit to)
|
List<Unit> |
IRegion.getUnits(Unit from,
Unit to)
|
boolean |
IRegion.occursBefore(Unit u1,
Unit u2)
|
boolean |
PDGRegion.occursBefore(Unit u1,
Unit u2)
|
boolean |
Region.occursBefore(Unit u1,
Unit u2)
|
boolean |
Region.occursBefore(Unit u1,
Unit u2)
|
boolean |
PDGRegion.occursBefore(Unit u1,
Unit u2)
|
boolean |
IRegion.occursBefore(Unit u1,
Unit u2)
|
PDGNode |
PDGRegion.unit2PDGNode(Unit u)
|
PDGNode |
PDGRegion.unit2PDGNode(Unit u)
|
Uses of Unit in soot.toolkits.scalar |
---|
Classes in soot.toolkits.scalar with type parameters of type Unit | |
---|---|
class |
BranchedFlowAnalysis<N extends Unit,A>
Abstract class providing functionality for branched flow analysis. |
class |
BranchedFlowAnalysis<N extends Unit,A>
Abstract class providing functionality for branched flow analysis. |
Fields in soot.toolkits.scalar declared as Unit | |
---|---|
Unit |
UnitValueBoxPair.unit
|
protected Unit |
ValueUnitPair.unit
|
protected Unit |
ValueUnitPair.unit
|
Unit |
UnitValueBoxPair.unit
|
Fields in soot.toolkits.scalar with type parameters of type Unit | |
---|---|
protected Map<Unit,ArrayList<A>> |
BranchedFlowAnalysis.unitToAfterBranchFlow
|
protected Map<Unit,ArrayList<A>> |
BranchedFlowAnalysis.unitToAfterBranchFlow
|
protected Map<Unit,ArrayList<A>> |
BranchedFlowAnalysis.unitToAfterFallFlow
Maps graph nodes to OUT sets. |
protected Map<Unit,ArrayList<A>> |
BranchedFlowAnalysis.unitToAfterFallFlow
Maps graph nodes to OUT sets. |
protected Map<Unit,List> |
GuaranteedDefs.unitToGuaranteedDefs
|
protected Map<Unit,List> |
GuaranteedDefs.unitToGuaranteedDefs
|
Methods in soot.toolkits.scalar that return Unit | |
---|---|
Unit |
LocalUnitPair.getUnit()
|
Unit |
UnitValueBoxPair.getUnit()
|
Unit |
ValueUnitPair.getUnit()
|
Unit |
ValueUnitPair.getUnit()
|
Unit |
UnitValueBoxPair.getUnit()
|
Unit |
LocalUnitPair.getUnit()
|
Methods in soot.toolkits.scalar that return types with arguments of type Unit | |
---|---|
List<Unit> |
CombinedDUAnalysis.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
LocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition sites for a Local at a certain point (Unit) in a method. |
List<Unit> |
SimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
SmartLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
SmartLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
SimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
LocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition sites for a Local at a certain point (Unit) in a method. |
List<Unit> |
CombinedDUAnalysis.getDefsOfAt(Local l,
Unit s)
|
Methods in soot.toolkits.scalar with parameters of type Unit | |
---|---|
boolean |
ValueUnitPair.canContainUnit(Unit u)
|
boolean |
ValueUnitPair.canContainUnit(Unit u)
|
protected abstract void |
BranchedFlowAnalysis.flowThrough(A in,
Unit s,
List<A> fallOut,
List<A> branchOuts)
Given the merge of the in sets,
compute the fallOut and branchOuts
set for s . |
protected abstract void |
BranchedFlowAnalysis.flowThrough(A in,
Unit s,
List<A> fallOut,
List<A> branchOuts)
Given the merge of the in sets,
compute the fallOut and branchOuts
set for s . |
List<A> |
BranchedFlowAnalysis.getBranchFlowAfter(Unit s)
|
List<A> |
BranchedFlowAnalysis.getBranchFlowAfter(Unit s)
|
List<Unit> |
CombinedDUAnalysis.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
LocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition sites for a Local at a certain point (Unit) in a method. |
List<Unit> |
SimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
SmartLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
SmartLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
SimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
|
List<Unit> |
LocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition sites for a Local at a certain point (Unit) in a method. |
List<Unit> |
CombinedDUAnalysis.getDefsOfAt(Local l,
Unit s)
|
A |
BranchedFlowAnalysis.getFallFlowAfter(Unit s)
|
A |
BranchedFlowAnalysis.getFallFlowAfter(Unit s)
|
A |
BranchedFlowAnalysis.getFlowBefore(Unit s)
|
A |
BranchedFlowAnalysis.getFlowBefore(Unit s)
|
List |
GuaranteedDefs.getGuaranteedDefs(Unit s)
Returns a list of locals guaranteed to be defined at (just before) program point s. |
List |
GuaranteedDefs.getGuaranteedDefs(Unit s)
Returns a list of locals guaranteed to be defined at (just before) program point s. |
List |
CombinedDUAnalysis.getLiveLocalsAfter(Unit u)
|
List |
LiveLocals.getLiveLocalsAfter(Unit s)
Returns the list of Locals that are live after the specified Unit. |
List |
SimpleLiveLocals.getLiveLocalsAfter(Unit s)
|
List |
SimpleLiveLocals.getLiveLocalsAfter(Unit s)
|
List |
LiveLocals.getLiveLocalsAfter(Unit s)
Returns the list of Locals that are live after the specified Unit. |
List |
CombinedDUAnalysis.getLiveLocalsAfter(Unit u)
|
List |
CombinedDUAnalysis.getLiveLocalsBefore(Unit u)
|
List |
LiveLocals.getLiveLocalsBefore(Unit s)
Returns the list of Locals that are live before the specified Unit. |
List |
SimpleLiveLocals.getLiveLocalsBefore(Unit s)
|
List |
SimpleLiveLocals.getLiveLocalsBefore(Unit s)
|
List |
LiveLocals.getLiveLocalsBefore(Unit s)
Returns the list of Locals that are live before the specified Unit. |
List |
CombinedDUAnalysis.getLiveLocalsBefore(Unit u)
|
List |
CombinedDUAnalysis.getUsesOf(Unit u)
|
List |
LocalUses.getUsesOf(Unit s)
Returns a list of the Units that use the Local that is defined by a given Unit. |
List |
SimpleLocalUses.getUsesOf(Unit s)
Uses for a Local defined at a given Unit are returned as a list of UnitValueBoxPairs each containing a Unit that use the local and the Local itself wrapped in a ValueBox. |
List |
SimpleLocalUses.getUsesOf(Unit s)
Uses for a Local defined at a given Unit are returned as a list of UnitValueBoxPairs each containing a Unit that use the local and the Local itself wrapped in a ValueBox. |
List |
LocalUses.getUsesOf(Unit s)
Returns a list of the Units that use the Local that is defined by a given Unit. |
List |
CombinedDUAnalysis.getUsesOf(Unit u)
|
boolean |
SimpleLocalDefs.hasDefsAt(Local l,
Unit s)
|
boolean |
SimpleLocalDefs.hasDefsAt(Local l,
Unit s)
|
void |
ValueUnitPair.setUnit(Unit unit)
|
void |
ValueUnitPair.setUnit(Unit unit)
|
Constructors in soot.toolkits.scalar with parameters of type Unit | |
---|---|
LocalUnitPair(Local local,
Unit unit)
Constructs a LocalUnitPair from a Unit object and a Local object. |
|
LocalUnitPair(Local local,
Unit unit)
Constructs a LocalUnitPair from a Unit object and a Local object. |
|
UnitValueBoxPair(Unit unit,
ValueBox valueBox)
Constructs a UnitValueBoxPair form a Unit object and a ValueBox object. |
|
UnitValueBoxPair(Unit unit,
ValueBox valueBox)
Constructs a UnitValueBoxPair form a Unit object and a ValueBox object. |
|
ValueUnitPair(Value value,
Unit unit)
Constructs a ValueUnitPair from a Unit object and a Value object. |
|
ValueUnitPair(Value value,
Unit unit)
Constructs a ValueUnitPair from a Unit object and a Value object. |
Uses of Unit in soot.util |
---|
Methods in soot.util with parameters of type Unit | |
---|---|
protected abstract Object |
UnitMap.mapTo(Unit unit)
maps a unit to an object. |
protected abstract Object |
UnitMap.mapTo(Unit unit)
maps a unit to an object. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |