Package com.h3xstream.findsecbugs.taintanalysis

Class TaintFrame

  • public class TaintFrame
extends edu.umd.cs.findbugs.ba.Frame<Taint>
    Representation of the dataflow value (fact) modeling taint state of local variables and values on stack, consists of Taint values
    Author:
    David Formanek (Y Soft Corporation, a.s.)

    • Constructor Summary

      Constructors 
      Constructor Description
      TaintFrame​(int numLocals)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      String toString()  
      String toString​(String[] variableNames)
      The toString method are intended for debugging.
      String toString​(org.apache.bcel.generic.MethodGen method)  

      • Methods inherited from class edu.umd.cs.findbugs.ba.Frame

        allSlots, clearStack, contains, copyFrom, getArgument, getArgument, getArgumentSet, getArgumentSlot, getInstance, getInstanceSlot, getInstanceStackLocation, getLastUpdateTimestamp, getNumArguments, getNumArgumentsIncludingObjectInstance, getNumLocals, getNumSlots, getOperand, getStackDepth, getStackLocation, getStackValue, getTopStackWords, getTopValue, getValue, isBottom, isTop, isValid, popValue, pushValue, sameAs, setBottom, setLastUpdateTimestamp, setTop, setValid, setValue, valueToString

    • Constructor Detail

      • TaintFrame

        public TaintFrame​(int numLocals)

    • Method Detail

      • toString

        public String toString​(org.apache.bcel.generic.MethodGen method)

      • toString

        public String toString()
        Overrides:
        toString in class edu.umd.cs.findbugs.ba.Frame<Taint>

      • toString

        public String toString​(String[] variableNames)
        The toString method are intended for debugging. To see the visual state of TaintFrame in IntelliJ, Right-Click on the variable and select "View Text".
        Parameters:
        variableNames - List of variables names that will be map to local sloths.
        Returns:
        View of the stack followed by the local variables