|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
DirectedGraph.
DirectedGraph.
ThrowAnalysis
interface which may be common to multiple concrete
ThrowAnalysis classes.ThrowAnalysis
interface which may be common to multiple concrete
ThrowAnalysis classes.ThrowableSet which contains
e in addition to the exceptions in
this ThrowableSet.
ThrowableSet which contains
e and all of its subclasses as well as the
exceptions in this set.
ThrowableSet which contains
all the exceptions in s in addition to those in
this ThrowableSet.
ThrowableSet which contains
e in addition to the exceptions in
this ThrowableSet.
ThrowableSet which contains
e and all of its subclasses as well as the
exceptions in this set.
ThrowableSet which contains
all the exceptions in s in addition to those in
this ThrowableSet.
obj to this.
this union obj into dest.
obj to this.
this union obj into dest.
o into the map.
o into the map.
t to this host
t to this host
ClassLoader that loads specified classes from a
different class path than that given by the value of
java.class.path in System.getProperties().ClassLoader that loads specified classes from a
different class path than that given by the value of
java.class.path in System.getProperties().AltClassLoader for inclusion in Soot's
global variable manager, G.
AltClassLoader for inclusion in Soot's
global variable manager, G.
Block instances, and where
Units which include array references start new blocks.Block instances, and where
Units which include array references start new blocks.ArrayRefBlockGraph from the given
Body.
BriefUnitGraph.
ArrayRefBlockGraph from the given
Body.
BriefUnitGraph.
unitBody.
unitBody.
IdentityHashSet that only holds two objects.IdentityHashSet that only holds two objects.Body at the basic
block level.Body at the basic
block level.BlockGraph representing at the basic block
level the control flow specified, at the Unit level,
by a given UnitGraph.
BlockGraph representing at the basic block
level the control flow specified, at the Unit level,
by a given UnitGraph.
NullnessAnalysis INSTEAD!NullnessAnalysis INSTEAD!NullnessAnalysis INSTEAD!
NullnessAnalysis INSTEAD!
Body where the nodes are Blocks and edges are derived from control flow.Body where the nodes are Blocks and edges are derived from control flow.BriefBlockGraph from a given Body.
BriefBlockGraph representing the
Unit-level control flow represented by the passed
BriefUnitGraph.
BriefBlockGraph from a given Body.
BriefBlockGraph representing the
Unit-level control flow represented by the passed
BriefUnitGraph.
UnitGraph
variants which include exceptional control flow.
UnitGraph
variants which include exceptional control flow.
UnitGraph.buildHeadsAndTails()
with a method which always throws an exception.
UnitGraph.buildHeadsAndTails()
with a method which always throws an exception.
UnitGraphs, to be
called only after the unitToPreds and unitToSuccs maps have
been built.
UnitGraphs, to be
called only after the unitToPreds and unitToSuccs maps have
been built.
EquivalentValue with cached hash code and equals-relation.EquivalentValue with cached hash code and equals-relation.catcher.
catcher.
CFGOptionMatcher.CFGOptionMatcher.DotGraph visualization
of a control flow graph.DotGraph visualization
of a control flow graph.Blocks and the
edges are derived from control flow.Blocks and the
edges are derived from control flow.Body instance into basic blocks.
ClassicCompleteUnitGraph.
Body instance into basic blocks.
ClassicCompleteUnitGraph.
Unit instances, and where edges are a conservative
indication of unexceptional and exceptional control
flow.Unit instances, and where edges are a conservative
indication of unexceptional and exceptional control
flow.Class.newInstance().
Class.newInstance().
BitSet.
BitSet.
Units
of this graph's body to the union of the values stored in the
two argument Maps, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors.
Units
of this graph's body to the union of the values stored in the
two argument Maps, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors.
this.
dest.
this.
dest.
Body instance where the nodes
are Block instances, and where control flow associated with
exceptions is taken into account.Body instance where the nodes
are Block instances, and where control flow associated with
exceptions is taken into account.Body instance where the nodes
are Unit instances, and where control flow
associated with exceptions is taken into account.Body instance where the nodes
are Unit instances, and where control flow
associated with exceptions is taken into account.Body, given its UnitGraph (i.e., the
instructions which begin new basic blocks).
Body, given its UnitGraph (i.e., the
instructions which begin new basic blocks).
Body, given its UnitGraph (i.e., the
instructions which begin new basic blocks).
Body, given its UnitGraph (i.e., the
instructions which begin new basic blocks).
Body, given its UnitGraph (i.e., the
instructions which begin new basic blocks).
Body, given its UnitGraph (i.e., the
instructions which begin new basic blocks).
HashSet instead, if you require this operation.
HashSet instead, if you require this operation.
obj.
obj.
o has already been mapped.
o has already been mapped.
Kind.REFL_CONSTR_NEWINSTANCE to all possible target constructors
of this call to Constructor.newInstance(Object...).
Kind.REFL_CONSTR_NEWINSTANCE to all possible target constructors
of this call to Constructor.newInstance(Object...).
out.
out.
source flow object in dest.
source flow object in dest.
source flow object in dest.
source flow object in dest.
source flow object in dest.
source flow object in dest.
dg and the Earliest-computation earliest.equivRhsMap is only here to avoid doing these things
again...
dg and the Earliest-computation earliest.equivRhsMap is only here to avoid doing these things
again...dg and the Earliest-computation earliest.equivRhsMap is only here to avoid doing these things
again...
dg and the Earliest-computation earliest.equivRhsMap is only here to avoid doing these things
again...other, putting result into this.
other, putting result into dest.
other, putting result into this.
other, putting result into dest.
MHGDominatorsFinder insteadMHGDominatorsFinder insteadtrue, compute full points-to set for queried
variable
true, compute full points-to set for queried
variable
DotGraph whose nodes and edges depict
a control flow graph without distinguished
exceptional edges.
DotGraph whose nodes and edges depict the
control flow in a ExceptionalGraph, with
distinguished edges for exceptional control flow.
DotGraph whose nodes and edges depict
a control flow graph without distinguished
exceptional edges.
DotGraph whose nodes and edges depict the
control flow in a ExceptionalGraph, with
distinguished edges for exceptional control flow.
DotGraph representation of the
control flow in this type of graph.
DotGraph representation of the
control flow in this type of graph.
PhaseDumper that a Body
transforming phase has ended, so that it can dump the
phases's “after” file.
PhaseDumper that a Scene
transforming phase has ended, so that it can dump the
phases's “after” files.
PhaseDumper that a Body
transforming phase has ended, so that it can dump the
phases's “after” file.
PhaseDumper that a Scene
transforming phase has ended, so that it can dump the
phases's “after” files.
PhaseDumper that a Body
transforming phase has started, so that it can dump the
phases's “before” file.
PhaseDumper that a Scene
transforming phase has started, so that it can dump the
phases's “before” files.
PhaseDumper that a Body
transforming phase has started, so that it can dump the
phases's “before” file.
PhaseDumper that a Scene
transforming phase has started, so that it can dump the
phases's “before” files.
PhaseDumper to dump the passed DirectedGraph if the current phase is being dumped.
PhaseDumper to dump the passed ExceptionalGraph if the current phase is being dumped.
PhaseDumper to dump the passed DirectedGraph if the current phase is being dumped.
PhaseDumper to dump the passed ExceptionalGraph if the current phase is being dumped.
ThrowableSet containing no exception classes.
ThrowableSet containing no exception classes.
BitSet.
BitSet.
((FlowSet)clone()).clear()
((FlowSet)clone()).clear()
target is legal from
code in container.
target is legal from code in container.
target is legal from
code in container.
target is legal from code in container.
UNKNOWN (top).
UNKNOWN (top).
Objects are
ThrowableSet.Pairs representing the same set of
caught and uncaught exception types.
Objects are
ThrowableSet.Pairs representing the same set of
caught and uncaught exception types.
v, using
equals
v, using
equals
v, using
equivTo
v, using
equivTo
\\unnnn) in the
input and de-escapes them.\\unnnn) in the
input and de-escapes them.\\unnnn) in the
input and substitutes their escaped representation.\\unnnn) in the
input and substitutes their escaped representation.Blocks and the
edges are derived from control flow.Blocks and the
edges are derived from control flow.ExceptionalBlockGraph for the
blocks found by partitioning the the units of the provided
Body instance into basic blocks.
Units in an ExceptionalUnitGraph.
ExceptionalBlockGraph for the
blocks found by partitioning the the units of the provided
Body instance into basic blocks.
Units in an ExceptionalUnitGraph.
Trap will catch some subset of the exceptions
which may be thrown by a given graph node.Trap will catch some subset of the exceptions
which may be thrown by a given graph node.Body instance
where the nodes are Unit instances, and where control flow
associated with exceptions is taken into account.Body instance
where the nodes are Unit instances, and where control flow
associated with exceptions is taken into account.ThrowAnalysis and omitExceptingUnitEdges
value that are passed as parameters.
ThrowAnalysis and a default value, provided by
the Options class, for the
omitExceptingUnitEdges parameter.
Scene's default ThrowAnalysis to estimate the
set of exceptions that each Unit might throw and a
default value, provided by the Options class, for the
omitExceptingUnitEdges parameter.
ExceptionalUnitGraph object
without initializing it.
ThrowAnalysis and omitExceptingUnitEdges
value that are passed as parameters.
ThrowAnalysis and a default value, provided by
the Options class, for the
omitExceptingUnitEdges parameter.
Scene's default ThrowAnalysis to estimate the
set of exceptions that each Unit might throw and a
default value, provided by the Options class, for the
omitExceptingUnitEdges parameter.
ExceptionalUnitGraph object
without initializing it.
Collection
satisfies the given Predicate.
Collection
satisfies the given Predicate.
Collection
satisfies the given Predicate.
Collection
satisfies the given Predicate.
DirectedGraph.
DirectedGraph.
in sets,
compute the fallOut and branchOuts
set for s.
in sets,
compute the fallOut and branchOuts
set for s.
out sets, compute the in set for s (or in to out, depending on direction).
out sets, compute the in set for s (or in to out, depending on direction).
in sets,
compute the fallOut and branchOuts
set for s.
in sets,
compute the fallOut and branchOuts
set for s.
out sets, compute the in set for s (or in to out, depending on direction).
out sets, compute the in set for s (or in to out, depending on direction).
a follows object b in the Chain.
a follows object b in the Chain.
someObject follows object someReferenceObject in the Chain.
someObject follows object someReferenceObject in the Chain.
Collection
satisfy the given Predicate.
Collection
satisfy the given Predicate.
Collection
satisfies the given Predicate.
Collection
satisfies the given Predicate.
Trap
does not trap any units at all.
Trap
does not trap any units at all.
Trap.getBeginUnit().
Trap.getBeginUnit().
Body this BlockGraph is derived from.
Body this BlockGraph is derived from.
Body from which this graph was built.
Body from which this graph was built.
JimpleBody into the
corresponding Body in this intermediate
representation.
JimpleBody into the
corresponding Body in this intermediate
representation.
op if it is easy
to find the constant value; else returns null.
op if it is easy
to find the constant value; else returns null.
op if it is easy to
find the constant value; else returns null.
op if it is easy to
find the constant value; else returns null.
SootMethod.
SootMethod.
this.
this.
ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow.
ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow.
Chain), unless this Trap does not trap
any units at all.
Chain), unless this Trap does not trap
any units at all.
Trap.getEndUnit().
Trap.getEndUnit().
'\\unnnn'.
'\\unnnn'.
ExceptionDest
objects which represent how exceptions thrown by a specified
node will be handled.
ExceptionDest
objects which represent how exceptions thrown by a specified
node will be handled.
ExceptionDest
objects which represent how exceptions thrown by a specified
unit will be handled.
ExceptionDest
objects which represent how exceptions thrown by a specified
unit will be handled.
node.
node.
node.
node.
CFGGraphType identified by the
passed name.
CFGGraphType identified by the
passed name.
trap().getBeginUnit()).
trap().getBeginUnit()).
o.
o.
CFGIntermediateRep identified by the
passed name.
CFGIntermediateRep identified by the
passed name.
i.
i.
RefType for Object.
RefType for Object.
point.
point.
point.
point.
HashMutableDirectedGraph.getPredsOf(Object) but returns a set.
HashMutableDirectedGraph.getPredsOf(Object) but returns a set.
point.
point.
point.
point.
HashMutableDirectedGraph.getSuccsOf(Object) but returns a set.
HashMutableDirectedGraph.getSuccsOf(Object) but returns a set.
aName
aName
\\unnnn
representation for any escaped characters in the string.
\\unnnn
representation for any escaped characters in the string.
\\unnnn
representation for ch.
\\unnnn
representation for ch.
true if this loop has a single exit statement.
true if this loop has a single exit statement.
aName
aName
CFGGraphTypes, separated by
'|' characters.
CFGGraphTypes, separated by
'|' characters.
CFGIntermediateReps, separated by
'|' characters.
CFGIntermediateReps, separated by
'|' characters.
CFGOptionMatcher, separated by
'|' characters.
CFGOptionMatcher, separated by
'|' characters.
ExceptionalUnitGraph, factored out of the
constructors so that subclasses have the option to delay
creating the graph's edges until after they have performed
some subclass-specific initialization.
ExceptionalUnitGraph, factored out of the
constructors so that subclasses have the option to delay
creating the graph's edges until after they have performed
some subclass-specific initialization.
inlinee into the container
at the point toInline.
inlinee into the container
at the point toInline.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain after point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point.
toInsert in the Chain before point WITHOUT redirecting jumps.
toInsert in the Chain before point WITHOUT redirecting jumps.
null if there is no such key associated or UNKNOWN if
the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
null if there is no such key associated or UNKNOWN if
the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
null if there is no such key associated or UNKNOWN if
the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
null if there is no such key associated or UNKNOWN if
the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
NopStmts from the passed body (which must be
a JimpleBody).
NopStmts from the passed body (which must be
a JimpleBody).
other, putting
result into dest.
other, putting
result into dest.
other,
putting result into this.
other,
putting result into dest.
other,
putting result into this.
other,
putting result into dest.
target is legal from code in container.
stmt contains an illegal access to a field or method,
assuming the statement is in method container
target is legal from code in container.
stmt contains an illegal access to a field or method,
assuming the statement is in method container
true if the analysis could determine that i is always non-null
before the statement s.
true if the analysis could determine that i is always non-null
before the statement s.
true if the analysis could determine that i is always null
before the statement s.
true if the analysis could determine that i is always null
before the statement s.
true if the analysis could determine that i is always treated as non-null
after and including the statement s.
true if the analysis could determine that i is always treated as non-null
after and including the statement s.
true if the analysis could determine that i is always treated as null
after and including the statement s.
true if the analysis could determine that i is always treated as null
after and including the statement s.
SootClass object declares this SootMethod object.
SootClass object declares this SootMethod object.
val is an invoke.
val is an invoke.
val is a Local.
val is a Local.
SootMethod object is phantom.
SootMethod object is phantom.
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
head to
tail, inclusive.
head to
tail, inclusive.
IInitialResolver for the JastAdd frontend.IInitialResolver for the JastAdd frontend.equivRhsMap could be calculated on the fly, but it is
very likely that it already exists (as similar maps are used for
calculating Earliestness, Delayed,...equivRhsMap could be calculated on the fly, but it is
very likely that it already exists (as similar maps are used for
calculating Earliestness, Delayed,...setAltClasses(), from the
regular system classpath otherwise.
setAltClasses(), from the
regular system classpath otherwise.
null if val is null.
null if val is null.
newLocal(type) will be called, the given prefix is
used.
newLocal(type) will be called, the given prefix is
used.
LocalMustAliasAnalysis tracking local variables.
LocalMustAliasAnalysis.
LocalMustAliasAnalysis tracking local variables.
LocalMustAliasAnalysis.
BranchedRefVarsAnalysis and seems of no use
for Soot so marked for future deletion, unless clients objectBranchedRefVarsAnalysis and seems of no use
for Soot so marked for future deletion, unless clients objectLoopFinder.
LoopFinder.
true if this loop certainly loops forever, i.e.
true if this loop certainly loops forever, i.e.
Map,
which must be instances of List, with unmodifiable
equivalents.
Map,
which must be instances of List, with unmodifiable
equivalents.
CFGOptionMatcher
looking for one whose name begins with the passed string
(ignoring the case of letters in the string).
CFGOptionMatcher
looking for one whose name begins with the passed string
(ignoring the case of letters in the string).
in1 and in2 sets, putting the result into out.
in1 and in2 sets, putting the result into out.
in1 and in2 sets, putting the result into out.
in1 and in2 sets, putting the result into out.
in1 and in2 sets, putting the result into out.
in1 and in2 sets, putting the result into out.
Kind.REFL_INVOKE to all possible target methods
of this call to Method.invoke(Object, Object...).
Kind.REFL_INVOKE to all possible target methods
of this call to Method.invoke(Object, Object...).
Throwables as the set
of types that the specified unit might throw, regardless of the
unit's identity.
Throwables as the set
of types that the specified unit might throw, regardless of the
unit's identity.
Throwable types that
the specified unit might throw.
Throwable types that
the specified unit might throw.
Throwable types that
the specified throw instruction might throw explicitly, that is,
the possible types for its Throwable argument.
Throwable types that
the specified throw statement might throw explicitly, that is,
the possible types for its Throwable argument.
Throwable types that
the specified throw instruction might throw explicitly, that is,
the possible types for its Throwable argument.
Throwable types that
the specified throw statement might throw explicitly, that is,
the possible types for its Throwable argument.
Throwables as the set
of types that a throw instruction may throw implicitly,
that is, the possible types of errors which might arise in
the course of executing the throw instruction, rather
than the type of the throw's operand.
Throwables as the set
of types that a throw statement may throw implicitly,
that is, the possible types of errors which might arise in
the course of executing the throw statement, rather
than the type of the throw's operand.
Throwables as the set
of types that a throw instruction may throw implicitly,
that is, the possible types of errors which might arise in
the course of executing the throw instruction, rather
than the type of the throw's operand.
Throwables as the set
of types that a throw statement may throw implicitly,
that is, the possible types of errors which might arise in
the course of executing the throw statement, rather
than the type of the throw's operand.
Throwable types that
the specified throw instruction might throw implicitly, that is,
the possible types of errors which might arise in the course
of executing the throw instruction, rather than
the type of the throw's operand.
Throwable types that
the specified throw statement might throw implicitly, that is,
the possible types of errors which might arise in the course
of executing the throw statement, rather than
the type of the throw's operand.
Throwable types that
the specified throw instruction might throw implicitly, that is,
the possible types of errors which might arise in the course
of executing the throw instruction, rather than
the type of the throw's operand.
Throwable types that
the specified throw statement might throw implicitly, that is,
the possible types of errors which might arise in the course
of executing the throw statement, rather than
the type of the throw's operand.
Unit
might throw an exception to a particular Trap, according to
the information supplied by a particular control flow graph.
Unit
might throw an exception to a particular Trap, according to
the information supplied by a particular control flow graph.
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
null if val is null.
null if val is null.
null if val is null.
null if val is null.
dg using the Latest-computation latest.equivRhsMap is only here to avoid doing these things
again...
dg using the Latest-computation latest.equivRhsMap is only here to avoid doing these things
again...dg using the Latest-computation latest.equivRhsMap is only here to avoid doing these things
again...
dg using the Latest-computation latest.equivRhsMap is only here to avoid doing these things
again...Value to
any of the constants BOTTOM, NON_NULL, NULL or TOP.Value to
any of the constants BOTTOM, NON_NULL, NULL or TOP.Value to
any of the constants BOTTOM, NON_NULL, NULL or TOP.Value to
any of the constants BOTTOM, NON_NULL, NULL or TOP.PAG.PAG.ParameterRef objects are used by Body
objects to refer to the parameter slots on method entry.ParameterRef objects are used by Body
objects to refer to the parameter slots on method entry.ThrowAnalysis that says that every unit can throw every
possible exception type.ThrowAnalysis that says that every unit can throw every
possible exception type.PedanticThrowAnalysis for inclusion in
Soot's global variable manager, G.
PedanticThrowAnalysis for inclusion in
Soot's global variable manager, G.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
true if and only if other holds the same alloc nodes as this.
PointsToSet supporting the EqualsSupportingPointsToSet interface.PointsToSet supporting the EqualsSupportingPointsToSet interface.true.true.MHGPostDominatorsFinder insteadMHGPostDominatorsFinder insteadObjects.Objects.PseudoTopologicalOrderer.PseudoTopologicalOrderer() instead
PseudoTopologicalOrderer.PseudoTopologicalOrderer() instead
key to value.
key to value.
BranchedRefVarsAnalysis; flagged
for future deletionBranchedRefVarsAnalysis; flagged
for future deletionobj from this.
this minus obj into dest.
obj from this.
this minus obj into dest.
String
String
aName
aName
String.
String.
PseudoTopologicalOrderer.newList(DirectedGraph, boolean) insteadPseudoTopologicalOrderer.newList(DirectedGraph, boolean) insteadPseudoTopologicalOrderer.newList(DirectedGraph, boolean) instead
PseudoTopologicalOrderer.newList(DirectedGraph, boolean) instead
AltClassLoader
should load from the alternate classpath instead of the
regular classpath.
AltClassLoader
should load from the alternate classpath instead of the
regular classpath.
Trap.getBeginUnit() to
beginUnit.
Trap.getBeginUnit() to
beginUnit.
ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow.
ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow.
Trap.getEndUnit() to
endUnit.
Trap.getEndUnit() to
endUnit.
exception.
exception.
handlerUnit.
handlerUnit.
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
#newList(DirectedGraph, boolean)) instead
String for printing
String representation of a Throwable.
String for printing
String representation of a Throwable.
StronglyConnectedComponentsFast insteadStronglyConnectedComponentsFast insteadout in the Chain by in.
out in the Chain by in.
out in the Chain by in.
out in the Chain by in.
Object satisfies this Predicate
Object satisfies this Predicate
G and Singletons classes).G and Singletons classes).ThrowableSet.Manager for inclusion in
Soot's global variable manager, G.
ThrowableSet.Manager for inclusion in
Soot's global variable manager, G.
ThrowableSet.whichCatchableAs(RefType),
consisting of a pair of ThrowableSets.ThrowableSet.whichCatchableAs(RefType),
consisting of a pair of ThrowableSets.ThrowableSet.Pair.
ThrowableSet.Pair.
Units might throw.Units might throw.e.
e.
ThrowableSet, suitable for human consumption.
ThrowableSet, suitable for human consumption.
ThrowableSet,
used to identify a set when it appears in a collection.
ThrowableSet,
used to identify a set when it appears in a collection.
ThrowableSet.
ThrowableSet.
BodyTransformer that shrinks the protected area covered
by each Trap in the Body so that it begins at the first of
the Body's Units which might throw an exception caught by
the Trap and ends just after the last Unit which might
throw an exception caught by the Trap.BodyTransformer that shrinks the protected area covered
by each Trap in the Body so that it begins at the first of
the Body's Units which might throw an exception caught by
the Trap and ends just after the last Unit which might
throw an exception caught by the Trap.Body instance where the nodes are
Unit instances, and where, in additional to unexceptional
control flow edges, edges are added from every trapped Unit to the Trap's handler Unit, regardless
of whether the trapped Units may actually throw the
exception caught by the Trap.Body instance where the nodes are
Unit instances, and where, in additional to unexceptional
control flow edges, edges are added from every trapped Unit to the Trap's handler Unit, regardless
of whether the trapped Units may actually throw the
exception caught by the Trap.entryInitialFlow()
is applied to trap handlers.
entryInitialFlow()
is applied to trap handlers.
int, java.lang.String.int, java.lang.String.TypeResolver insteadTypeResolver insteadother, putting
result into this.
other, putting
result into this.
other, putting
result into this.
other, putting
result into dest.
other, putting
result into this.
other, putting
result into dest.
Unit instances and
edges represent unexceptional and (possibly) exceptional control
flow between Units.Unit instances and
edges represent unexceptional and (possibly) exceptional control
flow between Units.mapTo.mapTo.mapTo.init is called.mapTo.init is called.mapTo.init is called.initialCapacity.
mapTo.init is called.initialCapacity.
mapTo.init is called.initialCapacity and
loadFactor.
mapTo.init is called.initialCapacity and
loadFactor.
mapTo.init is called.mapTo.init is called.mapTo.init is called.initialCapacity.
mapTo.init is called.initialCapacity.
mapTo.init is called.initialCapacity and
loadFactor.
mapTo.init is called.initialCapacity and
loadFactor.
ThrowAnalysis which returns the set of runtime exceptions
and errors that might be thrown by the bytecode instructions
represented by a unit, as indicated by the Java Virtual Machine
specification.ThrowAnalysis which returns the set of runtime exceptions
and errors that might be thrown by the bytecode instructions
represented by a unit, as indicated by the Java Virtual Machine
specification.UnitThrowAnalysis for inclusion in
Soot's global variable manager, G.
UnitThrowAnalysis for inclusion in
Soot's global variable manager, G.
unitBody, attempting to not
split locals assigned the same name in the original Jimple.
unitBody, attempting to not
split locals assigned the same name in the original Jimple.
SynchObliviousMhpAnalysis. Use that instead!SynchObliviousMhpAnalysis. Use that instead!PedanticThrowAnalysis.
PedanticThrowAnalysis.
ThrowableSet.Manager.
ThrowableSet.Manager.
UnitThrowAnalysis.
UnitThrowAnalysis.
AltClassLoader, which
loads classes from the classpath set by the most recent call to
its AltClassLoader.setAltClassPath(java.lang.String).
AltClassLoader, which
loads classes from the classpath set by the most recent call to
its AltClassLoader.setAltClassPath(java.lang.String).
PhaseDumper.
PhaseDumper.
ThrowableSet
into those which would be caught by a handler with the passed
catch parameter type and those which would not.
ThrowableSet
into those which would be caught by a handler with the passed
catch parameter type and those which would not.
Block instances, and where
exception boundaries are taken into account when finding the
Blocks for the provided Body.Block instances, and where
exception boundaries are taken into account when finding the
Blocks for the provided Body.Body.
BriefUnitGraph.
Body.
BriefUnitGraph.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||