Проверка корректности освобождения ресурсов, локальных для функции на языке C - page 8

8
Анал
нено выд
ния необ
Анализ з
гут потен
инструкц
редачи у
состояни
запись и
нения пр
из потока
еление ре
ходимо ан
аключаетс
циально в
иям относ
правления
я отслежи
нформации
оведения а
Рис.
А.В. Мед
ГПУ начи
сурса. Во
ализирова
я в обрабо
ызвать ош
ятся все и
. В резуль
ваемых л
о выявле
нализа бло
5. Алгоритм
ников, В.А. К
нается с б
избежани
ть каждый
тке тех ин
ибку испо
нструкции
тате обраб
окальных
нных оши
ка привед
анализа и
рищенко
лока, в кот
е потенци
блок не
струкций
льзования
блока, кро
отки инстр
переменны
бках в жур
ена на рис
нструкций б
ором был
ального за
более одн
блока, кот
ресурса. К
ме инстру
укции изм
х, и вып
нал. Схем
. 5.
лока
о выпол-
циклива-
ого раза.
орые мо-
данным
кций пе-
еняются
олняется
а выпол-