Detail produktu

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

Vznik: 2020

Název česky
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4
Typ
software
Licence
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek požaduje licenční poplatek
Autoři
Klíčová slova

Concurrent programs, multithreaded programs, synchronisation, data races, deadlocks, atomicity, contracts for concurrency, dynamic analysis, noise injection.

Popis

ANaConDA je prostředí pro dynamickou analýzu vícevláknových programů psaných v jazycích C/C++. Analýza probíhá na binární úrovni s využitím instrumentace pomocí nástroje Intel Pin. Při vlastní analýze ANaConDA využívá detektory zaměřené na různé defekty v synchronizaci a šanci na nalezení vzácně se vyskytujících chyb zvyšuje pomocí vkládání šumu do plánování paralelně běžících vláken. Ve verzi 0.4 byla ANaConDA doplněna o nové extrapolující detektory chyb, zahrnující např. implementaci detektoru časově závislých chyb nad daty nazvaného FastTrack, jenž byl v literatuře původně navržen pro prostředí jazyka Java. Byla rovněž zdokonalena podpora tzv. kontraktů pro paralelismus, umožňující sledovat relativní atomičnost sekvencí volání některých funkcí, a to o práci s parametry funkcí. Byla také provedena řada optimalizací umožňujících nástroji zvládnout analýzu průmyslového kódu např. v podobě komunikačního prostředí DDS.

Umístění
Licenční podmínky

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Projekty
AQUAS: Agregované metody řízení kvality, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen
Výzkumné skupiny
Pracoviště
Nahoru