L2D2: A Low Level Deadlock Detector, Version 1.0

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

L2D2: A Low Level Deadlock Detector, Version 1.0

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

L2D2: A Low Level Deadlock Detector, Version 1.0

Popis výsledku anglicky

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.

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/8A17001" target="_blank" >8A17001: Aggregated Quality Assurance for Systems</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

L2D2 1.0

Technické parametry

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.

Ekonomické parametry

Software je volně dostupný včetně zdrojových textů.

IČO vlastníka výsledku

—

Název vlastníka

Fakulta informačních technologií