com.h3xstream.findsecbugs.taintanalysis

Class TaintDataflowEngine

java.lang.Object

com.h3xstream.findsecbugs.taintanalysis.TaintDataflowEngine

All Implemented Interfaces:

edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,TaintDataflow>, edu.umd.cs.findbugs.classfile.IMethodAnalysisEngine<TaintDataflow>

public class TaintDataflowEngine
extends Object
implements edu.umd.cs.findbugs.classfile.IMethodAnalysisEngine<TaintDataflow>

Requests or creates needed objects and execute taint analysis, extends taint summaries with analyzed methods

Author:

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

Field Summary

Fields

Modifier and Type	Field and Description
protected static Writer	writer

Constructor Summary

Constructors

Constructor and Description
TaintDataflowEngine() Constructs the engine and loads all configured method summaries

Method Summary

Modifier and Type	Method and Description
TaintDataflow	analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache cache, edu.umd.cs.findbugs.classfile.MethodDescriptor descriptor)
static void	registerAdditionalVisitor(TaintFrameAdditionalVisitor visitor)
void	registerWith(edu.umd.cs.findbugs.classfile.IAnalysisCache iac)

Methods inherited from class java.lang.Object

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

Field Detail

writer

protected static Writer writer

Constructor Detail

TaintDataflowEngine

public TaintDataflowEngine()

Constructs the engine and loads all configured method summaries

Method Detail

registerAdditionalVisitor

public static void registerAdditionalVisitor(TaintFrameAdditionalVisitor visitor)

analyze

public TaintDataflow analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache cache,
                             edu.umd.cs.findbugs.classfile.MethodDescriptor descriptor)
                      throws edu.umd.cs.findbugs.classfile.CheckedAnalysisException

Specified by:

analyze in interface edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,TaintDataflow>

Throws:

edu.umd.cs.findbugs.classfile.CheckedAnalysisException

registerWith

public void registerWith(edu.umd.cs.findbugs.classfile.IAnalysisCache iac)

Specified by:

registerWith in interface edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,TaintDataflow>