Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
Alexey Evgenevich Borodin, И. А. Дудина · Programming and Computer Software · 2021
Abstract In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the traversal of the control flow graph, symbolic execution with state merging, analysis of a number of paths in functions with loops, simultaneous run of all analyzers, modeling of accessible memory cells, and value numbering.