Detail publikace
Reconstruction of simple data types in decompilation
Kolář Dušan, doc. Dr. Ing. (UIFS)
zpětné inženýrství, zpětný překladač, analýza datových typů,rekonstrukce datových typů, Lissom
Zpětné inženýrství může být definováno jako proces analýzyzkoumaného objektu za účelem vytvoření jeho reprezentace navyšší úrovni abstrakce. Analýza spustitelných souborů jetypicky provedena nad jazykem symbolických instrukcí. Použitímzpětného překladače můžeme ale získat čitelnějšívysokoúrovňový kód. Čas a úsilí nutné k následné analýzeje přímo úměrné kvalitě výstupu. V tomto článku prezentujemerekonfigurovatelný zpětný překladač vyvíjen projektem Lissom naFIT VUT. Popíšeme základní strukturu překladače a následně sezaměříme na celkový design analýzy datových typů s důrazem narekonstrukci jednoduchých typů. V závěru diskutujeme dosaženéexperimentální výsledky a budoucí výzkum.
@inproceedings{BUT103582,
author="Peter {Matula} and Dušan {Kolář}",
title="Reconstruction of simple data types in decompilation",
booktitle="Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013",
year="2013",
pages="1--10",
publisher="Akademické sdružení MAGNANIMITAS Assn.",
address="Hradec Králové",
isbn="978-80-87952-00-9"
}