|
||||||||||
| 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)
|