com.h3xstream.findsecbugs.taintanalysis
Class TaintDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<TaintFrame,TaintAnalysis>
      extended by 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

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow
DEBUG
 
Constructor Summary
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)


Copyright © 2015. All rights reserved.