Modifier and Type | Method and Description |
---|---|
static Cfg |
CfgBuilder.build(JProgram program,
JBlock codeblock)
Build Cfg for code block.
|
static Cfg |
CfgBuilder.buildExpressionCfg(JProgram program,
JExpression value) |
static Cfg |
CfgUtil.createSingleNodeReplacementGraph(Cfg originalGraph,
CfgNode<?> originalNode,
CfgNode<?> newNode)
Create a graph with single node.
|
Modifier and Type | Method and Description |
---|---|
static void |
CfgUtil.addGraphEdges(Cfg originalGraph,
CfgNode<?> originalNode,
CfgNode<?> newStartNode,
CfgNode<?> newEndNode,
Cfg newSubgraph) |
static <A extends Assumption<?>> |
CfgUtil.createGraphBottomAssumptions(Cfg graph) |
static Cfg |
CfgUtil.createSingleNodeReplacementGraph(Cfg originalGraph,
CfgNode<?> originalNode,
CfgNode<?> newNode)
Create a graph with single node.
|
boolean |
CfgTransformer.transform(CfgNode<?> node,
Cfg cfgGraph)
Transform specified node.
|
Constructor and Description |
---|
AssumptionsPrinter(Cfg graph,
AssumptionMap<CfgEdge,A> assumptionMap) |
AssumptionsPrinter(Cfg graph,
Map<CfgEdge,A> assumptions) |
CfgPrinter(Cfg graph) |
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsTransformationFunction.transform(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
void |
ConstantsFlowFunction.interpret(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
void |
ConstantsAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsTransformationFunction.transform(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
FlowFunction<CfgNode<?>,CfgEdge,Cfg,CopyAssumption> |
CopyAnalysis.getFlowFunction() |
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,CopyAssumption> |
CopyAnalysis.getIntegratedFlowFunction() |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
CopyIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
void |
CopyFlowFunction.interpret(CfgNode<?> node,
Cfg g,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
CopyIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
void |
CopyAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,CopyAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
Cfg |
LivenessTransformation.getNewSubgraph() |
Modifier and Type | Method and Description |
---|---|
FlowFunction<CfgNode<?>,CfgEdge,Cfg,LivenessAssumption> |
LivenessAnalysis.getFlowFunction() |
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,LivenessAssumption> |
LivenessAnalysis.getIntegratedFlowFunction() |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
LivenessIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
void |
LivenessFlowFunction.interpret(CfgNode<?> node,
Cfg g,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
LivenessIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
void |
LivenessAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,LivenessAssumption> assumptionMap) |
Constructor and Description |
---|
LivenessTransformation(Cfg cfg,
CfgWriteNode writeToKill) |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions> |
UnreachableAnalysis.getIntegratedFlowFunction() |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
void |
UnreachableAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
Copyright © 2018. All rights reserved.