org
.
argus
.
jawa
.
alir
taintAnalysis
package
taintAnalysis
Visibility
Public
All
Type Members
final
case class
InstanceTaintSlot
(
s:
PTASlot
,
pos:
TaintSlotPosition.Value
,
context:
Context
,
ins:
Instance
)
extends
Slot
with
TaintSlot
with
Product
with
Serializable
final
case class
PrimitiveTaintSlot
(
s:
PTASlot
,
pos:
TaintSlotPosition.Value
,
context:
Context
)
extends
Slot
with
TaintSlot
with
Product
with
Serializable
trait
SourceAndSinkManager
extends
AnyRef
case class
TagTaintDescriptor
(
desc:
String
,
positions:
ISet
[
Int
]
,
typ:
String
,
tags:
ISet
[
String
]
)
extends
TaintDescriptor
with
Product
with
Serializable
trait
TaintAnalysisResult
[
N <:
InterproceduralNode
,
E <:
AlirEdge
[
N
]
]
extends
AnyRef
case class
TaintAnalysisSimpleResult
(
sources:
ISet
[
TaintDescriptor
]
,
sinks:
ISet
[
TaintDescriptor
]
,
paths:
ISet
[
TaintSimplePath
]
)
extends
Product
with
Serializable
trait
TaintDescriptor
extends
AnyRef
final
case class
TaintFact
(
s:
TaintSlot
,
tag:
String
)
extends
Product
with
Serializable
class
TaintGraph
extends
InterproceduralGraph
[
TaintNode
]
case class
TaintNode
(
tf:
TaintSlot
)
extends
InterproceduralNode
with
Product
with
Serializable
trait
TaintPath
[
N <:
InterproceduralNode
,
E <:
AlirEdge
[
N
]
]
extends
AnyRef
case class
TaintSimpleNode
(
context:
Context
,
pos:
Option
[
Int
]
)
extends
Product
with
Serializable
case class
TaintSimplePath
(
source:
TaintDescriptor
,
sink:
TaintDescriptor
,
path:
IList
[(
TaintSimpleNode
,
TaintSimpleNode
)]
)
extends
Product
with
Serializable
case class
TaintSink
[
N <:
InterproceduralNode
]
(
node:
N
,
descriptor:
TaintDescriptor
)
extends
Product
with
Serializable
trait
TaintSlot
extends
Slot
case class
TaintSource
[
N <:
InterproceduralNode
]
(
node:
N
,
descriptor:
TaintDescriptor
)
extends
Product
with
Serializable
class
TaintTag
extends
AnyRef
case class
TypeTaintDescriptor
(
desc:
String
,
position:
Option
[
Int
]
,
typ:
String
)
extends
TaintDescriptor
with
Product
with
Serializable
Value Members
object
SSParser
object
TaintSlotPosition
extends
Enumeration
Ungrouped