Detail publikace
Advanced Static Analysis for Decompilation Using Scattered Context Grammars
ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. In: Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011, s. 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
angličtina
Autoři
Ďurfina Lukáš, Ing. (UIFS FIT VUT)
Křoustek Jakub, Ing. (UIFS FIT VUT)
Zemek Petr, Ing. (UIFS FIT VUT)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT)
Masařík Karel, Ing., Ph.D. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
Křoustek Jakub, Ing. (UIFS FIT VUT)
Zemek Petr, Ing. (UIFS FIT VUT)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT)
Masařík Karel, Ing., Ph.D. (UIFS FIT VUT)
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT)
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)
Konference
Applied Computing Conference, Angers, FR
ISBN
978-1-61804-051-0
Vydavatel
World Scientific and Engineering Academy
Místo
Angers, FR
BibTeX
@INPROCEEDINGS{FITPUB9767, author = "Luk\'{a}\v{s} \v{D}urfina and Jakub K\v{r}oustek and Petr Zemek and Du\v{s}an Kol\'{a}\v{r} and Tom\'{a}\v{s} Hru\v{s}ka and Karel Masa\v{r}\'{i}k and Alexander Meduna", title = "Advanced Static Analysis for Decompilation Using Scattered Context Grammars", pages = "164--169", booktitle = "Proceedings of the Applied Computing Conference 2011 (ACC'11)", year = 2011, location = "Angers, FR", publisher = "World Scientific and Engineering Academy", ISBN = "978-1-61804-051-0", language = "english", url = "https://www.fit.vut.cz/research/publication/9767" }