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

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Fiedor Jan, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

Framework, Dynamic analysis, Program execution monitoring, C, C++, Concurrency, Noise injection, PIN

ANaConDA is a framework that allows one to easily create dynamic analysers for analysing multi-threaded C/C++ programs on the binary level.

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

Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, completed
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, 2010-2013, running
The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, completed

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)