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)
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"
}