Conference item icon

Conference item

Sound static deadlock analysis for C/Pthreads

Abstract:

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 precise enough to prove deadlock-freedom for a large number of such programs. The method consists of a pipeline of several analyses that build on a new contextand thread-sensitive abstract interpre...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1145/2970276.2970309

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Association for Computing Machinery Publisher's website
Journal:
ASE 2016 Journal website
Host title:
ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering
Publication date:
2016-08-25
Acceptance date:
2016-07-07
DOI:
ISSN:
1573-7535
Source identifiers:
640252
ISBN:
9781450338455
Keywords:
Pubs id:
pubs:640252
UUID:
uuid:c427d70a-ff89-4851-a4ee-48cf6266df4d
Local pid:
pubs:640252
Deposit date:
2016-08-23

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP