Visible to the public The approach to finding errors in program code based on static analysis methodology

TitleThe approach to finding errors in program code based on static analysis methodology
Publication TypeConference Paper
Year of Publication2017
AuthorsNovikov, A. S., Ivutin, A. N., Troshina, A. G., Vasiliev, S. N.
Conference Name2017 6th Mediterranean Conference on Embedded Computing (MECO)
KeywordsBars, composability, diagnostic rules, efficiency improvement, Embedded computing, Human Behavior, increase of efficiency, program code Error detection, program diagnostics, pubcrawl, resilience, Resiliency, semantic information, Semantics, software quality, source code, source code (software), static code analysis, static code analysis methodology, static program code analysis, syntactic information, Syntactics, syntax tree, Testing, Tools
Abstract

The article considers the approach to static analysis of program code and the general principles of static analyzer operation. The authors identify the most important syntactic and semantic information in the programs, which can be used to find errors in the source code. The general methodology for development of diagnostic rules is proposed, which will improve the efficiency of static code analyzers.

URLhttps://ieeexplore.ieee.org/document/7977127
DOI10.1109/MECO.2017.7977127
Citation Keynovikov_approach_2017