ThreadSafe: static analysis for Java concurrency

Robert Atkey, Donald Sannella

Research output: Contribution to journalConference Contribution

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.

Fingerprint

Static analysis
Defects

Keywords

  • static analysis
  • concurrency
  • Java
  • concurrency defects
  • codebases
  • static analysis tool

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’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 = "11",
day = "30",
doi = "10.14279/tuj.eceasst.72.1025",
language = "English",
volume = "72",
journal = "Electronic Communications of the EASST",
issn = "1863-2122",

}

ThreadSafe : static analysis for Java concurrency. / Atkey, Robert; Sannella, Donald.

In: Electronic Communications of the EASST, Vol. 72, 30.11.2015.

Research output: Contribution to journalConference Contribution

TY - JOUR

T1 - ThreadSafe

T2 - Electronic Communications of the EASST

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

VL - 72

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

SN - 1863-2122

ER -