|
|||||||||||
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.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.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.scalar | A number of scalar optimizations, and the flow analysis framework. |
soot.util | Generally useful utility classes for Soot. |
Uses of Unit in soot |
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 Unit |
AbstractUnitBox.unit
|
Methods in soot that return Unit | |
Unit |
AbstractTrap.getBeginUnit()
|
Unit |
AbstractTrap.getEndUnit()
|
Unit |
AbstractTrap.getHandlerUnit()
|
Unit |
AbstractUnitBox.getUnit()
|
Unit |
Trap.getBeginUnit()
Returns the first trapped unit, 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 |
Trap.getHandlerUnit()
Returns the unit handling the exception being trapped. |
Unit |
UnitBox.getUnit()
Returns the unit contained within this box. |
Methods in soot with parameters of type Unit | |
void |
AbstractTrap.setBeginUnit(Unit beginUnit)
|
void |
AbstractTrap.setEndUnit(Unit endUnit)
|
void |
AbstractTrap.setHandlerUnit(Unit handlerUnit)
|
void |
AbstractUnit.redirectJumpsToThisTo(Unit newLocation)
|
abstract boolean |
AbstractUnitBox.canContainUnit(Unit u)
|
void |
AbstractUnitBox.setUnit(Unit unit)
|
void |
AbstractUnitPrinter.startUnit(Unit u)
|
void |
AbstractUnitPrinter.endUnit(Unit u)
|
abstract void |
AbstractUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
void |
AttributesUnitPrinter.startUnit(Unit u)
|
void |
AttributesUnitPrinter.endUnit(Unit u)
|
void |
BriefUnitPrinter.startUnit(Unit u)
|
void |
LabeledUnitPrinter.unitRef(Unit u,
boolean branchTarget)
|
boolean |
SideEffectTester.unitCanReadFrom(Unit u,
Value v)
|
boolean |
SideEffectTester.unitCanWriteTo(Unit u,
Value v)
|
void |
Trap.setBeginUnit(Unit beginUnit)
Sets the value to be returned by Trap.getBeginUnit() to
beginUnit . |
void |
Trap.setEndUnit(Unit endUnit)
Sets the value to be returned by Trap.getEndUnit() to
endUnit . |
void |
Trap.setHandlerUnit(Unit handlerUnit)
Sets the unit handling the exception to handlerUnit . |
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 List |
TrapManager.getTrapsAt(Unit unit,
Body b)
Returns the list of traps caught at Unit u in Body b. |
static void |
TrapManager.splitTrapsAgainst(Body b,
Unit rangeStart,
Unit rangeEnd)
Splits all traps so that they do not cross the range rangeStart - rangeEnd. |
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. |
void |
Unit.redirectJumpsToThisTo(Unit newLocation)
Redirects jumps to this Unit to newLocation. |
void |
UnitBox.setUnit(Unit u)
Sets this box to contain the given unit. |
boolean |
UnitBox.canContainUnit(Unit u)
Returns true if this box can contain the given Unit. |
void |
UnitPrinter.startUnit(Unit u)
|
void |
UnitPrinter.endUnit(Unit u)
|
void |
UnitPrinter.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 |
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 |
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 |
LookupSwitchInst.getTarget(int index)
|
Unit |
PlaceholderInst.getSource()
|
Unit |
TableSwitchInst.getDefaultTarget()
|
Unit |
TableSwitchInst.getTarget(int index)
|
Unit |
TargetArgInst.getTarget()
|
Methods in soot.baf with parameters of type Unit | |
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. |
GotoInst |
Baf.newGotoInst(Unit unit)
|
PlaceholderInst |
Baf.newPlaceholderInst(Unit source)
|
UnitBox |
Baf.newInstBox(Unit unit)
|
IfCmpEqInst |
Baf.newIfCmpEqInst(Type opType,
Unit unit)
|
IfCmpGeInst |
Baf.newIfCmpGeInst(Type opType,
Unit unit)
|
IfCmpGtInst |
Baf.newIfCmpGtInst(Type opType,
Unit unit)
|
IfCmpLeInst |
Baf.newIfCmpLeInst(Type opType,
Unit unit)
|
IfCmpLtInst |
Baf.newIfCmpLtInst(Type opType,
Unit unit)
|
IfCmpNeInst |
Baf.newIfCmpNeInst(Type opType,
Unit unit)
|
IfEqInst |
Baf.newIfEqInst(Unit unit)
|
IfGeInst |
Baf.newIfGeInst(Unit unit)
|
IfGtInst |
Baf.newIfGtInst(Unit unit)
|
IfLeInst |
Baf.newIfLeInst(Unit unit)
|
IfLtInst |
Baf.newIfLtInst(Unit unit)
|
IfNeInst |
Baf.newIfNeInst(Unit unit)
|
IfNullInst |
Baf.newIfNullInst(Unit unit)
|
IfNonNullInst |
Baf.newIfNonNullInst(Unit unit)
|
LookupSwitchInst |
Baf.newLookupSwitchInst(Unit defaultTarget,
List lookupValues,
List targets)
|
TableSwitchInst |
Baf.newTableSwitchInst(Unit defaultTarget,
int lowIndex,
int highIndex,
List targets)
|
void |
LookupSwitchInst.setDefaultTarget(Unit defTarget)
|
void |
LookupSwitchInst.setTarget(int index,
Unit target)
|
void |
TableSwitchInst.setDefaultTarget(Unit defTarget)
|
void |
TableSwitchInst.setTarget(int index,
Unit target)
|
void |
TargetArgInst.setTarget(Unit target)
|
Uses of Unit in soot.baf.internal |
Methods in soot.baf.internal that return Unit | |
Unit |
AbstractBranchInst.getTarget()
|
Unit |
BLookupSwitchInst.getDefaultTarget()
|
Unit |
BLookupSwitchInst.getTarget(int index)
|
Unit |
BTableSwitchInst.getDefaultTarget()
|
Unit |
BTableSwitchInst.getTarget(int index)
|
Methods in soot.baf.internal with parameters of type Unit | |
void |
AbstractBranchInst.setTarget(Unit target)
|
void |
BLookupSwitchInst.setDefaultTarget(Unit defaultTarget)
|
void |
BLookupSwitchInst.setTarget(int index,
Unit target)
|
void |
BTableSwitchInst.setDefaultTarget(Unit defaultTarget)
|
void |
BTableSwitchInst.setTarget(int index,
Unit target)
|
Constructors in soot.baf.internal with parameters of type Unit | |
BGotoInst(Unit target)
|
|
BIfCmpEqInst(Type opType,
Unit target)
|
|
BIfCmpGeInst(Type opType,
Unit target)
|
|
BIfCmpGtInst(Type opType,
Unit target)
|
|
BIfCmpLeInst(Type opType,
Unit target)
|
|
BIfCmpLtInst(Type opType,
Unit target)
|
|
BIfCmpNeInst(Type opType,
Unit target)
|
|
BIfEqInst(Unit target)
|
|
BIfGeInst(Unit target)
|
|
BIfGtInst(Unit target)
|
|
BIfLeInst(Unit target)
|
|
BIfLtInst(Unit target)
|
|
BIfNeInst(Unit target)
|
|
BIfNonNullInst(Unit target)
|
|
BIfNullInst(Unit target)
|
|
BLookupSwitchInst(Unit defaultTarget,
List lookupValues,
List targets)
|
|
BTableSwitchInst(Unit defaultTarget,
int lowIndex,
int highIndex,
List targets)
|
|
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()
|
Methods in soot.dava with parameters of type Unit | |
void |
DavaBody.set_ConstructorUnit(Unit s)
|
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 |
DDecrementStmt
|
class |
DIdentityStmt
|
class |
DIncrementStmt
|
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. |
IfStmt |
Grimp.newIfStmt(Value condition,
Unit target)
Constructs a IfStmt(Condition, 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. |
LookupSwitchStmt |
Grimp.newLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a LookupSwitchStmt(Expr, List of Expr, 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. |
UnitBox |
Grimp.newStmtBox(Unit unit)
|
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)
|
|
GLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
|
|
GTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
|
|
GTrap(SootClass exception,
Unit beginStmt,
Unit endStmt,
Unit handlerStmt)
|
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 |
GotoStmt.getTarget()
|
Unit |
JimpleToBafContext.getCurrentUnit()
|
Unit |
LookupSwitchStmt.getDefaultTarget()
|
Unit |
LookupSwitchStmt.getTarget(int index)
|
Unit |
PlaceholderStmt.getSource()
|
Unit |
TableSwitchStmt.getDefaultTarget()
|
Unit |
TableSwitchStmt.getTarget(int index)
|
Methods in soot.jimple with parameters of type Unit | |
void |
GotoStmt.setTarget(Unit target)
|
void |
IfStmt.setTarget(Unit target)
|
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. |
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. |
LookupSwitchStmt |
Jimple.newLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a LookupSwitchStmt(Immediate, List of Immediate, 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. |
UnitBox |
Jimple.newStmtBox(Unit unit)
|
void |
JimpleToBafContext.setCurrentUnit(Unit u)
|
void |
LookupSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
LookupSwitchStmt.setTarget(int index,
Unit target)
|
void |
LookupSwitchStmt.setTargets(Unit[] targets)
|
boolean |
NaiveSideEffectTester.unitCanReadFrom(Unit u,
Value v)
Returns true if the unit can read from v. |
boolean |
NaiveSideEffectTester.unitCanWriteTo(Unit u,
Value v)
|
void |
TableSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
TableSwitchStmt.setTarget(int index,
Unit target)
|
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 |
JGotoStmt.getTarget()
|
Unit |
JLookupSwitchStmt.getDefaultTarget()
|
Unit |
JLookupSwitchStmt.getTarget(int index)
|
Unit |
JTableSwitchStmt.getDefaultTarget()
|
Unit |
JTableSwitchStmt.getTarget(int index)
|
Methods in soot.jimple.internal with parameters of type Unit | |
void |
JGotoStmt.setTarget(Unit target)
|
void |
JIfStmt.setTarget(Unit target)
|
void |
JLookupSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
JLookupSwitchStmt.setTarget(int index,
Unit target)
|
void |
JLookupSwitchStmt.setTargets(Unit[] targets)
|
void |
JTableSwitchStmt.setDefaultTarget(Unit defaultTarget)
|
void |
JTableSwitchStmt.setTarget(int index,
Unit target)
|
boolean |
StmtBox.canContainUnit(Unit u)
|
Constructors in soot.jimple.internal with parameters of type Unit | |
JGotoStmt(Unit target)
|
|
JIfStmt(Value condition,
Unit target)
|
|
JLookupSwitchStmt(Value key,
List lookupValues,
List targets,
Unit defaultTarget)
Constructs a new JLookupSwitchStmt. |
|
JTableSwitchStmt(Value key,
int lowIndex,
int highIndex,
List targets,
Unit defaultTarget)
|
|
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)
|
Uses of Unit in soot.jimple.toolkits.annotation.nullcheck |
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type Unit | |
protected void |
BranchedRefVarsAnalysis.flowThrough(Object inValue,
Unit stmt,
List outFallValue,
List outBranchValues)
|
List |
LocalRefVarsAnalysisWrapper.getVarsBefore(Unit s)
|
List |
LocalRefVarsAnalysisWrapper.getVarsAfterFall(Unit s)
|
List |
LocalRefVarsAnalysisWrapper.getListsOfVarsAfterBranch(Unit s)
|
List |
LocalRefVarsAnalysisWrapper.getVarsNeedCheck(Unit s)
|
List |
LocalRefVarsAnalysisWrapper.getVarsDontNeedCheck(Unit 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)
|
Uses of Unit in soot.jimple.toolkits.base |
Methods in soot.jimple.toolkits.base with parameters of type Unit | |
Zone |
Zonation.getZoneOf(Unit u)
|
Uses of Unit in soot.jimple.toolkits.callgraph |
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()
|
Methods in soot.jimple.toolkits.callgraph with parameters of type Unit | |
Iterator |
CallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit. |
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.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ContextManager.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. |
void |
ObjSensContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
void |
OneCFAContextManager.addStaticEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind)
|
void |
OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src,
Unit srcUnit,
SootMethod target,
Kind kind,
Context typeContext)
|
Iterator |
SlowCallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit. |
Iterator |
TransitiveTargets.iterator(Unit u)
|
Constructors in soot.jimple.toolkits.callgraph with parameters of type Unit | |
Edge(MethodOrMethodContext src,
Unit srcUnit,
MethodOrMethodContext tgt,
Kind kind)
|
Uses of Unit in soot.jimple.toolkits.pointer |
Methods in soot.jimple.toolkits.pointer with parameters of type Unit | |
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 RWSet |
PASideEffectTester.readSet(Unit u)
|
protected RWSet |
PASideEffectTester.writeSet(Unit u)
|
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. |
Uses of Unit in soot.jimple.toolkits.scalar |
Methods in soot.jimple.toolkits.scalar with parameters of type Unit | |
List |
AvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
AvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the UnitValueBox pairs 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 |
AvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u. |
List |
FastAvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
Chain |
FastAvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
List |
FastAvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the EquivalentValue corresponding to expressions available after u. |
Chain |
FastAvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
List |
SlowAvailableExpressions.getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
List |
SlowAvailableExpressions.getAvailablePairsAfter(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available after u. |
Chain |
SlowAvailableExpressions.getAvailableEquivsBefore(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u. |
Chain |
SlowAvailableExpressions.getAvailableEquivsAfter(Unit u)
Returns a Chain containing the EquivalentValue objects corresponding to expressions available after 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.rhs(Unit unit)
filters out the RHS of an assignmentStmt. |
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.noInvokeRhs(Unit unit)
filters out RHS that aren't invokes. |
Uses of Unit in soot.shimple |
Methods in soot.shimple that return Unit | |
Unit |
PhiExpr.getPred(int index)
Returns the control flow predecessor Unit for the given index into the PhiExpr. |
Unit |
PiExpr.getCondStmt()
|
Methods in soot.shimple with parameters of type Unit | |
int |
PhiExpr.getArgIndex(Unit predTailUnit)
Returns the index of the argument associated with the given control flow predecessor Unit. |
ValueUnitPair |
PhiExpr.getArgBox(Unit predTailUnit)
Returns the argument pair corresponding to the given CFG predecessor. |
Value |
PhiExpr.getValue(Unit predTailUnit)
Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available. |
boolean |
PhiExpr.setArg(int index,
Value arg,
Unit predTailUnit)
Modify the PhiExpr argument at the given index with the given information. |
boolean |
PhiExpr.setValue(Unit predTailUnit,
Value arg)
Locate the argument assocatiated with the given CFG predecessor unit and set the value. |
boolean |
PhiExpr.setPred(int index,
Unit predTailUnit)
Update the CFG predecessor associated with the PhiExpr argument at the given index. |
boolean |
PhiExpr.removeArg(Unit predTailUnit)
Remove the argument corresponding to the given CFG predecessor. |
boolean |
PhiExpr.addArg(Value arg,
Unit predTailUnit)
Add the given argument associated with the given CFG predecessor. |
void |
PiExpr.setCondStmt(Unit cs)
|
PiExpr |
Shimple.newPiExpr(Local local,
Unit predicate,
Object targetKey)
|
static boolean |
Shimple.isPhiNode(Unit unit)
Returns true if the unit is a Phi node, false otherwise. |
static PhiExpr |
Shimple.getPhiExpr(Unit unit)
Returns the corresponding PhiExpr if the unit is a Phi node, null otherwise. |
static boolean |
Shimple.isPiNode(Unit unit)
|
static PiExpr |
Shimple.getPiExpr(Unit unit)
|
static Local |
Shimple.getLhsLocal(Unit unit)
Returns the corresponding left Local if the unit is a Shimple node, null otherwise. |
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.redirectPointers(Unit oldLocation,
Unit newLocation)
Redirects PhiExpr pointers to the given Unit to the new Unit. |
Uses of Unit in soot.shimple.internal |
Methods in soot.shimple.internal that return Unit | |
Unit |
SPhiExpr.getPred(int index)
|
Unit |
SPiExpr.getCondStmt()
|
Methods in soot.shimple.internal with parameters of type Unit | |
boolean |
PhiNodeManager.dominates(Unit champ,
Unit challenger)
Returns true if champ dominates challenger. |
void |
PiNodeManager.piHandleSwitchStmt(Local local,
Unit u)
|
int |
SPhiExpr.getArgIndex(Unit predTailUnit)
|
ValueUnitPair |
SPhiExpr.getArgBox(Unit predTailUnit)
|
Value |
SPhiExpr.getValue(Unit predTailUnit)
|
boolean |
SPhiExpr.setArg(int index,
Value arg,
Unit predTailUnit)
|
boolean |
SPhiExpr.setValue(Unit predTailUnit,
Value arg)
|
boolean |
SPhiExpr.setPred(int index,
Unit predTailUnit)
|
boolean |
SPhiExpr.removeArg(Unit predTailUnit)
|
boolean |
SPhiExpr.addArg(Value arg,
Unit predTailUnit)
|
void |
SPiExpr.setCondStmt(Unit pred)
|
void |
SValueUnitPair.setUnit(Unit u)
|
Constructors in soot.shimple.internal with parameters of type Unit | |
SPiExpr(Value v,
Unit u,
Object o)
|
|
SValueUnitPair(Value value,
Unit unit)
|
Uses of Unit in soot.shimple.toolkits.scalar |
Methods in soot.shimple.toolkits.scalar with parameters of type Unit | |
List |
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. |
Uses of Unit in soot.tagkit |
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 |
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. |
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. |
ThrowableSet |
UnitThrowAnalysis.mightThrow(Unit u)
|
Uses of Unit in soot.toolkits.graph |
Methods in soot.toolkits.graph that return Unit | |
Unit |
Block.getSuccOf(Unit aItem)
Returns the Unit occuring immediatly after 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.getHead()
Returns the first unit in this block. |
Unit |
Block.getTail()
Returns the last unit in this block. |
Methods in soot.toolkits.graph with parameters of type Unit | |
void |
Block.insertBefore(Unit toInsert,
Unit point)
Inserts a Unit before some other Unit in this block. |
void |
Block.insertAfter(Unit toInsert,
Unit point)
Inserts a Unit after some other Unit in the Block. |
boolean |
Block.remove(Unit item)
Removes a Unit occuring 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.getPredOf(Unit aItem)
Returns the Unit occuring immediatly before some other Unit in the block. |
protected void |
UnitGraph.addEdge(Map unitToSuccs,
Map unitToPreds,
Unit head,
Unit tail)
Utility method for adding an edge to maps representing the CFG. |
List |
UnitGraph.getExtendedBasicBlockPathBetween(Unit from,
Unit to)
Look for a path in graph, from def to use. |
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. |
Uses of Unit in soot.toolkits.scalar |
Fields in soot.toolkits.scalar declared as Unit | |
Unit |
UnitValueBoxPair.unit
|
protected Unit |
ValueUnitPair.unit
|
Methods in soot.toolkits.scalar that return Unit | |
Unit |
UnitValueBoxPair.getUnit()
|
Unit |
ValueUnitPair.getUnit()
|
Methods in soot.toolkits.scalar with parameters of type Unit | |
protected abstract void |
BranchedFlowAnalysis.flowThrough(Object in,
Unit s,
List fallOut,
List branchOuts)
Given the merge of the in sets,
compute the fallOut and branchOuts
set for s . |
Object |
BranchedFlowAnalysis.getFallFlowAfter(Unit s)
|
List |
BranchedFlowAnalysis.getBranchFlowAfter(Unit s)
|
Object |
BranchedFlowAnalysis.getFlowBefore(Unit s)
|
List |
CombinedDUAnalysis.getDefsOfAt(Local l,
Unit s)
|
List |
CombinedDUAnalysis.getUsesOf(Unit u)
|
List |
CombinedDUAnalysis.getLiveLocalsBefore(Unit u)
|
List |
CombinedDUAnalysis.getLiveLocalsAfter(Unit u)
|
List |
GuaranteedDefs.getGuaranteedDefs(Unit s)
Returns a list of locals guaranteed to be defined at (just before) program point s. |
List |
LiveLocals.getLiveLocalsBefore(Unit s)
Returns the list of Locals that are live before the specified Unit. |
List |
LiveLocals.getLiveLocalsAfter(Unit s)
Returns the list of Locals that are live after the specified Unit. |
List |
LocalDefs.getDefsOfAt(Local l,
Unit s)
Returns the definition sites for a Local at a certain point (Unit) in a method. |
List |
LocalUses.getUsesOf(Unit s)
Returns a list of the Units that use the Local that is defined by a given Unit. |
List |
SimpleLiveLocals.getLiveLocalsAfter(Unit s)
|
List |
SimpleLiveLocals.getLiveLocalsBefore(Unit s)
|
boolean |
SimpleLocalDefs.hasDefsAt(Local l,
Unit s)
|
List |
SimpleLocalDefs.getDefsOfAt(Local l,
Unit s)
|
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 |
SmartLocalDefs.getDefsOfAt(Local l,
Unit s)
|
void |
ValueUnitPair.setUnit(Unit unit)
|
boolean |
ValueUnitPair.canContainUnit(Unit u)
|
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. |
|
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. |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |