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

Constructor Summary

TaintFrame(int numLocals)

Method Summary

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, toString, 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)