public class ConstantsAnalysis extends Object implements Analysis<CfgNode<?>,CfgEdge,Cfg,ConstantsAssumption>, IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
Constructor and Description |
---|
ConstantsAnalysis() |
Modifier and Type | Method and Description |
---|---|
ConstantsFlowFunction |
getFlowFunction()
Gets analysis flow function.
|
ConstantsIntegratedFlowFunction |
getIntegratedFlowFunction()
Gets analysis integrated flow function.
|
void |
setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
Gets assumptions for graph to start approximation from.
|
public ConstantsFlowFunction getFlowFunction()
Analysis
getFlowFunction
in interface Analysis<CfgNode<?>,CfgEdge,Cfg,ConstantsAssumption>
public ConstantsIntegratedFlowFunction getIntegratedFlowFunction()
IntegratedAnalysis
getIntegratedFlowFunction
in interface IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
public void setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
Analysis
setInitialGraphAssumptions
in interface Analysis<CfgNode<?>,CfgEdge,Cfg,ConstantsAssumption>
setInitialGraphAssumptions
in interface IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>
Copyright © 2018. All rights reserved.