Product Details
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level
Created: 2012
Czech title
ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni
Type
software
License
required - free
Authors
Keywords
Framework, Dynamic analysis, Program execution monitoring, C, C++, Concurrency, Noise injection, PIN
Description
ANaConDA is a framework that allows one to easily create dynamic analysers for analysing multi-threaded C/C++ programs on the binary level.
Location
Projects
Advanced secured, reliable and adaptive IT (FIT-S-11-1)
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification and Optimization of Computer Systems (FIT-S-12-1)
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification and Optimization of Computer Systems (FIT-S-12-1)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)