Journal article
Sound static deadlock analysis for C/Pthreads (extended version)
- Abstract:
-
We present a static deadlock analysis approach 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 precise enough to prove deadlock-freedom for a large number of programs. The method consists of a pipeline of several analyses that build on a new context- and thread-sensitive abstract interpretation framework. We further...
Expand abstract
- Publication status:
- Not published
Actions
Authors
Bibliographic Details
- Publication date:
- 2016-08-25
Item Description
- Keywords:
- Pubs id:
-
pubs:636595
- UUID:
-
uuid:125d39b2-b45e-432d-9f35-c5cbdaff591c
- Local pid:
- pubs:636595
- Source identifiers:
-
636595
- Deposit date:
- 2016-08-23
Terms of use
- Copyright holder:
- Kroening et al
- Copyright date:
- 2016
- Notes:
- This is an extended version of a conference paper published in ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering, available in ORA at https://ora.ox.ac.uk/objects/uuid:c427d70a-ff89-4851-a4ee-48cf6266df4d
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record