An Approach to Lightweight Static Data Race Detection
Pavel Andrianov, Alexey Vladimirovich Khoroshilov, Vadim Mutilin · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2014
The paper presents a lightweight approach to static data race detection.It is based on the Lockset one, but it implements several simplifications that are aimed to reduce amount of false alarms.The approach is implemented on top of CPAchecker tool and its evaluation is in progress.The main target of our research and evaluation is operating system kernels but the approach can be applied to analysis of other programs as well.