taintAnalysis

Type Members

1. final case class InstanceTaintSlot(s: PTASlot, pos: TaintSlotPosition.Value, context: Context, ins: Instance) extends Slot with TaintSlot with Product with Serializable

   

2. final case class PrimitiveTaintSlot(s: PTASlot, pos: TaintSlotPosition.Value, context: Context) extends Slot with TaintSlot with Product with Serializable

   

3. trait SourceAndSinkManager[T <: Global] extends AnyRef

   

4. case class TagTaintDescriptor(desc: String, positions: ISet[Int], typ: String, tags: ISet[String]) extends TaintDescriptor with Product with Serializable

   

5. trait TaintAnalysisResult[N <: InterproceduralNode, E <: AlirEdge[N]] extends AnyRef

   

6. case class TaintAnalysisSimpleResult(sources: ISet[TaintDescriptor], sinks: ISet[TaintDescriptor], paths: ISet[TaintSimplePath]) extends Product with Serializable

   

7. trait TaintDescriptor extends AnyRef

   

8. final case class TaintFact(s: TaintSlot, tag: String) extends Product with Serializable

   

9. class TaintGraph extends InterproceduralGraph[TaintNode]

   

10. case class TaintNode(tf: TaintSlot) extends InterproceduralNode with Product with Serializable

    

11. trait TaintPath[N <: InterproceduralNode, E <: AlirEdge[N]] extends AnyRef

    

12. case class TaintSimpleNode(context: Context, pos: Option[Int]) extends Product with Serializable

    

13. case class TaintSimplePath(source: TaintDescriptor, sink: TaintDescriptor, path: IList[(TaintSimpleNode, TaintSimpleNode)]) extends Product with Serializable

    

14. case class TaintSink[N <: InterproceduralNode](node: N, descriptor: TaintDescriptor) extends Product with Serializable

    

15. trait TaintSlot extends Slot

    

16. case class TaintSource[N <: InterproceduralNode](node: N, descriptor: TaintDescriptor) extends Product with Serializable

    

17. class TaintTag extends AnyRef

    

18. case class TypeTaintDescriptor(desc: String, position: Option[Int], typ: String) extends TaintDescriptor with Product with Serializable