com.h3xstream.findsecbugs.taintanalysis

Class TaintFrame

java.lang.Object

edu.umd.cs.findbugs.ba.Frame<Taint>

com.h3xstream.findsecbugs.taintanalysis.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 and Description
TaintFrame(int numLocals)

Method Summary

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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