Atomer: Atomicity Violations Analyser, Version 1.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%2F20%3APR34310" target="_blank" >RIV/00216305:26230/20:PR34310 - isvavai.cz</a>
Výsledek na webu
<a href="https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz" target="_blank" >https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Atomer: Atomicity Violations Analyser, Version 1.0
Popis výsledku v původním jazyce
Atomer version 1.0 is the first 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 Facebook Infer Framework.
Název v anglickém jazyce
Atomer: Atomicity Violations Analyser, Version 1.0
Popis výsledku anglicky
Atomer version 1.0 is the first 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 Facebook Infer Framework.
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/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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
Atomer 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í