dataDependenceAnalysis

Type Members

1. trait DataDependenceBaseGraph[Node <: IDDGNode] extends InterproceduralGraph[Node]

   

2. class DefaultInterproceduralDataDependenceInfo extends InterproceduralDataDependenceInfo

   

3. final case class IDDGCallArgNode(icfgN: ICFGCallNode, position: Int) extends IDDGInvokeNode with Product with Serializable

   

4. final case class IDDGCenterNode(icfgN: ICFGCenterNode) extends IDDGVirtualNode with Product with Serializable

   

5. final case class IDDGEntryNode(icfgN: ICFGEntryNode) extends IDDGVirtualNode with Product with Serializable

   

6. final case class IDDGEntryParamNode(icfgN: ICFGEntryNode, position: Int) extends IDDGVirtualNode with Product with Serializable

   

7. final case class IDDGExitParamNode(icfgN: ICFGExitNode, position: Int) extends IDDGVirtualNode with Product with Serializable

   

8. abstract class IDDGInvokeNode extends IDDGLocNode

   

9. abstract class IDDGLocNode extends IDDGNode

   

10. sealed abstract class IDDGNode extends InterproceduralNode

    

11. final case class IDDGNormalNode(icfgN: ICFGNormalNode) extends IDDGLocNode with Product with Serializable

    

12. final case class IDDGReturnArgNode(icfgN: ICFGReturnNode, position: Int) extends IDDGInvokeNode with Product with Serializable

    

13. final case class IDDGReturnVarNode(icfgN: ICFGCallNode) extends IDDGInvokeNode with Product with Serializable

    

14. final case class IDDGVirtualBodyNode(icfgN: ICFGCallNode) extends IDDGInvokeNode with Product with Serializable

    

15. abstract class IDDGVirtualNode extends IDDGNode

    

16. class InterproceduralDataDependenceGraph[Node <: IDDGNode] extends DataDependenceBaseGraph[Node]

    

17. trait InterproceduralDataDependenceInfo extends AnyRef

    

18. class InterproceduralReachingDefinitionAnalysis extends AnyRef

    

19. class MultiDataDependenceGraph[Node <: IDDGNode] extends DataDependenceBaseGraph[Node]