dataFlowAnalysis

Type Members

1. trait CallResolver[LatticeElement] extends AnyRef

   

2. trait InterProceduralMonotonicFunction[LatticeElement] extends AnyRef

   

3. trait InterproceduralDataFlowAnalysisResult[LatticeElement] extends AnyRef

   

   Provide an Interface to let the developer get data facts corresponding to each statement.

4. case class InterproceduralDataFlowGraph(icfg: InterproceduralControlFlowGraph[ICFGNode], ptaresult: PTAResult) extends Product with Serializable

   

5. trait InterproceduralMonotoneDataFlowAnalysisResult[LatticeElement] extends InterproceduralDataFlowAnalysisResult[LatticeElement]

   

6. trait NodeListener extends AnyRef

   

7. trait PstProvider extends AnyRef