Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software 2021-12, Vol.47 (8), p.858-865
Hauptverfasser: Borodin, A. E., Dudina, I. A.
Format: Artikel
Sprache:eng
Schlagworte:
Analyzers
Artificial Intelligence
C plus plus
Computer Science
Operating Systems
Sensors
Software Engineering
Software Engineering/Programming and Operating Systems
Value numbering
Variables
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768821080028