com.h3xstream.findsecbugs.taintanalysis

Class TaintDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<TaintFrame,TaintAnalysis>

com.h3xstream.findsecbugs.taintanalysis.TaintDataflow

public class TaintDataflow
extends edu.umd.cs.findbugs.ba.Dataflow<TaintFrame,TaintAnalysis>

Analysis object storing the result of taint analysis on a method

Author:

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

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and Description
TaintDataflow(edu.umd.cs.findbugs.ba.CFG cfg, TaintAnalysis analysis)

Method Summary

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact

Methods inherited from class java.lang.Object

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

Constructor Detail

TaintDataflow

public TaintDataflow(edu.umd.cs.findbugs.ba.CFG cfg,
                     TaintAnalysis analysis)