com.h3xstream.findsecbugs.taintanalysis

Interface TaintFrameAdditionalVisitor

All Known Implementing Classes:

AbstractHardcodedPasswordEqualsDetector, HardcodedPasswordEqualsDetector, HashUnsafeEqualsDetector, JstlExpressionWhiteLister, KotlinHardcodedPasswordEqualsDetector, PotentialValueTracker

public interface TaintFrameAdditionalVisitor

Method Summary

Modifier and Type	Method and Description
void	visitField(org.apache.bcel.generic.FieldInstruction put, org.apache.bcel.generic.MethodGen methodGen, TaintFrame frameType, Taint taintFrame, int numProduced, org.apache.bcel.generic.ConstantPoolGen cpg)
void	visitInvoke(org.apache.bcel.generic.InvokeInstruction invoke, org.apache.bcel.generic.MethodGen methodGen, TaintFrame frameType, List<Taint> parameters, org.apache.bcel.generic.ConstantPoolGen cpg) This method will be triggered for every method invocation (static, interface, special and virtual).
void	visitLoad(org.apache.bcel.generic.LoadInstruction load, org.apache.bcel.generic.MethodGen methodGen, TaintFrame frameType, int numProduced, org.apache.bcel.generic.ConstantPoolGen cpg)
void	visitReturn(org.apache.bcel.generic.MethodGen methodGen, Taint returnValue, org.apache.bcel.generic.ConstantPoolGen cpg)

Method Detail

visitInvoke

void visitInvoke(org.apache.bcel.generic.InvokeInstruction invoke,
                 org.apache.bcel.generic.MethodGen methodGen,
                 TaintFrame frameType,
                 List<Taint> parameters,
                 org.apache.bcel.generic.ConstantPoolGen cpg)
          throws Exception

This method will be triggered for every method invocation (static, interface, special and virtual). The constant pool allowed the resolution of method name, field name, constant strings, etc. The taintframe

Parameters:

invoke -

methodGen - Method

frameType - Frame representation after the invoke (results)

parameters - Stack representation just before the invoke

cpg -

Throws:

Exception

visitReturn

void visitReturn(org.apache.bcel.generic.MethodGen methodGen,
                 Taint returnValue,
                 org.apache.bcel.generic.ConstantPoolGen cpg)
          throws Exception

Parameters:

methodGen - Method

returnValue - State of the returned value.

cpg -

Throws:

Exception

visitLoad

void visitLoad(org.apache.bcel.generic.LoadInstruction load,
               org.apache.bcel.generic.MethodGen methodGen,
               TaintFrame frameType,
               int numProduced,
               org.apache.bcel.generic.ConstantPoolGen cpg)
        throws Exception

Parameters:

load -

methodGen -

frameType -

numProduced -

cpg -

Throws:

Exception

visitField

void visitField(org.apache.bcel.generic.FieldInstruction put,
                org.apache.bcel.generic.MethodGen methodGen,
                TaintFrame frameType,
                Taint taintFrame,
                int numProduced,
                org.apache.bcel.generic.ConstantPoolGen cpg)
         throws Exception

Parameters:

put -

methodGen -

frameType -

taintFrame -

numProduced -

cpg -

Throws:

Exception