Using unreachable code analysis in static analysis tool for finding defects in source code

The goal of finding unreachable code is to report warnings about possible bugs in the source code and an increase of other analyses accuracy. The paper describes unreachable code classification and approaches for finding unreachable code in C/C++ programs. We described three data-flow analysis probl...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	R. R. Mulyukov, A. E. Borodin
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	статический анализ недостижимый код анализ потока данных svace поиск ошибок
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/175