Class FindNullDerefsInvolvingNonShortCircuitEvaluation

    • Field Detail

      • DEBUG

        private static boolean DEBUG
    • Constructor Detail

      • FindNullDerefsInvolvingNonShortCircuitEvaluation

        public FindNullDerefsInvolvingNonShortCircuitEvaluation​(BugReporter bugReporter)
    • Method Detail

      • visit

        public void visit​(org.apache.bcel.classfile.Code code)
        Overrides:
        visit in class DismantleBytecode
      • checkForNullForcingABranch

        private void checkForNullForcingABranch​(int seen,
                                                int nextOpcode,
                                                OpcodeStack.Item item)
      • findLocation

        @CheckForNull
        Location findLocation​(CFG cfg,
                              int pc)
      • findLocation

        @CheckForNull
        Location findLocation​(CFG cfg,
                              org.apache.bcel.generic.InstructionHandle handle)
      • nullGuaranteesBranch

        private boolean nullGuaranteesBranch​(int seen,
                                             OpcodeStack.Item item)