Package org.sonar.python.cfg.fixpoint

Class ForwardAnalysis

java.lang.Object

org.sonar.python.cfg.fixpoint.ForwardAnalysis

public abstract class ForwardAnalysis
extends Object

Data flow analysis operating on the CFG. The analysis starts at the entry node and moves forwards in the CFG. See https://en.wikipedia.org/wiki/Data-flow_analysis#Forward_analysis See https://lara.epfl.ch/w/_media/sav08:schwartzbach.pdf (chapter "Forwards, Backwards, May, and Must")

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	ForwardAnalysis.ProgramStateAtBlock

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<CfgBlock,ForwardAnalysis.ProgramStateAtBlock>	programStateByBlock

Constructor Summary

Constructors

Constructor	Description
ForwardAnalysis()

Method Summary

Modifier and Type	Method	Description
void	compute(ControlFlowGraph cfg)
abstract ProgramState	initialState()
abstract void	updateProgramState(Tree element, ProgramState programState)

Methods inherited from class java.lang.Object

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

Field Detail

programStateByBlock

protected final Map<CfgBlock,ForwardAnalysis.ProgramStateAtBlock> programStateByBlock

Constructor Detail

ForwardAnalysis

public ForwardAnalysis()

Method Detail

compute

public void compute(ControlFlowGraph cfg)

initialState

public abstract ProgramState initialState()

updateProgramState

public abstract void updateProgramState(Tree element,
                                        ProgramState programState)