Sound static deadlock analysis for C/Pthreads
We present a static deadlock analysis for C/Pthreads. The design of our method has been guided by the requirement to analyse real-world code. Our approach is sound (i.e., misses no deadlocks) for programs that have defined behaviour according to the C standard and the Pthreads specification, and is...
| Main Authors: | , , , |
|---|---|
| פורמט: | Conference item |
| יצא לאור: |
Association for Computing Machinery
2016
|