Личный кабинет
Подробное описание документа
Медников А. В.
Проверка корректности освобождения ресурсов, локальных для функции на языке C / Медников А. В., Крищенко В. А. - DOI 10.18698/2308-6033-2013-6-1098 // Инженерный журнал: наука и инновации. - 2013. - № 6. -
Скачать документ
Если перемененные, хранящие идентификатор полученного ресурса, являются локальными для некоторой функции, то ресурс должен быть свободен до момента ее завершения, иначе его освобождение произойдет только при уничтожении процесса. Оно также должно осуществляться в соответствии с жизненным циклом идентификатора ресурса. Для проверки корректности освобождения локальных ресурсов предложен алгоритм, основанный на статическом анализе ГПУ функции. Он позволяет обнаруживать утечку таких локальных для функции ресурсов, а также попытку повторного освобождения, использования после освобождения и попытку освобождения невыделенного ресурса. Программная реализация предложенного алгоритма использует ГПУ функции на языке C, полученный компилятором GCC. Разработанное программное обеспечение может обнаруживать ошибки, связанные с освобождением локальных ресурсов.
Статья опубликована в следующих изданиях
№ 6. - 2013.
