Защищаем свой код от багов: обзор пяти статических анализаторов для Java-кода