org
.
argus
.
jawa
.
alir
dataDependenceAnalysis
package
dataDependenceAnalysis
Visibility
Public
All
Type Members
trait
DataDependenceBaseGraph
[
Node <:
IDDGNode
]
extends
InterproceduralGraph
[
Node
]
class
DefaultInterproceduralDataDependenceInfo
extends
InterproceduralDataDependenceInfo
final
case class
IDDGCallArgNode
(
icfgN:
ICFGCallNode
,
position:
Int
)
extends
IDDGInvokeNode
with
Product
with
Serializable
final
case class
IDDGCenterNode
(
icfgN:
ICFGCenterNode
)
extends
IDDGVirtualNode
with
Product
with
Serializable
final
case class
IDDGEntryNode
(
icfgN:
ICFGEntryNode
)
extends
IDDGVirtualNode
with
Product
with
Serializable
final
case class
IDDGEntryParamNode
(
icfgN:
ICFGEntryNode
,
position:
Int
)
extends
IDDGVirtualNode
with
Product
with
Serializable
final
case class
IDDGExitParamNode
(
icfgN:
ICFGExitNode
,
position:
Int
)
extends
IDDGVirtualNode
with
Product
with
Serializable
abstract
class
IDDGInvokeNode
extends
IDDGLocNode
abstract
class
IDDGLocNode
extends
IDDGNode
sealed abstract
class
IDDGNode
extends
InterproceduralNode
final
case class
IDDGNormalNode
(
icfgN:
ICFGNormalNode
)
extends
IDDGLocNode
with
Product
with
Serializable
final
case class
IDDGReturnArgNode
(
icfgN:
ICFGReturnNode
,
position:
Int
)
extends
IDDGInvokeNode
with
Product
with
Serializable
final
case class
IDDGReturnVarNode
(
icfgN:
ICFGCallNode
)
extends
IDDGInvokeNode
with
Product
with
Serializable
final
case class
IDDGVirtualBodyNode
(
icfgN:
ICFGCallNode
)
extends
IDDGInvokeNode
with
Product
with
Serializable
abstract
class
IDDGVirtualNode
extends
IDDGNode
class
InterproceduralDataDependenceGraph
[
Node <:
IDDGNode
]
extends
DataDependenceBaseGraph
[
Node
]
trait
InterproceduralDataDependenceInfo
extends
AnyRef
class
InterproceduralReachingDefinitionAnalysis
extends
AnyRef
class
MultiDataDependenceGraph
[
Node <:
IDDGNode
]
extends
DataDependenceBaseGraph
[
Node
]
Value Members
object
InterproceduralDataDependenceAnalysis
object
InterproceduralReachingDefinitionAnalysis
Ungrouped