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

Проверк
3) по
контейне
ресурса;
4) по
5) по
Для
тический
Для реа
функции
вращали
например
При
пировани
ет испол
тому, как
В ходе р
все возм
ресурсов
С др
мых ресу
ет прим
анализа.
реносим
ми опер
выбран
деляюще
а корректнос
пытка исп
ра, не сод
пытка исп
пытка повт
Рис. 1.
поиска пер
, так и дин
лизации д
выделени
и отрица
, система
динамичес
е содержи
ьзовать ин
это делаю
аботы дин
ожные ком
в предела
угой стор
рсов прои
енение дл
Преимущ
ость созда
ационным
статически
й и освоб
ти освобожд
ользования
ержащего
ользования
орного ос
Жизненный
ечисленны
амический
инамичес
я ресурсов
тельные р
Dmalloc.
ком подхо
мого одно
струменти
т системы
амическог
бинации у
х функции
оны, выде
сходит в
я решения
еством ста
нного про
и система
й подход
ождающей
ения ресурсов
или осво
корректно
ресурса п
вобождени
цикл идент
х ошибок
подходы
кого подх
, чтобы о
езультаты
де необхо
го контейн
рование ис
поиска го
о метода
спешного/
для полно
ление и о
пределах
поставле
тического
граммног
ми. Учит
на основе
проверяе
, локальных д
бождения р
го значен
осле его ос
я ресурса.
ификатора
можно ис
к проверке
ода необх
ни в ходе
— такой
димо такж
ера в друг
полняемог
нок при ра
необходим
неуспешн
го покрыти
свобожде
одной фун
нной зада
подхода
о решения
ывая эти
анализа Г
мые ресур
ля функции на
есурса с п
ие идентиф
вобожден
ресурса
пользовать
корректн
одимо по
тестирова
поход исп
е отслежи
ой, для че
о кода, ан
боте с пам
о будет п
ого выделе
я ее кода.
ние рассм
кции, что
чи и стати
является т
между ра
соображе
ПУ функ
сы [4].
языке C
3
омощью
икатора
ия;
как ста-
ости ПО.
дменить
ния воз-
ользует,
вать ко-
го следу-
алогично
ятью [3].
еребрать
ния всех
атривае-
упроща-
ческого
акже пе-
зличны-
ния был
ции, вы-