Voltar
Capítulo de livro Revisado por pares
BIBTEX RIS

Region Analysis for Race Detection

2009; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-03237-0_13

ISSN

1611-3349

Autores

Helmut Seidl, Vesal Vojdani,

Tópico(s)

Security and Verification in Computing

Resumo

Automatic race detection of C programs requires fast, yet sufficiently precise analysis of dynamic memory. Therefore, we present a region-based pointer analysis which seeks to identify disjoint regions of dynamically allocated objects to ensure that write accesses to the same region are always protected by the same mutexes. Our approach has been implemented within the interprocedural analyzer of concurrent C programs GobLint and we have successfully applied it on code from the Linux kernel, such as the access vector cache. This code relies on a synchronized hash table where an array of doubly linked lists is protected by an array of locks.

Referência(s)