Premium
A generic static analyzer for multithreaded Java programs
Author(s) -
Ferrara P.
Publication year - 2013
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.2126
Subject(s) - multithreading , computer science , java , thread (computing) , spectrum analyzer , programming language , speculative multithreading , parallel computing , abstract interpretation , java concurrency , operating system , real time java , telecommunications
SUMMARY In this paper, we present C heckmate , the first generic static analyzer of multithreaded Java programs based on abstract interpretation. C heckmate can be tuned at different levels of precision and efficiency in order to prove various properties (e.g., absence of divisions by zero and data races), and it is sound for multithreaded programs. It supports all the most relevant features of Java multithreading, such as dynamic thread creation, runtime creation of monitors, and dynamic allocation of memory. The experimental results demonstrate that C heckmate is accurate and efficient enough to analyze programs with some thousands of statements and a potentially infinite number of threads. Copyright © 2012 John Wiley & Sons, Ltd.