Input data generation for reaching specific function in program by iterative dynamic analysis

Dynamic symbolic execution is a well-known technique used for different tasks of program analysis: input generation for increasing test coverage for program, inputs of death generation, exploit generation and etc. But huge time costs of program analysis during dynamic symbolic execution for any real...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	A. Y. Gerasimov, L. V. Kruglov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	статический анализ динамический анализ генерация входных данных
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/176