История изменений
Исправление wandrien, (текущая версия) :
Верхний пример бесконечный цикл,
Верхний пример делает segfault, обращаясь к рандомной памяти.
нижний use-after-free
Ты понимаешь, что там может быть неочевидная для статистических анализаторов логика? Или это может быть библиотечный вызов, не покрытый описанием семантики для анализатора? Или что там вообще может не быть никакого free, а тупо программист опечатался и не то целое в последующем вычислении подставил? Или от значения не той переменной сделал ветвление. (А учитывая еще и приколы с UB, это может очень прикольно в ногу стрелять.)
Есть какая-то разумная причина, почему нужно забивать пространство имён переменными, которые в конкретных точках программы будут ЕЩЕ содержать мусор и УЖЕ содержать мусор?
Ты понимаешь маразм того, что у тебя синтаксически доступно имя, которое заведомо содержит мусор, и обращение которому не имеет смысла?
Исходная версия wandrien, :
Верхний пример бесконечный цикл,
Верхний пример делает segfault, обращаясь к рандомной памяти.
нижний use-after-free
Ты понимаешь, что там может быть неочевидная для статистических анализаторов логика? Или это может быть библиотечный вызов, не покрытый описанием семантики для анализатора? Или что там вообще может не быть никакого free, а тупо программист опечатался и не то целое в последующем вычислении подставил? Или от значения не той переменной сделал ветвление.
Есть какая-то разумная причина, почему нужно забивать пространство имён переменными, которые в конкретных точках программы будут ЕЩЕ содержать мусор и УЖЕ содержать мусор?
Ты понимаешь маразм того, что у тебя синтаксически доступно имя, которое заведомо содержит мусор, и обращение которому не имеет смысла?