PAIS Lab seminar: Static analysis for data race detection // P. Andrianov

February 10^th, 2014 — 18:30
HSE Kirpichnaya building, aud. 902

Pavel Andrianov

Static analysis for data race detection

Detection of errors in multithreaded programs is very difficult task. The causes of majority of these errors are race conditions, when simultaneous access to shared data from different threads is possible. For example, analysis of error fixes in Linux kernel during a year shows, that errors related to race conditions are the most numerous class and constitute about 17% from all errors. The talk is about static verification method which can automatically detect race conditions. The method is based on configurable program analysis, implemented in CPAchecker tool, which allows to compose several types of analysis.

Slides:   RaceDetection.pdf