org
.
argus
.
jawa
.
alir
.
pta
suspark
package
suspark
Visibility
Public
All
Type Members
class
IntraprocedureSuperSpark
extends
AnyRef
trait
PAGConstraint
extends
AnyRef
class
PointerAssignmentGraph
[
Node <:
PtaNode
]
extends
InterproceduralGraph
[
Node
] with
PAGConstraint
class
PointsToMap
extends
PTAResult
final
case class
PtaNode
(
point:
Point
,
context:
Context
)
extends
InterproceduralNode
with
Product
with
Serializable
Value Members
object
InterproceduralSuperSpark
Ungrouped