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
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/2970276.2970309

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
More by this author
Department:
Oxford, MPLS, Computer Science
Schrammel, P More by this author
Wachter, B More by this author
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2016-08-25
Acceptance date:
2016-07-07
DOI:
ISSN:
1573-7535
Pubs id:
pubs:640252
URN:
uri:c427d70a-ff89-4851-a4ee-48cf6266df4d
UUID:
c427d70a-ff89-4851-a4ee-48cf6266df4d
Local pid:
pubs:640252
ISBN:
978-1-4503-3845-5

Terms of use


Metrics



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

TO TOP