Journal of Siberian Federal University. Engineering & Technologies / Effectiveness Evaluation of Static Analysis for Searching Natural Semantic Defects of Program Objects

Full text (.pdf)
Issue
Journal of Siberian Federal University. Engineering & Technologies. 2019 12 (1)
Authors
Victorov, Dmitry S.; Zhidkov, Roman E.
Contact information
Victorov, Dmitry S.: Military Academy of Aero-Space Defense named after the Marshal of Soviet Union G.K. Zhukov 50 Zhigareva Str., Tver, 170022, Russia; Zhidkov, Roman E.: Military Academy of Aero-Space Defense named after the Marshal of Soviet Union G.K. Zhukov 50 Zhigareva Str., Tver, 170022, Russia;
Keywords
functional defects; static analysis; verification; natural semantic; analyzer; modeling
Abstract

The paper evaluates the effectiveness of static analysis for searching a new type of functional defects called program objects natural semantic defects in terms of completeness and accuracy on the basis of the probability theory mathematical apparatus. Calculation of performance indicators is carried out by graph modeling of the defects localization variants in the software code constructions for various groups of operations (arithmetic, assignments, and comparisons). The possible state of the analyzer is modeled for each terminal situation on the basis of a priori known checking construction natural semantic result value statement (true trigger, conditionally true trigger, skip, and norm). The obtained dependencies allow to determine the feasibility of using static analysis to find considered defect’s type on the basis of statistical characteristics of software code

Pages
6-17
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/109177

Creative Commons License This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).