Combining dynamic symbolic execution, code static analysis and fuzzing

This paper describes a new approach for dynamic code analysis. It combines dynamic symbolic execution and static code analysis with fuzzing to increase efficiency of each component. During fuzzing we recover indirect function calls and pass that information to the static analysis engine. This improv...

وصف كامل

التفاصيل البيبلوغرافية

الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلفون الرئيسيون:	A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2019-02-01
الموضوعات:	фаззинг направленный фаззинг статический анализ обнаружение путей исполнения динамическое символьное исполнение
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/1119