
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()
AnalysisgetFlowFunction in interface Analysis<CfgNode<?>,CfgEdge,Cfg,ConstantsAssumption>public ConstantsIntegratedFlowFunction getIntegratedFlowFunction()
IntegratedAnalysisgetIntegratedFlowFunction in interface IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>public void setInitialGraphAssumptions(Cfg graph, AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap)
AnalysissetInitialGraphAssumptions in interface Analysis<CfgNode<?>,CfgEdge,Cfg,ConstantsAssumption>setInitialGraphAssumptions in interface IntegratedAnalysis<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,ConstantsAssumption>Copyright © 2018. All rights reserved.