dk.brics.tajs.solver

Class GenericSolver.SolverInterface

java.lang.Object

dk.brics.tajs.solver.GenericSolver.SolverInterface

Enclosing class:

GenericSolver<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>>

public class GenericSolver.SolverInterface
extends Object

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

Method Summary

Methods

Modifier and Type	Method and Description
AnalysisType	getAnalysis() Returns the analysis object.
IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType>	getAnalysisLatticeElement() Returns the analysis lattice element.
CallContextType	getCurrentContext() Returns the current calling context.
AbstractNode	getCurrentNode() Returns the node currently being visited.
BlockStateType	getCurrentState() Returns the current abstract state.
FlowGraph	getFlowGraph() Returns the flow graph.
MonitoringType	getMonitoring() Returns the monitoring object of the analysis.
boolean	isCallEdgeCharged(AbstractNode call_node, CallContextType caller_context, Function callee, CallContextType callee_context) Checks whether the given edge is charged.
boolean	isScanning() Returns true if in message scanning phase.
void	propagateToBasicBlock(BlockStateType state, BasicBlock block, CallContextType context) Merges state into the entry state of block in call context context and updates the work list accordingly.
void	propagateToBasicBlockDestructively(BlockStateType state, BasicBlock block, CallContextType context) Replaces the entry state of block in call context context with state and updates the work list accordingly.
void	propagateToFunctionEntry(CallEdgeType edge, AbstractNode call_node, CallContextType caller_context, Function callee, CallContextType callee_context) Merges the edge state into the entry state of the callee in the given call context and updates the work list accordingly.
void	returnFromFunctionExit(BlockStateType return_state, AbstractNode call_node, CallContextType caller_context, Function callee, CallContextType callee_context) Transforms the given state inversely according to the call edge.
void	setCurrentState(BlockStateType state) Sets the current abstract state.

Methods inherited from class java.lang.Object

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

Method Detail

getAnalysis

public AnalysisType getAnalysis()

Returns the analysis object.

getAnalysisLatticeElement

public IAnalysisLatticeElement<BlockStateType,CallContextType,CallEdgeType> getAnalysisLatticeElement()

Returns the analysis lattice element.

getCurrentContext

public CallContextType getCurrentContext()

Returns the current calling context.

getCurrentNode

public AbstractNode getCurrentNode()

Returns the node currently being visited.

getCurrentState

public BlockStateType getCurrentState()

Returns the current abstract state.

getFlowGraph

public FlowGraph getFlowGraph()

Returns the flow graph.

getMonitoring

public MonitoringType getMonitoring()

Returns the monitoring object of the analysis.

isCallEdgeCharged

public boolean isCallEdgeCharged(AbstractNode call_node,
                        CallContextType caller_context,
                        Function callee,
                        CallContextType callee_context)

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.

propagateToBasicBlock

public void propagateToBasicBlock(BlockStateType state,
                         BasicBlock block,
                         CallContextType context)

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

propagateToBasicBlockDestructively

public void propagateToBasicBlockDestructively(BlockStateType state,
                                      BasicBlock block,
                                      CallContextType context)

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

propagateToFunctionEntry

public void propagateToFunctionEntry(CallEdgeType edge,
                            AbstractNode call_node,
                            CallContextType caller_context,
                            Function callee,
                            CallContextType callee_context)

Merges the edge state into the entry state of the callee in the given call 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(BlockStateType return_state,
                          AbstractNode call_node,
                          CallContextType caller_context,
                          Function callee,
                          CallContextType callee_context)

Transforms the given state inversely according to the call edge.

setCurrentState

public void setCurrentState(BlockStateType state)

Sets the current abstract state.