Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.spark.geom.dataRep | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver | |
soot.jimple.toolkits.annotation.purity | |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.ide.icfg | |
soot.jimple.toolkits.infoflow | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
soot.jimple.toolkits.thread.mhp.pegcallgraph | |
soot.jimple.toolkits.thread.synchronization | |
soot.shimple |
Public classes for the SSA Shimple intermediate representation.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
CHATransformer
Builds an invoke graph using Class Hierarchy Analysis.
|
ContextSensitiveCallGraph
Represents a context-sensitive call graph for querying by client analyses.
|
ReachableMethods
Keeps track of the methods transitively reachable from the specified
entry points through the given call graph edges.
|
VirtualCalls
Resolves virtual calls.
|
Class and Description |
---|
Edge
Represents a single edge in a call graph.
|
Class and Description |
---|
Edge
Represents a single edge in a call graph.
|
Class and Description |
---|
Edge
Represents a single edge in a call graph.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
OnFlyCallGraphBuilder
Models the call graph.
|
ReachableMethods
Keeps track of the methods transitively reachable from the specified
entry points through the given call graph edges.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
CHATransformer
Builds an invoke graph using Class Hierarchy Analysis.
|
ConstantArrayAnalysis.ArrayState |
ConstantArrayAnalysis.ArrayTypes |
ContextManager
Interface for context managers, which decide how edges should be added to
a context-sensitive call graph.
|
Edge
Represents a single edge in a call graph.
|
EdgePredicate
An interface for predicates on edges, used to specify which edges
should or shouldn't be included as part of a particular subgraph.
|
Filter
Represents a subset of the edges in a call graph satisfying an EdgePredicate
predicate.
|
OnFlyCallGraphBuilder.DefaultReflectionModel |
ReachableMethods
Keeps track of the methods transitively reachable from the specified
entry points through the given call graph edges.
|
ReflectionModel |
VirtualCalls
Resolves virtual calls.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Filter
Represents a subset of the edges in a call graph satisfying an EdgePredicate
predicate.
|
Class and Description |
---|
Edge
Represents a single edge in a call graph.
|
ReachableMethods
Keeps track of the methods transitively reachable from the specified
entry points through the given call graph edges.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Filter
Represents a subset of the edges in a call graph satisfying an EdgePredicate
predicate.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Edge
Represents a single edge in a call graph.
|
EdgePredicate
An interface for predicates on edges, used to specify which edges
should or shouldn't be included as part of a particular subgraph.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|
Edge
Represents a single edge in a call graph.
|
EdgePredicate
An interface for predicates on edges, used to specify which edges
should or shouldn't be included as part of a particular subgraph.
|
Class and Description |
---|
CallGraph
Represents the edges in a call graph.
|