ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F20%3APR34312" target="_blank" >RIV/00216305:26230/20:PR34312 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip" target="_blank" >https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4

Popis výsledku v původním jazyce

ANaConDA is a framework for dynamic analysis of multithreaded programs written in the C/C++ languages. The analysis is performed on the binary level using instrumentation through the Intel Pin tool. For the actual analysis, ANaConDA uses detectors focusing on various synchronisation-related defects. To increases chances to find even rarely occurring bugs, ANaConDA uses injection of noise into thread scheduling. In its 0.4 version, ANaConDA was extended by new extrapolating checkers, including, e.g., an implementation of the FastTrack data race detector, which has originally been proposed for Java programs. Further, ANaConDAs support for so-called contracts for concurrency, which allow one to analyze relative atomicity of certain method call sequences, was extended to support monitoring and distinguishing values of arguments of the involved functions. ANaConDA was also optimized in various ways in order to manage analysis of industrial code, e.g., the communication middleware DDS.

Název v anglickém jazyce

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4

Popis výsledku anglicky

ANaConDA is a framework for dynamic analysis of multithreaded programs written in the C/C++ languages. The analysis is performed on the binary level using instrumentation through the Intel Pin tool. For the actual analysis, ANaConDA uses detectors focusing on various synchronisation-related defects. To increases chances to find even rarely occurring bugs, ANaConDA uses injection of noise into thread scheduling. In its 0.4 version, ANaConDA was extended by new extrapolating checkers, including, e.g., an implementation of the FastTrack data race detector, which has originally been proposed for Java programs. Further, ANaConDAs support for so-called contracts for concurrency, which allow one to analyze relative atomicity of certain method call sequences, was extended to support monitoring and distinguishing values of arguments of the involved functions. ANaConDA was also optimized in various ways in order to manage analysis of industrial code, e.g., the communication middleware DDS.

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

ANaConDA 0.4

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í