com.h3xstream.findsecbugs.taintanalysis
Class Taint

java.lang.Object
  com.h3xstream.findsecbugs.taintanalysis.Taint

public class Taint
extends Object

Representation of taint dataflow facts (dataflow values) for each slot in TaintFrame

Author:

David Formanek (Y Soft Corporation, a.s.)

Nested Class Summary

static class

Taint.State

Constructor Summary

Taint(Taint.State state)

Taint(Taint taint)

Method Summary

void	addTaintLocation(edu.umd.cs.findbugs.ba.Location location, boolean isKnownTaintSource)
boolean	equals(Object obj)
int	getLocalVariableIndex()
Set<edu.umd.cs.findbugs.ba.Location>	getPossibleTaintedLocations()
Taint.State	getState()
Set<edu.umd.cs.findbugs.ba.Location>	getTaintedLocations()
int	hashCode()
boolean	hasTaintedLocations()
boolean	hasValidLocalVariableIndex()
void	invalidateLocalVariableIndex()
boolean	isSafe()
boolean	isTainted()
static Taint	merge(Taint a, Taint b)
void	setLocalVariableIndex(int index)
void	setState(Taint.State state)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Taint

public Taint(Taint.State state)

Taint

public Taint(Taint taint)

Method Detail

getState

public Taint.State getState()

setState

public void setState(Taint.State state)

getLocalVariableIndex

public int getLocalVariableIndex()

hasValidLocalVariableIndex

public boolean hasValidLocalVariableIndex()

setLocalVariableIndex

public void setLocalVariableIndex(int index)

invalidateLocalVariableIndex

public void invalidateLocalVariableIndex()

addTaintLocation

public void addTaintLocation(edu.umd.cs.findbugs.ba.Location location,
                             boolean isKnownTaintSource)

getTaintedLocations

public Set<edu.umd.cs.findbugs.ba.Location> getTaintedLocations()

hasTaintedLocations

public boolean hasTaintedLocations()

getPossibleTaintedLocations

public Set<edu.umd.cs.findbugs.ba.Location> getPossibleTaintedLocations()

isSafe

public boolean isSafe()

isTainted

public boolean isTainted()

merge

public static Taint merge(Taint a,
                          Taint b)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object