PAIS Lab seminar: Static analysis for data race detection // P. Andrianov
HSE Kirpichnaya building, aud. 902
Linux Verification Center, ISP RAS
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.
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!