Тот баг не нашел ни один анализатор. Потом были статьи, что мол если сделать так, вот так и вот тут ещё настроечку поменять, а вот здесь подсказать специальным комментарием, то анализатор X это найдёт. Но это не считается. По факту все анализаторы облажались. И это нормально, в том смысле что никто и не обещал, что анализаторы должны находить КАЖДУЮ ошибку. Искусственный интеллект ещё не придумали. Но не смотря на свою неидеальность, статические анализаторы всё равно приносят пользу и это факт.