论文信息 - Deterministic Static Analysis

Deterministic Static Analysis

The paper describes the issues that were found during fixing the nondeterministic behaviour of the Svace static analyzer and the approaches we have used to fix those issues. To ensure determinism, a lot of analysis phases and the build process were reworked. In addition, the stability of the analyzer results for small changes in input data is increased.

[1] A. A. Belevantsev. Multilevel static analysis for improving program quality , 2017, Programming and Computer Software.

[2] A. E. Borodin,et al. Using unreachable code analysis in static analysis tool for finding defects in source code , 2016 .

[3] Arutyun Avetisyan,et al. Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code , 2017, Ershov Informatics Conference.

[4] В.К. Кошелев,et al. Поиск ошибок доступа к буферу в программах на языке C/C++ , 2016 .

[5] Arutyun Avetisyan,et al. Static analyzer Svace for finding defects in a source program code , 2014, Programming and Computer Software.

[6] A. A. Belevantsev,et al. Using static symbolic execution to detect buffer overflows , 2017, Programming and Computer Software.

[7] A. Borodin,et al. Statically detecting buffer overflows in C/C++ , 2016 .

[8] A. Merkulov,et al. Supporting Java programming in the Svace static analyzer , 2017 .

[9] A. A. Belevantsev,et al. SharpChecker: Static analysis tool for C# programs , 2017, Programming and Computer Software.