A generic static analyzer for multithreaded Java programs. (9th May 2012)
- Record Type:
- Journal Article
- Title:
- A generic static analyzer for multithreaded Java programs. (9th May 2012)
- Main Title:
- A generic static analyzer for multithreaded Java programs
- Authors:
- Ferrara, P.
- Abstract:
- SUMMARY: In this paper, we present C heckmate, the first generic static analyzer of multithreadedJava 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.
- Is Part Of:
- Software, practice & experience. Volume 43:Number 6(2013)
- Journal:
- Software, practice & experience
- Issue:
- Volume 43:Number 6(2013)
- Issue Display:
- Volume 43, Issue 6 (2013)
- Year:
- 2013
- Volume:
- 43
- Issue:
- 6
- Issue Sort Value:
- 2013-0043-0006-0000
- Page Start:
- 663
- Page End:
- 684
- Publication Date:
- 2012-05-09
- Subjects:
- static analysis -- generic analyzers -- abstract interpretation -- multithreaded programs
Computer software -- Periodicals
Computer programming -- Periodicals
Computer programs -- Periodicals
005.3 - Journal URLs:
- http://onlinelibrary.wiley.com/ ↗
- DOI:
- 10.1002/spe.2126 ↗
- Languages:
- English
- ISSNs:
- 0038-0644
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 8321.453000
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 2471.xml