Detail publikace

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

FIEDOR, J.; VOJNAR, T. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. Lecture Notes in Computer Science, 2012, vol. 2012, no. 7687, p. 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
anglicky
Autoři
Fiedor Jan, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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
BibTeX 
@article{BUT97020,
  author="Jan {Fiedor} and Tomáš {Vojnar}",
  title="ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="7687",
  pages="35--41",
  issn="0302-9743"
}
Nahoru