Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue N7 2011 year

Computational Approach to Data-Race Static Analysis
N. V. Zaborovsky , A. G. Tormasov , e-mail: turnik@mail.ru

There are various methodologies analyzing multithreaded algorithms. The article contains description and substantiation of the new approach to the problem of searching data-races in multithreaded programs. Suggested approach is basing on the static code analysis including analysis of some extra auxiliary constructions and also includes little computational part.

Keywords: static analysis, data race, race condition, multithreaded execution
pp. 15–20