com.h3xstream.findsecbugs.taintanalysis
Class TaintMethodSummary

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

public class TaintMethodSummary
extends Object

Summary of information about a method related to taint analysis

Author:

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

Constructor Summary

TaintMethodSummary()

Method Summary

static TaintMethodSummary	getDefaultToStringSummary()
int	getMutableStackIndex()
Taint	getOutputTaint()
Collection<Integer>	getTransferParameters()
boolean	hasConstantOutputTaint()
boolean	hasMutableStackIndex()
boolean	hasTransferParameters()
static TaintMethodSummary	load(String str) Loads method summary from String
void	setMutableStackIndex(int mutableStackIndex)
void	setOuputTaint(Taint outputTaint)
void	setTransferParameters(Collection<Integer> transferParameters)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TaintMethodSummary

public TaintMethodSummary()

Method Detail

getTransferParameters

public Collection<Integer> getTransferParameters()

hasTransferParameters

public boolean hasTransferParameters()

setTransferParameters

public void setTransferParameters(Collection<Integer> transferParameters)

getMutableStackIndex

public int getMutableStackIndex()

hasMutableStackIndex

public boolean hasMutableStackIndex()

setMutableStackIndex

public void setMutableStackIndex(int mutableStackIndex)

getOutputTaint

public Taint getOutputTaint()

hasConstantOutputTaint

public boolean hasConstantOutputTaint()

setOuputTaint

public void setOuputTaint(Taint outputTaint)

toString

public String toString()

Overrides:

toString in class Object

getDefaultToStringSummary

public static TaintMethodSummary getDefaultToStringSummary()

load

public static TaintMethodSummary load(String str)
                               throws IOException

Loads method summary from String

Parameters:

str - (state or parameter indeces to merge separated by comma)#mutable position

Returns:

initialized object with taint method summary

Throws:

IOException - for bad format of paramter