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ýzy zkoumaného objektu za účelem vytvoření jeho reprezentace na vyšší úrovni abstrakce. Analýza spustitelných souborů je typicky provedena nad jazykem symbolických instrukcí. Použitím zpě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ýze je přímo úměrné kvalitě výstupu. V tomto článku prezentujeme rekonfigurovatelný zpětný překladač vyvíjen projektem Lissom na FIT VUT. Popíšeme základní strukturu překladače a následně se zaměříme na celkový design analýzy datových typů s důrazem na rekonstrukci 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"
}