ThreadSafe: static analysis for Java concurrency

Research output: Research - peer-reviewConference Contribution

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 languageEnglish
Number of pages15
JournalElectronic Communications of the EASST
StatePublished - 30 Nov 2015
Event15th International Workshop on Automated Verification of Critical Systems - International Centre for Mathematical Sciences, Edinburgh, United Kingdom
Duration: 1 Sep 20154 Sep 2015

    Research areas

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

View graph of relations