| Autor: |
Vadim Sergeevich Mutilin, Pavel Andrianov, Alexey Khoroshilov |
| Jazyk: |
ruština |
| Rok vydání: |
2014 |
| Předmět: |
|
| Zdroj: |
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering. |
| ISSN: |
2311-7230 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
