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

全面介紹

書目詳細資料

發表在:	Труды Института системного программирования РАН
Main Authors:	R. R. Mulyukov, A. E. Borodin
格式:	Article
語言:	英语
出版:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
主題:	статический анализ недостижимый код анализ потока данных svace поиск ошибок
在線閱讀:	https://ispranproceedings.elpub.ru/jour/article/view/175