Packages

trait IsTaintLattice[L] extends IsSchemeLattice[L]

Linear Supertypes
IsSchemeLattice[L], JoinLattice[L], PartialOrdering[L], Equiv[L], Serializable, Serializable, Monoid[L], Semigroup[L], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsTaintLattice
  2. IsSchemeLattice
  3. JoinLattice
  4. PartialOrdering
  5. Equiv
  6. Serializable
  7. Serializable
  8. Monoid
  9. Semigroup
  10. AnyRef
  11. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait SchemeLatticeLaw extends MonoidLaw
    Definition Classes
    IsSchemeLattice
  2. trait MonoidLaw extends scalaz.Monoid.SemigroupLaw
    Definition Classes
    Monoid
  3. trait SemigroupApply extends Apply[[α]F]
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  4. trait SemigroupCompose extends Compose[[α, β]F]
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  5. trait SemigroupLaw extends AnyRef
    Definition Classes
    Semigroup
  6. trait JoinLatticeLaw extends AnyRef
    Definition Classes
    JoinLattice

Abstract Value Members

  1. abstract def binaryOp(op: BinaryOperator)(x: L, y: L): MayFail[L]

    Performs a binary operation on abstract values x and y

    Performs a binary operation on abstract values x and y

    Definition Classes
    IsSchemeLattice
  2. abstract def bottom: L

    A lattice has a bottom element

    A lattice has a bottom element

    Definition Classes
    JoinLattice
  3. abstract def car[Addr](x: L)(implicit arg0: Address[Addr]): Set[Addr]

    Takes the car of a cons cell

    Takes the car of a cons cell

    Definition Classes
    IsSchemeLattice
  4. abstract def cardinality(x: L): Cardinality

    Cardinality of this value

    Cardinality of this value

    Definition Classes
    JoinLattice
  5. abstract def cdr[Addr](x: L)(implicit arg0: Address[Addr]): Set[Addr]

    Takes the cdr of a cons cell

    Takes the cdr of a cons cell

    Definition Classes
    IsSchemeLattice
  6. abstract def cons[Addr](car: Addr, cdr: Addr)(implicit arg0: Address[Addr]): L

    Creates a cons cell

    Creates a cons cell

    Definition Classes
    IsSchemeLattice
  7. abstract def counting: Boolean

    It should state whether it supports abstract counting or not.

    It should state whether it supports abstract counting or not. (TODO: this is probably not the best place for that)

    Definition Classes
    JoinLattice
  8. abstract def getClosures[Exp, Addr](x: L)(implicit arg0: Expression[Exp], arg1: Address[Addr]): Set[(Exp, Environment[Addr])]

    Extract closures contained in this value

    Extract closures contained in this value

    Definition Classes
    IsSchemeLattice
  9. abstract def getPrimitives[Addr, Abs](x: L)(implicit arg0: Address[Addr], arg1: JoinLattice[Abs]): Set[Primitive[Addr, Abs]]

    Extract primitives contained in this value

    Extract primitives contained in this value

    Definition Classes
    IsSchemeLattice
  10. abstract def getVectors[Addr](x: L)(implicit arg0: Address[Addr]): Set[Addr]

    Extract vector addresses contained in this value

    Extract vector addresses contained in this value

    Definition Classes
    IsSchemeLattice
  11. abstract def inject[Exp, Addr](x: (Exp, Environment[Addr]))(implicit arg0: Expression[Exp], arg1: Address[Addr]): L

    Injection of a closure

    Injection of a closure

    Definition Classes
    IsSchemeLattice
  12. abstract def inject[Addr, Abs](x: Primitive[Addr, Abs])(implicit arg0: Address[Addr], arg1: JoinLattice[Abs]): L

    Injection of a primitive function

    Injection of a primitive function

    Definition Classes
    IsSchemeLattice
  13. abstract def inject(x: Char): L

    Injection of a character

    Injection of a character

    Definition Classes
    IsSchemeLattice
  14. abstract def inject(x: Boolean): L

    Injection of a boolean

    Injection of a boolean

    Definition Classes
    IsSchemeLattice
  15. abstract def inject(x: String): L

    Injection of a string

    Injection of a string

    Definition Classes
    IsSchemeLattice
  16. abstract def inject(x: Double): L

    Injection of a float

    Injection of a float

    Definition Classes
    IsSchemeLattice
  17. abstract def inject(x: Int): L

    Injection of an integer

    Injection of an integer

    Definition Classes
    IsSchemeLattice
  18. abstract def injectSymbol(x: String): L

    Injection of a symbol

    Injection of a symbol

    Definition Classes
    IsSchemeLattice
  19. abstract def intTop: L

    The top integer

    The top integer

    Definition Classes
    IsSchemeLattice
  20. abstract def isFalse(x: L): Boolean

    Can this value be considered false for conditionals?

    Can this value be considered false for conditionals?

    Definition Classes
    IsSchemeLattice
  21. abstract def isPrimitiveValue(x: L): Boolean

    Some elements may contain addresses in there and are therefore not considered as primitive values

    Some elements may contain addresses in there and are therefore not considered as primitive values

    Definition Classes
    JoinLattice
  22. abstract def isTrue(x: L): Boolean

    Can this value be considered true for conditionals?

    Can this value be considered true for conditionals?

    Definition Classes
    IsSchemeLattice
  23. abstract def join(x: L, y: L): L

    Elements of the lattice can be joined together

    Elements of the lattice can be joined together

    Definition Classes
    JoinLattice
  24. abstract def name: String

    A name identifying the lattice

    A name identifying the lattice

    Definition Classes
    JoinLattice
  25. abstract def nil: L

    Nil value

    Nil value

    Definition Classes
    IsSchemeLattice
  26. abstract def sanitize(x: L): L
  27. abstract def subsumes(x: L, y: L): Boolean

    Subsumption between two elements can be checked

    Subsumption between two elements can be checked

    Definition Classes
    JoinLattice
  28. abstract def taint(x: L, source: Position): L
  29. abstract def taintStatus(x: L): TaintStatus
  30. abstract def unaryOp(op: UnaryOperator)(x: L): MayFail[L]

    Performs a unary operation on the abstract value x

    Performs a unary operation on the abstract value x

    Definition Classes
    IsSchemeLattice
  31. abstract def vector[Addr](addr: Addr, size: L, init: Addr)(implicit arg0: Address[Addr]): MayFail[(L, L)]

    Creates a vector of the given size, where the initial value lies at address.

    Creates a vector of the given size, where the initial value lies at address. Return the vector address wrapped in a lattice value, as well as the vector value itsel

    Definition Classes
    IsSchemeLattice
  32. abstract def vectorRef[Addr](vector: L, index: L)(implicit arg0: Address[Addr]): MayFail[Set[Addr]]

    Get a value from a vector.

    Get a value from a vector. Returns the addresses where to look for the values

    Definition Classes
    IsSchemeLattice
  33. abstract def vectorSet[Addr](vector: L, index: L, addr: Addr)(implicit arg0: Address[Addr]): MayFail[(L, Set[Addr])]

    Changes a value inside a vector.

    Changes a value inside a vector. The address given is an address where the value can be stored if needed. Returns the vector value, as well as the addresses to update in the store. The value stored is not passed to vectorSet, but will be stored in the returned addresses.

    Definition Classes
    IsSchemeLattice

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to any2stringadd[IsTaintLattice[L]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (IsTaintLattice[L], B)
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to ArrowAssoc[IsTaintLattice[L]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def and(x: L, y: ⇒ L): L

    Conjunction

    Conjunction

    Definition Classes
    IsSchemeLattice
  7. def append(x: L, y: ⇒ L): L
    Definition Classes
    JoinLattice → Semigroup
  8. final def applicative: Applicative[[α]L]
    Definition Classes
    Monoid
  9. final def apply: Apply[[α]L]
    Definition Classes
    Semigroup
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def boolTop: L

    The top boolean

    The top boolean

    Definition Classes
    IsSchemeLattice
  12. final def category: Category[[α, β]L]
    Definition Classes
    Monoid
  13. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  14. final def compose: Compose[[α, β]L]
    Definition Classes
    Semigroup
  15. def ensuring(cond: (IsTaintLattice[L]) ⇒ Boolean, msg: ⇒ Any): IsTaintLattice[L]
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to Ensuring[IsTaintLattice[L]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  16. def ensuring(cond: (IsTaintLattice[L]) ⇒ Boolean): IsTaintLattice[L]
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to Ensuring[IsTaintLattice[L]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. def ensuring(cond: Boolean, msg: ⇒ Any): IsTaintLattice[L]
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to Ensuring[IsTaintLattice[L]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: Boolean): IsTaintLattice[L]
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to Ensuring[IsTaintLattice[L]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  21. def equiv(x: L, y: L): Boolean
    Definition Classes
    PartialOrdering → Equiv
  22. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to StringFormat[IsTaintLattice[L]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  23. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  24. def gt(x: L, y: L): Boolean
    Definition Classes
    PartialOrdering
  25. def gteq(x: L, y: L): Boolean
    Definition Classes
    PartialOrdering
  26. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  27. final def ifEmpty[B](a: L)(t: ⇒ B)(f: ⇒ B)(implicit eq: Equal[L]): B
    Definition Classes
    Monoid
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. def isMZero(a: L)(implicit eq: Equal[L]): Boolean
    Definition Classes
    Monoid
  30. def lt(x: L, y: L): Boolean
    Definition Classes
    PartialOrdering
  31. def lteq(x: L, y: L): Boolean
    Definition Classes
    JoinLattice → PartialOrdering
  32. def monoidLaw: MonoidLaw
    Definition Classes
    Monoid
  33. val monoidSyntax: MonoidSyntax[L]
    Definition Classes
    Monoid
  34. def multiply(value: L, n: Int): L
    Definition Classes
    Monoid
  35. def multiply1(value: L, n: Int): L
    Definition Classes
    Semigroup
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  39. final def onEmpty[A, B](a: L)(v: ⇒ B)(implicit eq: Equal[L], mb: Monoid[B]): B
    Definition Classes
    Monoid
  40. final def onNotEmpty[B](a: L)(v: ⇒ B)(implicit eq: Equal[L], mb: Monoid[B]): B
    Definition Classes
    Monoid
  41. def or(x: L, y: ⇒ L): L

    Disjunction

    Disjunction

    Definition Classes
    IsSchemeLattice
  42. def reverse: PartialOrdering[L]
    Definition Classes
    PartialOrdering
  43. val schemeLatticeLaw: SchemeLatticeLaw
    Definition Classes
    IsSchemeLattice
  44. def semigroupLaw: SemigroupLaw
    Definition Classes
    Semigroup
  45. val semigroupSyntax: SemigroupSyntax[L]
    Definition Classes
    Semigroup
  46. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  47. def toString(): String
    Definition Classes
    AnyRef → Any
  48. def totalLessThan(a: L, b: L): Boolean

    ADDED Force an artificial total order to sort final values and have a deterministic output.

    ADDED Force an artificial total order to sort final values and have a deterministic output. (The corresponding <= is not always transitive, but it is good enough.)

    Definition Classes
    JoinLattice
  49. def tryCompare(x: L, y: L): Option[Int]
    Definition Classes
    JoinLattice → PartialOrdering
  50. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  52. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. def zero: L
    Definition Classes
    JoinLattice → Monoid
  54. def →[B](y: B): (IsTaintLattice[L], B)
    Implicit
    This member is added by an implicit conversion from IsTaintLattice[L] to ArrowAssoc[IsTaintLattice[L]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from IsSchemeLattice[L]

Inherited from JoinLattice[L]

Inherited from PartialOrdering[L]

Inherited from Equiv[L]

Inherited from Serializable

Inherited from Serializable

Inherited from Monoid[L]

Inherited from Semigroup[L]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from IsTaintLattice[L] to any2stringadd[IsTaintLattice[L]]

Inherited by implicit conversion StringFormat from IsTaintLattice[L] to StringFormat[IsTaintLattice[L]]

Inherited by implicit conversion Ensuring from IsTaintLattice[L] to Ensuring[IsTaintLattice[L]]

Inherited by implicit conversion ArrowAssoc from IsTaintLattice[L] to ArrowAssoc[IsTaintLattice[L]]

Ungrouped