Package com.h3xstream.findsecbugs.taintanalysis

Interface TaintFrameAdditionalVisitor

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method 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