МЕТОД АНАЛИЗА ЗАВИСИМОСТЕЙ МЕЖДУ ВХОДНЫМИ И ВЫХОДНЫМИ ДАННЫМИ АЛГОРИТМОВ

Илья Викторович Арзамарцев, Игорь Адольфович Юров

Аннотация


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

Ключевые слова


поток данных; статический анализ

Полный текст:

PDF

Литература


1 Ахо А.В., Моника С., Джефри Д. Компиляторы: принципы, технологии и инструментарий. 2-е изд. Пер. с англ. М.: ООО «И.Д. Вильямс», 2008.

2 King J.C. Symbolic Execution and Program Testing // Magazine Communications of ACM. 1976. Vol. 19. P. 385—394.

3 Suzette P., Guowei Y., Neha R., Sarfraz K. Directed Incremental Symbolic Execution // Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation. 2011. P. 504—515.

4 Sarfaz K., Corina S., Willem V. Generalized Symbolic Execution for Model Checking and Testing // Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2003. P. 553—568.

5 Saxena P., Poosankam P., McCamant S., Song D. Loop-Extended Symbolic Execution on Binary Programs // Proceedings of the 18th International Symposium on Software Testing and Analysis. 2009. P. 225—236.

6 Newsome J., Song D. Dynamic Taint Analysis for Automatic Detection, Analysis and Signature Generation for Exploits on Commodity Software // Network and Distributed Systems Security Symposium. 2005. P. 60—70.


Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.