Class JvmReturnTaintSink


  • public class JvmReturnTaintSink
    extends JvmTaintSink
    A JvmTaintSink triggered if the return value of the specified method is tainted.
    • Constructor Detail

      • JvmReturnTaintSink

        public JvmReturnTaintSink​(Signature signature)
      • JvmReturnTaintSink

        public JvmReturnTaintSink​(Signature signature,
                                  java.util.function.Predicate<TaintSource> isValidForSource)
    • Method Detail

      • getMemoryLocations

        public java.util.Set<JvmMemoryLocation> getMemoryLocations()
        The location of values returned by a method is the top of the stack. Since in our convention just the top value is tainted for category 2 types just the top is enough.
        Specified by:
        getMemoryLocations in class JvmTaintSink
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class JvmTaintSink
      • toString

        public java.lang.String toString()
        Specified by:
        toString in class TaintSink