Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 12 Static analysis methods for automatic defect detection in multi threaded programs Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа Moiseev Mikhail mikhail.moiseev@gmail.com 10 06 2010 3 101 77 86

Defect detection in multithreaded programs is considered in the article. An approach of usage static analysis algorithms of sequential programs for multithreaded programs is proposed. This approach is based on the thread analysis algorithm that analyzes parallel blocks and synchronization interactions.

 multithreaded program defects detection static analysis may happen in parallel analysis