class WorklistSolverWithReachabilityAndPropagation extends InterprocValueAnalysisWorklistSolverWithReachabilityAndPropagation[SignLattice.type]
Interprocedural analysis that uses the worklist solver with reachability and propagation-style.
- Alphabetic
- By Inheritance
- WorklistSolverWithReachabilityAndPropagation
- InterprocValueAnalysisWorklistSolverWithReachabilityAndPropagation
- ForwardDependencies
- WorklistFixpointPropagationSolver
- WorklistFixpointSolverWithReachability
- WorklistFixpointSolver
- InterprocValueAnalysisFunctionsWithPropagation
- InterprocValueAnalysisMisc
- WorklistFixpointPropagationFunctions
- ListSetWorklist
- Worklist
- MapLiftLatticeSolver
- LiftedValueAnalysis
- ValueAnalysisMisc
- MapLatticeSolver
- Dependencies
- LatticeSolver
- FlowSensitiveAnalysis
- Analysis
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new WorklistSolverWithReachabilityAndPropagation(cfg: InterproceduralProgramCfg)(implicit declData: DeclarationData)
Value Members
-
def
add(ns: Set[CfgNode]): Unit
Adds a set of items to the worklist.
Adds a set of items to the worklist.
- Definition Classes
- ListSetWorklist → Worklist
-
def
add(n: CfgNode): Unit
Adds an item to the worklist.
Adds an item to the worklist.
- Definition Classes
- ListSetWorklist → Worklist
-
def
analyze(): Element
The analyze function.
The analyze function.
-
val
cfg: InterproceduralProgramCfg
- Definition Classes
- LiftedValueAnalysis → ValueAnalysisMisc
- implicit val declData: DeclarationData
-
val
declaredVars: Set[ADeclaration]
Set of declared variables, used by
statelattice.Set of declared variables, used by
statelattice.- Definition Classes
- ValueAnalysisMisc
-
val
domain: Set[CfgNode]
- Definition Classes
- LiftedValueAnalysis
-
def
eval(exp: AExpr, env: Element)(implicit declData: DeclarationData): lattices.SignLattice.Element
Default implementation of eval.
Default implementation of eval.
- Definition Classes
- ValueAnalysisMisc
-
def
evalArgs(formalParams: Seq[ADeclaration], actualParams: Seq[AExpr], state: Element): Element
Abstract evaluation of function arguments.
Abstract evaluation of function arguments.
- Definition Classes
- InterprocValueAnalysisMisc
-
val
first: Set[CfgNode]
Initialize worklist with the program entry point.
Initialize worklist with the program entry point.
-
def
funsub(n: CfgNode, x: Element): Element
Overrides
funsubfrom tip.solvers.MapLatticeSolver, treating function entry nodes as reachable.Overrides
funsubfrom tip.solvers.MapLatticeSolver, treating function entry nodes as reachable.- n
the current location in the map domain
- x
the current lattice element for all locations
- returns
the output sublattice element
- Definition Classes
- LiftedValueAnalysis → MapLatticeSolver
-
def
indep(n: CfgNode): Set[CfgNode]
Incoming dependencies.
Incoming dependencies. Used when computing the join from predecessors.
- n
an element from the worklist
- returns
the elements that the given element depends on
- Definition Classes
- ForwardDependencies → Dependencies
-
def
init: Element
The initial lattice element at the start locations.
The initial lattice element at the start locations. Default: lift(bottom).
- Definition Classes
- WorklistFixpointPropagationSolver → WorklistFixpointPropagationFunctions
-
def
join(n: CfgNode, o: Element): Element
Computes the least upper bound of the incoming elements.
Computes the least upper bound of the incoming elements.
- Definition Classes
- MapLatticeSolver
-
val
lattice: MapLattice[CfgNode, liftedstatelattice.type]
The analysis lattice.
The analysis lattice.
- Definition Classes
- LiftedValueAnalysis → MapLatticeSolver → LatticeSolver
-
val
liftedstatelattice: LiftLattice[statelattice.type]
Lifted state lattice, with new bottom element representing "unreachable".
Lifted state lattice, with new bottom element representing "unreachable".
- Definition Classes
- LiftedValueAnalysis
-
def
localTransfer(n: CfgNode, s: Element): Element
Transfer function for state lattice elements.
Transfer function for state lattice elements.
- Definition Classes
- ValueAnalysisMisc
-
def
outdep(n: CfgNode): Set[CfgNode]
Outgoing dependencies.
Outgoing dependencies. Used when propagating dataflow to successors.
- n
an element from the worklist
- returns
the elements that depend on the given element
- Definition Classes
- ForwardDependencies → Dependencies
-
def
process(n: CfgNode): Unit
This method overrides the one from WorklistFixpointSolver.
This method overrides the one from WorklistFixpointSolver. Called by the worklist solver when a node is visited.
- Definition Classes
- WorklistFixpointPropagationSolver → WorklistFixpointSolver → Worklist
-
def
propagate(y: Element, m: CfgNode): Unit
Propagates lattice element y to node m.
Propagates lattice element y to node m.
- Definition Classes
- WorklistFixpointPropagationFunctions
-
def
run(first: Set[CfgNode]): Unit
Iterates until there is no more work to do.
Iterates until there is no more work to do.
- first
the initial contents of the worklist
- Definition Classes
- ListSetWorklist → Worklist
-
val
stateAfterNode: Boolean
- Definition Classes
- FlowSensitiveAnalysis
-
val
statelattice: MapLattice[ADeclaration, valuelattice.type]
The lattice of abstract states.
The lattice of abstract states.
- Definition Classes
- ValueAnalysisMisc
-
def
transfer(n: CfgNode, s: Element): Element
The transfer function.
The transfer function.
- Definition Classes
- MapLiftLatticeSolver → MapLatticeSolver
-
def
transferUnlifted(n: CfgNode, s: Element): Element
Transfer function for state lattice elements.
Transfer function for state lattice elements.
- Definition Classes
- InterprocValueAnalysisFunctionsWithPropagation → MapLiftLatticeSolver
-
val
valuelattice: SignLattice.type
The lattice of abstract values.
The lattice of abstract values.
- Definition Classes
- InterprocValueAnalysisWorklistSolverWithReachabilityAndPropagation → ValueAnalysisMisc
-
val
x: Element
The current lattice element.
The current lattice element.
- Definition Classes
- WorklistFixpointSolver