dk.brics.tajs.solver

Class GenericSolver.SolverInterface

java.lang.Object

dk.brics.tajs.solver.GenericSolver.SolverInterface

Enclosing class:

GenericSolver<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>,MonitoringType extends ISolverMonitoring<StateType,ContextType>,AnalysisType extends IAnalysis<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType>>

public class GenericSolver.SolverInterface
extends java.lang.Object

Interface to solver used while evaluating transfer functions. Provides callbacks from transfer functions to solver state.

Method Summary

Modifier and Type	Method and Description
void	addToWorklist(BasicBlock block, ContextType context) Adds the given location to the worklist.
AnalysisType	getAnalysis() Returns the analysis object.
IAnalysisLatticeElement<StateType,ContextType,CallEdgeType>	getAnalysisLatticeElement() Returns the analysis lattice element.
CallDependencies<ContextType>	getCallDependencies()
FlowGraph	getFlowGraph() Returns the flow graph.
MonitoringType	getMonitoring() Returns the monitoring object of the analysis.
AbstractNode	getNode() Returns the node currently being visited.
StateType	getState() Returns the current abstract state.
WorkList<ContextType>	getWorklist()
boolean	isCallEdgeCharged(AbstractNode caller, ContextType caller_context, ContextType edge_context, BlockAndContext<ContextType> callee_entry) Checks whether the given edge is charged.
boolean	isScanning() Returns true if in message scanning phase.
boolean	propagate(StateType state, BlockAndContext<ContextType> to, boolean localize) Propagates dataflow.
void	propagateToBasicBlock(StateType state, BasicBlock block, ContextType context) Merges state into the entry state of block in context context and updates the work list accordingly.
void	propagateToFunctionEntry(AbstractNode call_node, ContextType caller_context, StateType edge_state, ContextType edge_context, BasicBlock callee_entry, boolean implicit) Merges the edge state into the entry state of the callee in the given context and updates the work list accordingly.
void	returnFromFunctionExit(StateType return_state, AbstractNode call_node, ContextType caller_context, BasicBlock callee_entry, ContextType edge_context, boolean implicit) Transforms the given state inversely according to the call edge.
void	setNode(AbstractNode node)
void	setState(StateType state) Sets the current abstract state.
void	withState(StateType state, java.lang.Runnable fun) Runs the given function with the given state set to current.
<T> T	withState(StateType state, java.util.function.Supplier<T> fun) Runs the given supplier function with the given state set to current.
<T> T	withStateAndNode(StateType state, AbstractNode node, java.util.function.Supplier<T> fun) Runs the given supplier function with the given state and node set to current.

Methods inherited from class java.lang.Object

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

Method Detail

addToWorklist

public void addToWorklist(BasicBlock block,
                          ContextType context)

Adds the given location to the worklist.

getAnalysis

public AnalysisType getAnalysis()

Returns the analysis object.

getAnalysisLatticeElement

public IAnalysisLatticeElement<StateType,ContextType,CallEdgeType> getAnalysisLatticeElement()

Returns the analysis lattice element.

getCallDependencies

public CallDependencies<ContextType> getCallDependencies()

getFlowGraph

public FlowGraph getFlowGraph()

Returns the flow graph.

getMonitoring

public MonitoringType getMonitoring()

Returns the monitoring object of the analysis.

getNode

public AbstractNode getNode()

Returns the node currently being visited.

getState

public StateType getState()

Returns the current abstract state.

getWorklist

public WorkList<ContextType> getWorklist()

isCallEdgeCharged

public boolean isCallEdgeCharged(AbstractNode caller,
                                 ContextType caller_context,
                                 ContextType edge_context,
                                 BlockAndContext<ContextType> callee_entry)

Checks whether the given edge is charged. Always returns true if charged edges are disabled.

isScanning

public boolean isScanning()

Returns true if in message scanning phase.

propagate

public boolean propagate(StateType state,
                         BlockAndContext<ContextType> to,
                         boolean localize)

Propagates dataflow. Does *not* modify the worklist

Returns:

true iff the destination state changed

propagateToBasicBlock

public void propagateToBasicBlock(StateType state,
                                  BasicBlock block,
                                  ContextType context)

Merges state into the entry state of block in context context and updates the work list accordingly. The given state may be modified by this operation. Ignored if in scan phase.

propagateToFunctionEntry

public void propagateToFunctionEntry(AbstractNode call_node,
                                     ContextType caller_context,
                                     StateType edge_state,
                                     ContextType edge_context,
                                     BasicBlock callee_entry,
                                     boolean implicit)

Merges the edge state into the entry state of the callee in the given context and updates the work list accordingly. Also updates the call graph and triggers reevaluation of ordinary/exceptional return flow. The given state may be modified by this operation. Ignored if in scan phase.

returnFromFunctionExit

public void returnFromFunctionExit(StateType return_state,
                                   AbstractNode call_node,
                                   ContextType caller_context,
                                   BasicBlock callee_entry,
                                   ContextType edge_context,
                                   boolean implicit)

Transforms the given state inversely according to the call edge.

setNode

public void setNode(AbstractNode node)

setState

public void setState(StateType state)

Sets the current abstract state.

withState

public void withState(StateType state,
                      java.lang.Runnable fun)

Runs the given function with the given state set to current.

withState

public <T> T withState(StateType state,
                       java.util.function.Supplier<T> fun)

Runs the given supplier function with the given state set to current.

withStateAndNode

public <T> T withStateAndNode(StateType state,
                              AbstractNode node,
                              java.util.function.Supplier<T> fun)

Runs the given supplier function with the given state and node set to current.