Static analysis methods for automatic defect detection in multi threaded programs

Computer Systems and Software

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.