Package | Description |
---|---|
soot.dava | |
soot.dava.internal.javaRep | |
soot.dava.toolkits.base.AST | |
soot.dava.toolkits.base.AST.analysis | |
soot.dava.toolkits.base.AST.structuredAnalysis | |
soot.dava.toolkits.base.AST.transformations | |
soot.dava.toolkits.base.AST.traversals | |
soot.dava.toolkits.base.renamer | |
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.toolkits.ide.exampleproblems |
Modifier and Type | Method and Description |
---|---|
void |
StaticDefinitionFinder.inDefinitionStmt(DefinitionStmt s) |
void |
StaticDefinitionFinder.inDefinitionStmt(DefinitionStmt s) |
Modifier and Type | Class and Description |
---|---|
class |
DAssignStmt |
class |
DDecrementStmt |
class |
DIdentityStmt |
class |
DIncrementStmt |
class |
DShortcutAssignStmt |
Modifier and Type | Method and Description |
---|---|
void |
ASTAnalysis.analyseDefinitionStmt(DefinitionStmt s) |
void |
ASTAnalysis.analyseDefinitionStmt(DefinitionStmt s) |
Modifier and Type | Method and Description |
---|---|
void |
Analysis.caseDefinitionStmt(DefinitionStmt s) |
void |
AnalysisAdapter.caseDefinitionStmt(DefinitionStmt s) |
void |
DepthFirstAdapter.caseDefinitionStmt(DefinitionStmt s) |
void |
DepthFirstAdapter.caseDefinitionStmt(DefinitionStmt s) |
void |
AnalysisAdapter.caseDefinitionStmt(DefinitionStmt s) |
void |
Analysis.caseDefinitionStmt(DefinitionStmt s) |
void |
DepthFirstAdapter.inDefinitionStmt(DefinitionStmt s) |
void |
DepthFirstAdapter.inDefinitionStmt(DefinitionStmt s) |
void |
DepthFirstAdapter.outDefinitionStmt(DefinitionStmt s) |
void |
DepthFirstAdapter.outDefinitionStmt(DefinitionStmt s) |
Modifier and Type | Method and Description |
---|---|
List<DefinitionStmt> |
ReachingDefs.getReachingDefs(Local local,
Object node) |
List<DefinitionStmt> |
ReachingDefs.getReachingDefs(Local local,
Object node) |
Modifier and Type | Method and Description |
---|---|
void |
ReachingDefs.gen(DavaFlowSet<Stmt> in,
DefinitionStmt s) |
void |
ReachingDefs.gen(DavaFlowSet<Stmt> in,
DefinitionStmt s) |
Modifier and Type | Method and Description |
---|---|
List<DefinitionStmt> |
LocalVariableCleaner.getDefs(Local var) |
List<DefinitionStmt> |
LocalVariableCleaner.getDefs(Local var) |
Modifier and Type | Method and Description |
---|---|
boolean |
LocalVariableCleaner.canRemoveDef(DefinitionStmt ds) |
boolean |
LocalVariableCleaner.canRemoveDef(DefinitionStmt ds) |
Modifier and Type | Method and Description |
---|---|
List<DefinitionStmt> |
AllDefinitionsFinder.getAllDefs() |
List<DefinitionStmt> |
AllDefinitionsFinder.getAllDefs() |
Modifier and Type | Method and Description |
---|---|
void |
CopyPropagation.handleCopyStmt(DefinitionStmt copyStmt) |
void |
CopyPropagation.handleCopyStmt(DefinitionStmt copyStmt) |
void |
ASTParentNodeFinder.inDefinitionStmt(DefinitionStmt s) |
void |
AllDefinitionsFinder.inDefinitionStmt(DefinitionStmt s) |
void |
InitializationDeclarationShortcut.inDefinitionStmt(DefinitionStmt s) |
void |
InitializationDeclarationShortcut.inDefinitionStmt(DefinitionStmt s) |
void |
ASTParentNodeFinder.inDefinitionStmt(DefinitionStmt s) |
void |
AllDefinitionsFinder.inDefinitionStmt(DefinitionStmt s) |
Modifier and Type | Method and Description |
---|---|
void |
infoGatheringAnalysis.inDefinitionStmt(DefinitionStmt s) |
void |
infoGatheringAnalysis.inDefinitionStmt(DefinitionStmt s) |
void |
infoGatheringAnalysis.outDefinitionStmt(DefinitionStmt s) |
void |
infoGatheringAnalysis.outDefinitionStmt(DefinitionStmt s) |
Modifier and Type | Class and Description |
---|---|
class |
GAssignStmt |
class |
GIdentityStmt |
Modifier and Type | Interface and Description |
---|---|
interface |
AssignStmt |
interface |
IdentityStmt |
Modifier and Type | Class and Description |
---|---|
class |
AbstractDefinitionStmt |
class |
JAssignStmt |
class |
JIdentityStmt |
Modifier and Type | Method and Description |
---|---|
heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod> |
IFDSReachingDefinitions.createFlowFunctionsFactory() |
heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod> |
IFDSReachingDefinitions.createFlowFunctionsFactory() |
Pair<Value,Set<DefinitionStmt>> |
IFDSReachingDefinitions.createZeroValue() |
Pair<Value,Set<DefinitionStmt>> |
IFDSReachingDefinitions.createZeroValue() |
Map<Unit,Set<Pair<Value,Set<DefinitionStmt>>>> |
IFDSReachingDefinitions.initialSeeds() |
Map<Unit,Set<Pair<Value,Set<DefinitionStmt>>>> |
IFDSReachingDefinitions.initialSeeds() |