Inter-procedural buffer overflows detection in C/C++ source code via static analysis

We propose inter-procedural static analysis tool for buffer overflow detection. It is based on previously developed intra-procedural algorithm which uses symbolic execution with state merging. This algorithm is path-sensitive and supports tracking several kinds of value relations such as arithmetic...

وصف كامل

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

الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلف الرئيسي:	I. . Dudina
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
الموضوعات:	статический анализ поиск дефектов переполнение буфера чувствительность к путям контекстная чувствительность межпроцедурный анализ символьное исполнение
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/173