Static analysis methods for automatic defect detection in multi threaded programs

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.