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...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Author:	I. . Dudina
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/173