Detail publikace

Advanced Static Analysis for Decompilation Using Scattered Context Grammars

ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011. p. 164-169. ISBN: 978-1-61804-051-0.
Název česky
Pokročilé statické analýzy využívající gramatiky s rozptýleným kontextem a jejich aplikace při zpětném překladu
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ďurfina Lukáš, Ing., Ph.D.
Křoustek Jakub, Ing., Ph.D.
Zemek Petr, Ing., Ph.D.
Kolář Dušan, doc. Dr. Ing. (UIFS)
Hruška Tomáš, prof. Ing., CSc. (UIFS)
Masařík Karel, Ing., Ph.D. (CK-SDZ)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)
Klíčová slova

dekompilace, Lissom, statická analýza, LLVM IR, gramatiky s rozptýleným kontextem

Abstrakt

Článek pojednává o pokročilých metodách statické analýzy kódu a prezentuje nové metody založené na gramatikách s rozptýleným kontextem. Navržené metody jsou použity pro zefektivnění existujícího zpětného překladače.

Rok
2011
Strany
164–169
Sborník
Proceedings of the Applied Computing Conference 2011 (ACC'11)
ISBN
978-1-61804-051-0
Vydavatel
World Scientific and Engineering Academy
Místo
Angers
BibTeX
@inproceedings{BUT76457,
  author="Lukáš {Ďurfina} and Jakub {Křoustek} and Petr {Zemek} and Dušan {Kolář} and Tomáš {Hruška} and Karel {Masařík} and Alexandr {Meduna}",
  title="Advanced Static Analysis for Decompilation Using Scattered Context Grammars",
  booktitle="Proceedings of the Applied Computing Conference 2011 (ACC'11)",
  year="2011",
  pages="164--169",
  publisher="World Scientific and Engineering Academy",
  address="Angers",
  isbn="978-1-61804-051-0"
}
Nahoru