ThreadSafe: static analysis for Java concurrency

Robert Atkey; Donald Sannella

doi:10.14279/tuj.eceasst.72.1025

ThreadSafe: static analysis for Java concurrency

Robert Atkey, Donald Sannella

Research output: Contribution to journal › Conference Contribution › peer-review

355 Downloads (Pure)

Abstract

ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.

Original language	English
Number of pages	15
Journal	Electronic Communications of the EASST
Volume	72
DOIs	https://doi.org/10.14279/tuj.eceasst.72.1025
Publication status	Published - 30 Nov 2015
Event	15th International Workshop on Automated Verification of Critical Systems - International Centre for Mathematical Sciences, Edinburgh, United Kingdom Duration: 1 Sept 2015 → 4 Sept 2015 https://sites.google.com/site/avocs15/

Keywords

static analysis
concurrency
Java
concurrency defects
codebases
static analysis tool

Access to Document

10.14279/tuj.eceasst.72.1025Licence: CC BY 4.0

Atkey-Sannella-ECEASST2015-ThreadsafeFinal published version, 359 KBLicence: CC BY 4.0

Cite this

@article{1afc80bc1da04fc0a60363c2f0e58adb,

title = "ThreadSafe: static analysis for Java concurrency",

abstract = "ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe{\textquoteright}s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.",

keywords = "static analysis, concurrency, Java, concurrency defects, codebases, static analysis tool",

author = "Robert Atkey and Donald Sannella",

year = "2015",

month = nov,

day = "30",

doi = "10.14279/tuj.eceasst.72.1025",

language = "English",

volume = "72",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

note = "15th International Workshop on Automated Verification of Critical Systems, AVoCS 2015 ; Conference date: 01-09-2015 Through 04-09-2015",

url = "https://sites.google.com/site/avocs15/",

}

TY - JOUR

T1 - ThreadSafe

T2 - 15th International Workshop on Automated Verification of Critical Systems

AU - Atkey, Robert

AU - Sannella, Donald

PY - 2015/11/30

Y1 - 2015/11/30

N2 - ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.

AB - ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.

KW - static analysis

KW - concurrency

KW - Java

KW - concurrency defects

KW - codebases

KW - static analysis tool

UR - http://bentnib.org/threadsafe.html

UR - https://sites.google.com/site/avocs15/

U2 - 10.14279/tuj.eceasst.72.1025

DO - 10.14279/tuj.eceasst.72.1025

M3 - Conference Contribution

SN - 1863-2122

VL - 72

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

Y2 - 1 September 2015 through 4 September 2015

ER -

ThreadSafe: static analysis for Java concurrency

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this