Treffer: JaDA -- the Java Deadlock Analyzer
Title:
JaDA -- the Java Deadlock Analyzer
Authors:
Contributors:
Symon Gay, Antonio Ravara, Abel Garcia, Cosimo Laneve
Publisher Information:
River Publishers
NLD
Delft
NLD
Delft
Publication Year:
2017
Collection:
IRIS Università degli Studi di Bologna (CRIS - Current Research Information System)
Subject Terms:
Document Type:
Buch
book part
File Description:
STAMPA
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/wos/WOS:000416714300009; ispartofbook:Behavioural Types: from Theory to Tools; firstpage:169; lastpage:191; numberofpages:23; alleditors:Symon Gay; Antonio Ravara; http://hdl.handle.net/11585/669699
Availability:
Accession Number:
edsbas.35858AC4
Database:
BASE
Weitere Informationen
JaDA is a static deadlock analyzer that targets Java bytecode. The core of JaDA is a behavioral type system especially designed to record dependencies between concurrent code. These behavioral types are thereafter analyzed by means of a fixpoint algorithm that reports potential deadlocks in the original Java code. We give a practical presentation of JaDA, highlighting the main connections between the tool and the theory behind it and presenting some of the features for customising the analysis. We finally assess JaDA against the current state-of-the-art tools, including a commercial grade one.