Back to Search
Start Over
Using unreachable code analysis in static analysis tool for finding defects in source code
- Source :
- Труды Института системного программирования РАН, Vol 28, Iss 5, Pp 145-158 (2018)
- Publication Year :
- 2018
- Publisher :
- Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.
-
Abstract
- 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 problems: value interval analysis, excluded value analysis, predicate analysis. Solutions for these problems are used to detect redundant expressions in conditional statements. We described common occurrences of useless warnings. The algorithms are implemented in the Svace tool that is developed by ISP RAS. The results are evaluated for open source projects Android-5.02 and Tizen-2.3. They represent the number of found warnings and its intersection.
- Subjects :
- Source code
анализ потока данных
Dead code
Computer science
Programming language
media_common.quotation_subject
Static analysis
поиск ошибок
computer.software_genre
svace
lcsh:QA75.5-76.95
статический анализ
General Earth and Planetary Sciences
Unreachable code
lcsh:Electronic computers. Computer science
недостижимый код
Redundant code
computer
General Environmental Science
media_common
Subjects
Details
- Language :
- English
- ISSN :
- 22206426 and 20798156
- Volume :
- 28
- Issue :
- 5
- Database :
- OpenAIRE
- Journal :
- Труды Института системного программирования РАН
- Accession number :
- edsair.doi.dedup.....d18258ba649986e1ea5e9962f99af730