Preview

Труды Института системного программирования РАН

Расширенный поиск

Применение динамического анализа для поиска дефектов в программах на языке

Аннотация

В статье рассматриваются методы анализа программ и описывается практика применения данных методов для автоматизации задачи поиска ошибок в программном обеспечении. Подробно рассмотрен метод динамического анализа программ на основе инструментации, отслеживания потока помеченных данных и генерации наборов условий для автоматического построения входных данных. Рассмотрены особенности проведения подобного анализа для приложений, написанных на языке Java. Приведено описание прототипа инструмента, реализующего описанные подходы, представлены результаты его применения для анализа набора программ на языке Java и оценка полученных результатов.

Об авторах

С. П. Вартанов
ИСП РАН
Россия


А. Ю. Герасимов
ИСП РАН
Россия


Список литературы

1. Новикова Н. М. Основы оптимизации. М.: МГУ, 1998. 17–22 c.

2. Eén N., Sörensson N. MiniSat solver [HTML] (http://minisat.se/)

3. Ganesh V., Dill D. L. A Decision Procedure for Bit-Vectors and Arrays // In Proceedings of Computer Aided Verification. 2007. P. 524–536.

4. Исаев И. К., Сидоров Д. В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах // Программирование. 2010. № 4. С. 1-16.

5. Valgrind. Instrumentation Framework for Building Dynamic Analysis Tools [HTML](http://valgrind.org/)

6. Apache Commons Byte Code Engineering Library [HTML](http://commons.apache.org/bcel)


Рецензия

Для цитирования:


Вартанов С.П., Герасимов А.Ю. Применение динамического анализа для поиска дефектов в программах на языке. Труды Института системного программирования РАН. 2013;25:9-28.

For citation:


Vartanov S., Gerasimov A. Applying dynamic analysis for defect detection in Java-applications. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;25:9-28. (In Russ.)



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)