А.В. Медников, В.А. Крищенко
12
Реализация алгоритма работает в соответствии с его ограничени-
ями: наиболее существенной проблемой является отсутствие обра-
ботки циклов и появление вследствие этого ошибки первого рода.
Несмотря на этот недостаток, созданные алгоритмы и разработанное
программное обеспечение позволяют обнаруживать часть ошибок,
связанных с получением и освобождением процессом ресурсов опе-
рационной системы, и могут быть полезны при поиске ошибок в ис-
ходном коде ПО.
Работа выполнена при частичной поддержке Российского фонда
фундаментальных исследований (грант № 13-07-00918).
ЛИТЕРАТУРА
[1] Stroustrup B.
The design and evolution of C++
—
Adisson
—
Wesley
, 1994,
480 p.
[2] Nethercote N., Seward J. Valgrind: a framework for heavyweight dynamic bi-
nary instrumentation.
Proceedings of the 2007 Programming Language Design
and Implementation Conference
, 2007, vol. 26, no. 6, pp. 89–100.
[3] Ковега Д.Н., Крищенко В.А. Использование системы LLVM при динами-
ческом поиске состояний гонок в программах.
Инженерный журнал:
наука и инновации
, 2013, вып. 2(14). URL:
cat
alog/it/hidden/549.html
[4] Lowry E.S., Medlock C.W. Object code optimization.
Common
.
ACM
, 1969,
vol. 12, no. 1, pp. 13–22.
Статья поступила в редакцию 10.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Медников А.В., Крищенко В.А. Проверка корректности освобождения
ресурсов, локальных для функции на языке C.
Инженерный журнал: аука и
инновации
,
2013, вып. 6. URL:
Медников Антон Владимирович
родился в 1991 г., окончил бакалавриат МГТУ
им. Н.Э. Баумана в 2012 г. Магистрант кафедры «Программное обеспечение ЭВМ
и информационные технологии». Научные интересы: анализ и верификация
программ. e-mail:
Крищенко Всеволод Александрович
родился в 1975 г., окончил магистратуру
МГТУ им Н.Э. Баумана в 1998 г. Канд. техн. наук, доцент кафедры «Про-
граммное обеспечение ЭВМ и информационные технологии». Автор более 15
научных трудов, научные интересы - статический и динамический анализ и
верификации программного обеспечения и сетевых протоколов. e-mail:
