Package | Description |
---|---|
soot.dava.internal.AST | |
soot.dava.toolkits.base.AST.structuredAnalysis | |
soot.dava.toolkits.base.AST.transformations | |
soot.dava.toolkits.base.AST.traversals |
Modifier and Type | Class and Description |
---|---|
class |
ASTAggregatedCondition |
class |
ASTAndCondition |
class |
ASTBinaryCondition |
class |
ASTOrCondition |
class |
ASTUnaryBinaryCondition |
class |
ASTUnaryCondition |
Modifier and Type | Method and Description |
---|---|
ASTCondition |
ASTControlFlowNode.get_Condition() |
ASTCondition |
ASTControlFlowNode.get_Condition() |
ASTCondition |
ASTAggregatedCondition.getLeftOp() |
ASTCondition |
ASTAggregatedCondition.getLeftOp() |
ASTCondition |
ASTAggregatedCondition.getRightOp() |
ASTCondition |
ASTAggregatedCondition.getRightOp() |
Modifier and Type | Method and Description |
---|---|
void |
ASTIfNode.replace(SETNodeLabel label,
ASTCondition condition,
List<Object> body) |
void |
ASTIfNode.replace(SETNodeLabel label,
ASTCondition condition,
List<Object> body) |
void |
ASTIfElseNode.replace(SETNodeLabel newLabel,
ASTCondition newCond,
List<Object> newBody,
List<Object> bodyTwo) |
void |
ASTIfElseNode.replace(SETNodeLabel newLabel,
ASTCondition newCond,
List<Object> newBody,
List<Object> bodyTwo) |
void |
ASTControlFlowNode.set_Condition(ASTCondition condition) |
void |
ASTControlFlowNode.set_Condition(ASTCondition condition) |
void |
ASTAggregatedCondition.setLeftOp(ASTCondition left) |
void |
ASTAggregatedCondition.setLeftOp(ASTCondition left) |
void |
ASTAggregatedCondition.setRightOp(ASTCondition right) |
void |
ASTAggregatedCondition.setRightOp(ASTCondition right) |
Modifier and Type | Method and Description |
---|---|
CPTuple |
CP.checkForValueHints(ASTCondition cond,
CPFlowSet input,
boolean isElseBranch) |
CPTuple |
CP.checkForValueHints(ASTCondition cond,
CPFlowSet input,
boolean isElseBranch) |
DavaFlowSet<E> |
StructuredAnalysis.processCondition(ASTCondition cond,
DavaFlowSet<E> input)
This implementation breaks down the aggregated condition to the terminal
conditions which all have type ASTUnaryBinaryCondition.
|
DavaFlowSet<E> |
StructuredAnalysis.processCondition(ASTCondition cond,
DavaFlowSet<E> input)
This implementation breaks down the aggregated condition to the terminal
conditions which all have type ASTUnaryBinaryCondition.
|
Modifier and Type | Method and Description |
---|---|
ASTCondition |
SimplifyConditions.applyDeMorgans(ASTAggregatedCondition aggCond) |
ASTCondition |
SimplifyConditions.applyDeMorgans(ASTAggregatedCondition aggCond) |
ASTCondition |
CPApplication.changedCondition(ASTCondition cond,
CPFlowSet set) |
ASTCondition |
CPApplication.changedCondition(ASTCondition cond,
CPFlowSet set) |
ASTCondition |
OrAggregatorTwo.getRightCond(List<Object> elseBody) |
ASTCondition |
OrAggregatorTwo.getRightCond(List<Object> elseBody) |
ASTCondition |
SimplifyConditions.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond) |
ASTCondition |
SimplifyConditions.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond) |
ASTCondition |
SimplifyConditions.simplifyTheCondition(ASTCondition cond) |
ASTCondition |
SimplifyConditions.simplifyTheCondition(ASTCondition cond) |
Modifier and Type | Method and Description |
---|---|
ASTCondition |
CPApplication.changedCondition(ASTCondition cond,
CPFlowSet set) |
ASTCondition |
CPApplication.changedCondition(ASTCondition cond,
CPFlowSet set) |
ASTCondition |
SimplifyConditions.simplifyTheCondition(ASTCondition cond) |
ASTCondition |
SimplifyConditions.simplifyTheCondition(ASTCondition cond) |
Modifier and Type | Method and Description |
---|---|
void |
ASTUsesAndDefs.checkConditionalUses(ASTCondition cond,
ASTNode node) |
void |
AllVariableUses.checkConditionalUses(ASTCondition cond,
ASTNode node) |
void |
ASTUsesAndDefs.checkConditionalUses(ASTCondition cond,
ASTNode node) |
void |
AllVariableUses.checkConditionalUses(ASTCondition cond,
ASTNode node) |
List<Value> |
ASTUsesAndDefs.getUseList(ASTCondition cond) |
List<Value> |
AllVariableUses.getUseList(ASTCondition cond) |
List<Value> |
ASTUsesAndDefs.getUseList(ASTCondition cond) |
List<Value> |
AllVariableUses.getUseList(ASTCondition cond) |
void |
CopyPropagation.modifyUses(Local from,
Local to,
ASTCondition cond) |
void |
CopyPropagation.modifyUses(Local from,
Local to,
ASTCondition cond) |