Class InfiniteLoop

    • Constructor Detail

      • InfiniteLoop

        public InfiniteLoop​(BugReporter bugReporter)
    • Method Detail

      • getModifiedBitSet

        @Nonnull
        java.util.BitSet getModifiedBitSet​(int reg)
      • regModifiedAt

        private void regModifiedAt​(int reg,
                                   int pc)
      • clearRegModified

        private void clearRegModified()
      • isRegModified

        private boolean isRegModified​(int reg,
                                      int firstPC,
                                      int lastPC)
      • addForwardJump

        void addForwardJump​(int from,
                            int to)
      • getFurthestJump

        int getFurthestJump​(int from)
      • visit

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

        private void addBackwardsReach()
      • getBackwardsReach

        private int getBackwardsReach​(int target)
      • constantSince

        private boolean constantSince​(OpcodeStack.Item item1,
                                      int branchTarget)
      • reportPossibleBug

        void reportPossibleBug​(BugInstance bug)