Detail publikace

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

FIEDOR Jan a VOJNAR Tomáš. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, roč. 2012, č. 7687, s. 35-41. ISSN 0302-9743.
Název česky
ANaConDA: prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni
Typ
článek v časopise
Jazyk
angličtina
Autoři
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Klíčová slova

Dynamická analýza, Souběžnost, Vkládání šumu

Abstrakt

Článek představuje prostředí ANaConDA, jenž umožňuje jednoduše vytvářet dynamické analyzátory pro analýzu vícevláknových C/C++ programů na binární úrovni. ANaConDA také podporuje techniky pro vkládání šumu, které zvyšují šance nalezení chyb ve vícevláknových programech. ANaConDA je vystavěna nad prostředím PIN pro instrumentaci binárního kódu. ANaConDA může být konkretizována tak, aby mohla pracovat s programy využívajícími různé modely vláken. Aktuálně byla konkretizována pro programy využívající knihovnu pthread a také Win32 API pro práci s vlákny.

Rok
2012
Strany
35-41
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 7687, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB10108,
   author = "Jan Fiedor and Tom\'{a}\v{s} Vojnar",
   title = "ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level",
   pages = "35--41",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 7687,
   year = 2012,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10108"
}
Nahoru