Class TaintSource

  • Direct Known Subclasses:
    JvmTaintSource

    public class TaintSource
    extends java.lang.Object
    A TaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields.
    • Constructor Summary

      Constructors 
      Constructor Description
      TaintSource​(Signature signature, boolean taintsThis, boolean taintsReturn, java.util.Set<java.lang.Integer> taintsArgs, java.util.Set<java.lang.String> taintsGlobals)
      Create a taint source.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • signature

        public final Signature signature
      • taintsThis

        public final boolean taintsThis
      • taintsReturn

        public final boolean taintsReturn
      • taintsArgs

        public final java.util.Set<java.lang.Integer> taintsArgs
      • taintsGlobals

        public final java.util.Set<java.lang.String> taintsGlobals
    • Constructor Detail

      • TaintSource

        public TaintSource​(Signature signature,
                           boolean taintsThis,
                           boolean taintsReturn,
                           java.util.Set<java.lang.Integer> taintsArgs,
                           java.util.Set<java.lang.String> taintsGlobals)
        Create a taint source.
        Parameters:
        signature - the signature a source method
        taintsThis - whether the source taints the calling instance
        taintsReturn - whether the source taints its return
        taintsArgs - a set of tainted arguments
        taintsGlobals - a set of tainted global variables
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object