Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top

Вебинар: Оптимизация игр - 25.09

>
>
>
>
ГОСТ Р 71207–2024 — Статический...

ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода

22 Авг 2024

Четвёртый из пяти вебинаров, посвящённых введённому в 2024 году стандарту по методологии статического анализа кода. Чтобы обеспечить поиск критических ошибок на высоком уровне, стандарт описывает методы анализа, которые должны быть реализованы в статических анализаторах. Посмотрели на практических примерах, как работают технологии статического анализа и какие ошибки можно с их помощью выявлять:

  • анализ иерархии классов;
  • внутрипроцедурный анализ потоков данных и управления;
  • межмодульный контекстно-чувствительный анализ потока данных;
  • статистический анализ (да, да, именно статистический :);
  • и так далее.

Серия вебинаров по тематике ГОСТ:

Комментарии (2)

Guest 
24/05/2025, 09:16:12

25:07 от чего проявление бага о неиспользованном пространстве зависит?

Ответить

Андрей Карпов 
26/05/2025, 17:14:58 для Guest

Здравствуйте. Вопрос не понятен. Здесь 25:07 речь идёт про чтение из объекта, который уже был удалён (память, где он хранился, освобождена). Что имеется в виду под "неиспользованном пространстве"?

Чтение из освобождённой памяти приводит к неопределённому поведению программы (UB). Например, может прочитаться случайное значение, которое сейчас хранится в ячейках памяти, где ранее был буфер выделенной памяти. Возможно, эта память уже используется для чего-то ещё. Возможно, прочитается значение, которое там было до освобождения, так как оно ещё не перетёрто. В этом случае будет казаться, что никакой ошибки нет. Или может произойти всё что угодно. Это ведь UB.

Ответить

close comment form