Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Atomer: Atomicity Violations Analyser, Version 2.0

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F22%3APR37620" target="_blank" >RIV/00216305:26230/22:PR37620 - isvavai.cz</a>

  • Výsledek na webu

    <a href="https://github.com/harmim/infer/releases/tag/atomer-v2.0.0" target="_blank" >https://github.com/harmim/infer/releases/tag/atomer-v2.0.0</a>

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Atomer: Atomicity Violations Analyser, Version 2.0

  • Popis výsledku v původním jazyce

    Atomer version 2.0 is the second version of a static detector of violations of atomicity of call sequences in concurrent programs written in the C language 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 Meta/Facebook Infer Framework. Compared to the first version, support for various types of locks (re-entrant locks, locks with a limited validity range and automatic unlocking, etc.) has been added, the analysis has been made more precise (by adding static resolution of lock instances), the analysis mechanism for passing parameters between analysed functions has been improved, and various other improvements have been made to the abstract domains and operations over them, which are motivated by the desire for higher accuracy and better scalability of the analysis.

  • Název v anglickém jazyce

    Atomer: Atomicity Violations Analyser, Version 2.0

  • Popis výsledku anglicky

    Atomer version 2.0 is the second version of a static detector of violations of atomicity of call sequences in concurrent programs written in the C language 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 Meta/Facebook Infer Framework. Compared to the first version, support for various types of locks (re-entrant locks, locks with a limited validity range and automatic unlocking, etc.) has been added, the analysis has been made more precise (by adding static resolution of lock instances), the analysis mechanism for passing parameters between analysed functions has been improved, and various other improvements have been made to the abstract domains and operations over them, which are motivated by the desire for higher accuracy and better scalability of the analysis.

Klasifikace

  • 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)

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/8A19010" target="_blank" >8A19010: Arrowhead Tools for Engineering of Digitalisation Solutions</a><br>

  • Návaznosti

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

Ostatní

  • Rok uplatnění

    2022

  • 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ů

Údaje specifické pro druh výsledku

  • Interní identifikační kód produktu

    Atomer 2.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

    00216305

  • Název vlastníka

    Vysoké učení technické v Brně