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

ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni

software

vyžadována - zdarma

Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

Prostředí, Dynamická analýza, Monitorování běhu programu, C, C++, Souběžnost, Vkládání šumu, PIN

ANaConDA je prostředí, jenž umožňuje jednoduše vytvářet dynamické analyzátory pro analýzu vícevláknových C/C++ programů na binární úrovni.

http://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/

Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Pokročilé bezpečné, spolehlivé a adaptivní IT (FIT-S-11-1)
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Verifikace a optimalizace počítačových systémů (FIT-S-12-1)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)