Статический анализатор кода для нахождения возможных ситуаций, в которых может произойти ошибка