Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

A. E. Borodin, I. A. Dudina

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)858-865
Number of pages8
JournalProgramming and Computer Software
Issue number8
Publication statusPublished - 28 Dec 2021


Dive into the research topics of 'Intraprocedural Analysis Based on Symbolic Execution for Bug Detection'. Together they form a unique fingerprint.

Cite this