public interface IInitialStateBuilder<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>>
Modifier and Type | Method and Description |
---|---|
StateType |
build(BasicBlock global_entry_block,
GenericSolver.SolverInterface c,
net.htmlparser.jericho.Source document)
Builds the initial state.
|
StateType build(BasicBlock global_entry_block, GenericSolver.SolverInterface c, net.htmlparser.jericho.Source document)
Copyright © 2009-2019 Aarhus University