Package pascal.taie.analysis.dataflow.inter

Class InterConstantPropagation

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.ProgramAnalysis<DataflowResult<Node,Fact>>

pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

pascal.taie.analysis.dataflow.inter.InterConstantPropagation

All Implemented Interfaces:

InterDataflowAnalysis<Stmt,CPFact>

public class InterConstantPropagation
extends AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

Implementation of interprocedural constant propagation for int values.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ID

Fields inherited from class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

icfg, solver

Constructor Summary

Constructors

Constructor	Description
InterConstantPropagation(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
protected void	finish()	If the concrete analysis needs to perform some finishing work after the solver finishes, then it can overwrite this method.
protected void	initialize()	If the concrete analysis needs to perform some initialization before the solver starts, then it can overwrite this method.
boolean	isForward()
void	meetInto(CPFact fact, CPFact target)	Meets a fact into another (target) fact.
CPFact	newBoundaryFact(Stmt boundary)
CPFact	newInitialFact()
protected CPFact	transferCallEdge(CallEdge<Stmt> edge, CPFact callSiteOut)
protected boolean	transferCallNode(Stmt stmt, CPFact in, CPFact out)	Transfer function for call node.
protected CPFact	transferCallToReturnEdge(CallToReturnEdge<Stmt> edge, CPFact out)
protected boolean	transferNonCallNode(Stmt stmt, CPFact in, CPFact out)	Transfer function for non-call node.
protected CPFact	transferNormalEdge(NormalEdge<Stmt> edge, CPFact out)
protected CPFact	transferReturnEdge(ReturnEdge<Stmt> edge, CPFact returnOut)

Methods inherited from class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

analyze, transferEdge, transferNode

Methods inherited from class pascal.taie.analysis.Analysis

getId, getOptions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

ID

public static final String ID

See Also:

• Constant Field Values

Constructor Details

InterConstantPropagation

public InterConstantPropagation(AnalysisConfig config)

Method Details

initialize

protected void initialize()

Description copied from class: AbstractInterDataflowAnalysis

If the concrete analysis needs to perform some initialization before the solver starts, then it can overwrite this method.

Overrides:

initialize in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

finish

protected void finish()

Description copied from class: AbstractInterDataflowAnalysis

If the concrete analysis needs to perform some finishing work after the solver finishes, then it can overwrite this method.

Overrides:

finish in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

isForward

public boolean isForward()

Returns:

true if this analysis is forward, otherwise false.

newBoundaryFact

public CPFact newBoundaryFact(Stmt boundary)

Returns:

new fact in boundary conditions, i.e., the fact for entry node in forward analysis or exit node in backward analysis.

newInitialFact

public CPFact newInitialFact()

Returns:

new initial fact for non-boundary nodes.

meetInto

public void meetInto(CPFact fact,
 CPFact target)

Description copied from interface: InterDataflowAnalysis

Meets a fact into another (target) fact. This function will be used to handle control-flow confluences.

transferCallNode

protected boolean transferCallNode(Stmt stmt,
 CPFact in,
 CPFact out)

Description copied from class: AbstractInterDataflowAnalysis

Transfer function for call node.

Specified by:

transferCallNode in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

transferNonCallNode

protected boolean transferNonCallNode(Stmt stmt,
 CPFact in,
 CPFact out)

Description copied from class: AbstractInterDataflowAnalysis

Transfer function for non-call node.

Specified by:

transferNonCallNode in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

transferNormalEdge

protected CPFact transferNormalEdge(NormalEdge<Stmt> edge,
 CPFact out)

Specified by:

transferNormalEdge in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

transferCallToReturnEdge

protected CPFact transferCallToReturnEdge(CallToReturnEdge<Stmt> edge,
 CPFact out)

Specified by:

transferCallToReturnEdge in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

transferCallEdge

protected CPFact transferCallEdge(CallEdge<Stmt> edge,
 CPFact callSiteOut)

Specified by:

transferCallEdge in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>

transferReturnEdge

protected CPFact transferReturnEdge(ReturnEdge<Stmt> edge,
 CPFact returnOut)

Specified by:

transferReturnEdge in class AbstractInterDataflowAnalysis<JMethod,Stmt,CPFact>