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: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/175 |
| _version_ | 1811300041074147328 |
|---|---|
| author | R. R. Mulyukov A. E. Borodin |
| author_facet | R. R. Mulyukov A. E. Borodin |
| author_sort | R. R. Mulyukov |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-13T06:44:28Z |
| format | Article |
| id | doaj.art-0e109ad4da384fd7b0817b69ade9e4dd |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-04-13T06:44:28Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-0e109ad4da384fd7b0817b69ade9e4dd2022-12-22T02:57:37ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-0128514515810.15514/ISPRAS-2016-28(5)-9175Using unreachable code analysis in static analysis tool for finding defects in source codeR. R. Mulyukov0A. E. Borodin1Институт системного программирования РАНИнститут системного программирования РАН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.https://ispranproceedings.elpub.ru/jour/article/view/175статический анализнедостижимый коданализ потока данныхsvaceпоиск ошибок |
| spellingShingle | R. R. Mulyukov A. E. Borodin Using unreachable code analysis in static analysis tool for finding defects in source code Труды Института системного программирования РАН статический анализ недостижимый код анализ потока данных svace поиск ошибок |
| title | Using unreachable code analysis in static analysis tool for finding defects in source code |
| title_full | Using unreachable code analysis in static analysis tool for finding defects in source code |
| title_fullStr | Using unreachable code analysis in static analysis tool for finding defects in source code |
| title_full_unstemmed | Using unreachable code analysis in static analysis tool for finding defects in source code |
| title_short | Using unreachable code analysis in static analysis tool for finding defects in source code |
| title_sort | using unreachable code analysis in static analysis tool for finding defects in source code |
| topic | статический анализ недостижимый код анализ потока данных svace поиск ошибок |
| url | https://ispranproceedings.elpub.ru/jour/article/view/175 |
| work_keys_str_mv | AT rrmulyukov usingunreachablecodeanalysisinstaticanalysistoolforfindingdefectsinsourcecode AT aeborodin usingunreachablecodeanalysisinstaticanalysistoolforfindingdefectsinsourcecode |