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

Full description

Bibliographic Details

Published in:	Modelirovanie i analiz informacionnyh sistem Vol. 20; no. 2; pp. 166 - 177
Main Authors:	Bitner, V. A., Zaborovsky, N. V.
Format:	Journal Article
Language:	English
Published:	Yaroslavl State University 18.03.2015
Subjects:	multithreaded algorithms optimizing compiler race condition ssa static analysis
ISSN:	1818-1015, 2313-5417
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!