The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms

This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. The practical usefulness of the graph considered is the existence of the...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Modelirovanie i analiz informacionnyh sistem Jg. 20; H. 2; S. 166 - 177
Hauptverfasser:	Bitner, V. A., Zaborovsky, N. V.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Yaroslavl State University 18.03.2015
Schlagworte:	multithreaded algorithms optimizing compiler race condition ssa static analysis
ISSN:	1818-1015, 2313-5417
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!