A dynamic algorithm for source code static analysis
Pavel Mezhuev, Alexander Yurievich Gerasimov, Petr Privalov, Veronika Nikolaevna Butkevich
Abstract
Pavel Mezhuev, Alexander Yurievich Gerasimov, Petr Privalov, Veronika Nikolaevna Butkevich
Abstract
A source code static analysis became an industrial standard for program source code issues early detection. As one of requirements to such kind of analysis is high performance to provide response of automatic code checking tool as early as possible as far as such kind of tools integrates to Continuous testing and Integration systems. In this paper we propose a source code static analysis algorithm for solving performance issue of source code static analysis tool in general way.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A source code static analysis became an industrial standard for program source code issues early detection. As one of requirements to such kind of analysis is high performance to provide response of automatic code checking tool as early as possible as far as such kind of tools integrates to Continuous testing and Integration systems. In this paper we propose a source code static analysis algorithm for solving performance issue of source code static analysis tool in general way.
Key concepts: Computer science, Static program analysis, Source code, Static analysis, KPI-driven code analysis, Unreachable code, Code (set theory), Dead code