org
.
argus
.
jawa
.
alir
.
taintAnalysis
TaintGraph
Related Doc:
package taintAnalysis
class
TaintGraph
extends
InterproceduralGraph
[
TaintNode
]
Linear Supertypes
InterproceduralGraph
[
TaintNode
],
Serializable
,
Serializable
,
AlirSuccPredAccesses
[
TaintNode
],
AlirEdgeAccesses
[
TaintNode
],
AlirGraph
[
TaintNode
],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
TaintGraph
InterproceduralGraph
Serializable
Serializable
AlirSuccPredAccesses
AlirEdgeAccesses
AlirGraph
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
TaintGraph
()
Type Members
type
Edge
=
AlirEdge
[
TaintNode
]
Definition Classes
AlirGraph
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
addEdge
(
e:
Edge
)
:
Boolean
Definition Classes
AlirEdgeAccesses
def
addEdge
(
source:
TaintNode
,
target:
TaintNode
)
:
Edge
Definition Classes
AlirEdgeAccesses
def
addNode
(
node:
TaintNode
)
:
TaintNode
Definition Classes
InterproceduralGraph
→ AlirEdgeAccesses
def
addSource
(
src:
TaintNode
)
:
MSet
[
TaintNode
]
def
addTaintEdge
(
srcSlot:
TaintSlot
,
tarSlot:
TaintSlot
)
:
Edge
def
addTaintNode
(
tf:
TaintSlot
)
:
TaintNode
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
deleteEdge
(
e:
Edge
)
:
Boolean
Definition Classes
InterproceduralGraph
def
deleteEdge
(
source:
TaintNode
,
target:
TaintNode
)
:
Edge
Definition Classes
InterproceduralGraph
def
deleteNode
(
node:
TaintNode
)
:
Boolean
Definition Classes
InterproceduralGraph
val
eIDProvider
:
EdgeNameProvider
[
Edge
] { def filterLabel(uri: String): String }
Attributes
protected
Definition Classes
InterproceduralGraph
def
edgeSource
(
edge:
AlirEdge
[
TaintNode
]
)
:
TaintNode
Attributes
protected
Definition Classes
AlirSuccPredAccesses
def
edgeTarget
(
edge:
AlirEdge
[
TaintNode
]
)
:
TaintNode
Attributes
protected
Definition Classes
AlirSuccPredAccesses
def
edges
:
Iterable
[
Edge
]
Definition Classes
AlirGraph
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
findPath
(
srcNode:
TaintNode
,
tarNode:
TaintNode
)
:
IList
[
Edge
]
Definition Classes
InterproceduralGraph
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
getEdges
(
n1:
TaintNode
,
n2:
TaintNode
)
:
CSet
[
Edge
]
Definition Classes
AlirGraph
def
getNode
(
n:
TaintNode
)
:
TaintNode
Definition Classes
InterproceduralGraph
→ AlirGraph
def
getSources
:
Set
[
TaintNode
]
def
getTaintNode
(
tf:
TaintSlot
)
:
TaintNode
val
graph
:
DirectedPseudograph
[
TaintNode
,
Edge
]
Attributes
protected
Definition Classes
InterproceduralGraph
→ AlirGraph
def
hasEdge
(
n1:
TaintNode
,
n2:
TaintNode
)
:
Boolean
Definition Classes
AlirGraph
def
hasNode
(
n:
TaintNode
)
:
Boolean
Definition Classes
AlirGraph
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
newTaintNode
(
tf:
TaintSlot
)
:
TaintNode
Attributes
protected
def
nodes
:
Iterable
[
TaintNode
]
Definition Classes
AlirGraph
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
numOfEdges
:
Int
Definition Classes
AlirGraph
def
numOfNodes
:
Int
Definition Classes
AlirGraph
val
pl
:
MMap
[
InterproceduralNode
,
TaintNode
]
Attributes
protected
Definition Classes
InterproceduralGraph
def
pool
:
MMap
[
InterproceduralNode
,
TaintNode
]
Definition Classes
InterproceduralGraph
def
prePostNodeOrder
(
n:
TaintNode
)
:
MMap
[
TaintNode
, (
Int
,
Int
)]
Definition Classes
AlirGraph
def
predecessor
(
edge:
Edge
)
:
TaintNode
Definition Classes
AlirSuccPredAccesses
def
predecessorEdges
(
node:
TaintNode
)
:
CSet
[
Edge
]
Definition Classes
AlirSuccPredAccesses
def
predecessors
(
node:
TaintNode
)
:
CSet
[
TaintNode
]
Definition Classes
AlirSuccPredAccesses
def
stronglyConnectedSets
:
Iterable
[
CSet
[
TaintNode
]]
Definition Classes
AlirGraph
def
successor
(
edge:
Edge
)
:
TaintNode
Definition Classes
AlirSuccPredAccesses
def
successorEdges
(
node:
TaintNode
)
:
CSet
[
Edge
]
Definition Classes
AlirSuccPredAccesses
def
successors
(
node:
TaintNode
)
:
CSet
[
TaintNode
]
Definition Classes
AlirSuccPredAccesses
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
taintNodeExists
(
tf:
TaintSlot
)
:
Boolean
def
toDot
(
w:
Writer
,
vlp:
VertexNameProvider
[
TaintNode
] =
vIDProvider
)
:
Unit
Definition Classes
InterproceduralGraph
def
toGML
(
w:
Writer
,
vip:
VertexNameProvider
[
TaintNode
] =
vIDProvider
,
vlp:
VertexNameProvider
[
TaintNode
] =
vLDProvider
,
eip:
EdgeNameProvider
[
Edge
] =
eIDProvider
,
elp:
EdgeNameProvider
[
Edge
] =
null
)
:
Unit
Definition Classes
InterproceduralGraph
def
toGraphML
(
w:
Writer
,
vip:
VertexNameProvider
[
TaintNode
] =
vIDProvider
,
vlp:
VertexNameProvider
[
TaintNode
] =
vLDProvider
,
eip:
EdgeNameProvider
[
Edge
] =
eIDProvider
,
elp:
EdgeNameProvider
[
Edge
] =
null
)
:
Unit
Definition Classes
InterproceduralGraph
def
toString
()
:
String
Definition Classes
AnyRef → Any
val
vIDProvider
:
VertexNameProvider
[
TaintNode
] { def filterLabel(uri: String): String }
Attributes
protected
Definition Classes
InterproceduralGraph
val
vLDProvider
:
VertexNameProvider
[
TaintNode
] { def filterLabel(uri: String): String }
Attributes
protected
Definition Classes
InterproceduralGraph
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
InterproceduralGraph
[
TaintNode
]
Inherited from
Serializable
Inherited from
Serializable
Inherited from
AlirSuccPredAccesses
[
TaintNode
]
Inherited from
AlirEdgeAccesses
[
TaintNode
]
Inherited from
AlirGraph
[
TaintNode
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped