public interface IAnalysisLatticeElement<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>>
Modifier and Type | Interface and Description |
---|---|
static class |
IAnalysisLatticeElement.MergeResult
Result from
propagate(IState, BlockAndContext, boolean) . |
Modifier and Type | Method and Description |
---|---|
CallGraph<StateType,ContextType,CallEdgeType> |
getCallGraph()
Returns the call graph.
|
int |
getNumberOfStates()
Returns the total number of (non-bottom) abstract states.
|
StateType |
getState(BasicBlock block,
ContextType context)
Returns the abstract state for entry of the given basic block and context,
where null represents none.
|
StateType |
getState(BlockAndContext<ContextType> bc)
Returns the abstract state for entry of the given basic block and context,
where null represents none.
|
java.util.Map<ContextType,StateType> |
getStates(BasicBlock block)
Returns the contexts and abstract states for the entry of the given basic block.
|
IAnalysisLatticeElement.MergeResult |
propagate(StateType s,
BlockAndContext<ContextType> bc,
boolean localize)
Propagates s into the entry state at the given location.
|
CallGraph<StateType,ContextType,CallEdgeType> getCallGraph()
int getNumberOfStates()
StateType getState(BasicBlock block, ContextType context)
StateType getState(BlockAndContext<ContextType> bc)
java.util.Map<ContextType,StateType> getStates(BasicBlock block)
IAnalysisLatticeElement.MergeResult propagate(StateType s, BlockAndContext<ContextType> bc, boolean localize)
localize
- if set, localize the state while joiningCopyright © 2009-2019 Aarhus University