Комментарии 19
НЛО прилетело и опубликовало эту надпись здесь
Подозреваю, что самый первый случай — обман статического анализатора в компиляторе, но зуб не дам.
+1
«В условии не хватает переменной hotY. Классическая опечатка.»
там еще в вывод идёт красота — x везде и всюду. так что может так и задумано.
там еще в вывод идёт красота — x везде и всюду. так что может так и задумано.
0
Спасибо за статью!
Очень странный «спешный» код, непонятно только куда так рваться с Yet Another Game Engine, если рынок неплохо насыщен. И гигантами и поменьше решениями.
Толь подразделение прям совсем еще только распустилось и технологические процессы не устаканились, толь есть хитрый план.
Очень странный «спешный» код, непонятно только куда так рваться с Yet Another Game Engine, если рынок неплохо насыщен. И гигантами и поменьше решениями.
Толь подразделение прям совсем еще только распустилось и технологические процессы не устаканились, толь есть хитрый план.
+2
Когда читаешь такой материал, невольно задаешься вопросом, как этот софт вообще запускается с таким количеством ошибок.
Даже если и запустился, кажется, сделай неверное движение и все сломается :)
+1
Интересно, а array overrun — это у вас потоковый анализ ловит или по шаблонам находите? А если потоковый, то как вы доказываете, что состояние index == size
действительно достижимо, а не эфемерно? В общем случае этого нельзя доказать статически, всегда можно придумать код, на котором будет ложная сработка. Как такие сработки свести к минимуму?
0
Это Data Flow анализ.
Как вы доказываете состояние index == size действительно достижимо, а не эфемерно?Здесь мы не можем это доказать. Но почти всегда это ошибка и этого достаточно. Или код с сильным запахом.
Как такие сработки свести к минимуму?Это отдельная большая тема: Как и почему статические анализаторы борются с ложными срабатываниями.
+1
Это отдельная большая тема
Ну я же конкретно про этот случай спросил, а не про большую тему.
0
всегда можно придумать код, на котором будет ложная сработка. Как такие сработки свести к минимуму?
— Доктор, когда я сюда нажимаю, мне больно!
— Не нажимайте!
+1
Слегка не в тему, но мне интересно, проверяете ли вы PVS-Studio с помощью PVS-Studio?
+1
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Amazon Lumberyard: крик души