|
||||||||||
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
Unit
s which include array references start new blocks.Block
instances, and where
Unit
s 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 Block
s and edges are derived from control flow.Body
where the nodes are Block
s 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.
UnitGraph
s, to be
called only after the unitToPreds and unitToSuccs maps have
been built.
UnitGraph
s, 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.Block
s and the
edges are derived from control flow.Block
s 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
.
Unit
s
of this graph's body to the union of the values stored in the
two argument Map
s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors.
Unit
s
of this graph's body to the union of the values stored in the
two argument Map
s, used to combine the maps of
exceptional and unexceptional predecessors and successors into
maps of all predecessors and successors.
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).
Object
s are
ThrowableSet.Pair
s representing the same set of
caught and uncaught exception types.
Object
s are
ThrowableSet.Pair
s 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.Block
s and the
edges are derived from control flow.Block
s 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.
Unit
s in an ExceptionalUnitGraph
.
ExceptionalBlockGraph
for the
blocks found by partitioning the the units of the provided
Body
instance into basic blocks.
Unit
s 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
CFGGraphType
s, separated by
'|' characters.
CFGGraphType
s, separated by
'|' characters.
CFGIntermediateRep
s, separated by
'|' characters.
CFGIntermediateRep
s, separated by
'|' characters.
CFGOptionMatcher
, separated by
'|' characters.
CFGOptionMatcher
, separated by
'|' characters.
CONSTANT_Methodref_info
or CONSTANT_InterfaceMethodref_info
.CONSTANT_Methodref_info
or CONSTANT_InterfaceMethodref_info
.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
.
NopStmt
s from the passed body (which must be
a JimpleBody
).
NopStmt
s 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...)
.
Throwable
s as the set
of types that the specified unit might throw, regardless of the
unit's identity.
Throwable
s 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.
Throwable
s 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.
Throwable
s 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
s 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.
Throwable
s 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
insteadObject
s.Object
s.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
.
Unit
s might throw.Unit
s 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 Unit
s 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 Unit
s 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 Unit
s 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 Unit
s 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 |