L2D2: A Low Level Deadlock Detector, Version 1.0
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F20%3APR34309" target="_blank" >RIV/00216305:26230/20:PR34309 - isvavai.cz</a>
Result on the web
<a href="https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131" target="_blank" >https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
L2D2: A Low Level Deadlock Detector, Version 1.0
Original language description
L2D2 version 1.0 is the first version of a static detector of deadlocks in concurrent programs written in C, C++, or Java and using low-level synchronisation by explicit mutex locking and unlocking. The tool is a static analyser based on abstract interpretation and function summaries, which are computed along the call tree, starting from its leaves so as to achieve good scalability. The detector is implemented in Ocaml as a plugin of the Facebook Infer Framework.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/8A17001" target="_blank" >8A17001: Aggregated Quality Assurance for Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
L2D2 1.0
Technical parameters
Pro informace o licenčních podmínkách prosím kontaktujte: Ing. Kristýna Dvořáčkova, MSc., Výzkumné centrum informačních technologií, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 66 Brno, tel. 541 141 466.
Economical parameters
Software je volně dostupný včetně zdrojových textů.
Owner IČO
—
Owner name
Fakulta informačních technologií