Product detail

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

FIEDOR, J. VOJNAR, T.

Product type

software

Abstract

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

Keywords

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

Create date

04.10.2012

Location

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

www