Detail projektu

Validace spustitelného kódu pro systémy průmyslové automatizace pomocí zpětného překladu

Období řešení: 1. 4. 2013 - 31. 12. 2013

Typ projektu: grant

Kód: FEKT/FIT-J-13-2000

Agentura: Vysoké učení technické v Brně

Program: Vnitřní projekty VUT

Název anglicky
Validation of Executable Code for Industrial Automation Devices using Decompilation
Typ
grant
Klíčová slova

zpětný překlad, spustitelný kód, validace, průmyslová automatizace, bezpečnost, ARM

Abstrakt

Metodologie testování průmyslových aplikací, které mají přímý vliv na bezpečnost a zdraví člověka, je v současnosti již na vysoké úrovni. Chyba však může být do aplikace zanesena i překladačem, zvláště při vysoké míře použitých optimalizací. Je proto nezbytné efektivně validovat i spustitelný kód sloužící pro řízení těchto systémů. Projekt si klade za cíl vytvořit automatizované řešení, které ověří míru shody vygenerovaného a původního kódu. Řešení je založeno na technice rekonfigurovatelného zpětného překladu (dekompilaci).

Řešitelé
Ďurfina Lukáš, Ing. (UIFS FIT VUT) , hlavní řešitel
Bradáč Zdeněk, Ing. (UAMT FEKT VUT) , spoluřešitel
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , spoluřešitel
Křoustek Jakub, Ing. (UIFS FIT VUT) , spoluřešitel
Šír Michal, Ing. (FEKT VUT) , spoluřešitel
Publikace

2013

  • KŘOUSTEK Jakub a KOLÁŘ Dušan. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, roč. 2, č. 1, 2013, s. 18-29. ISSN 1805-4951. Detail
  • KŘOUSTEK Jakub a KOLÁŘ Dušan. Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems (ComSIS), roč. 10, č. 4, 2013, s. 1673-1702. ISSN 1820-0214. Detail
  • KŘOUSTEK Jakub. Decompilation of VLIW Executable Files - Caveats and Pitfalls. In: 3nd International Scientific Conference Theoretical and Applied Aspects of Cybernetics. Kyiv: Cybernetics Faculty of Taras Shevchenko National University of Kyiv, 2013, s. 287-296. ISBN 978-966-399-538-0. Detail
  • ĎURFINA Lukáš a KOLÁŘ Dušan. Generic detection of the statically linked code. In: Proceedings of the Twelfth International Conference on Informatics INFORMATICS 2013. Spišská Nová Ves: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2013, s. 157-161. ISBN 978-80-8143-127-2. Detail
  • KŘOUSTEK Jakub a KOLÁŘ Dušan. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. In: 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2013, s. 259-264. ISBN 978-1-61208-283-7. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub a ZEMEK Petr. Psyb0t Malware: A Step-by-Step Decompilation Case Study. In: 20th Working Conference on Reverse Engineering (WCRE). Koblenz: IEEE Computer Society, 2013, s. 449-456. ISBN 978-1-4799-2930-6. Detail
  • KŘOUSTEK Jakub a POKORNÝ Fridolín. Reconstruction of Instruction Idioms in a Retargetable Decompiler. In: 4th Workshop on Advances in Programming Languages (WAPL'13). Kraków: IEEE Computer Society, 2013, s. 1507-1514. ISBN 978-1-4673-4471-5. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub a ZEMEK Petr. Retargetable Machine-Code Decompilation in Your Web Browser. In: 3rd IEEE World Congress on Information and Communication Technologies (WICT 2013). Hanoi: IEEE Computer Society, 2013, s. 57-62. ISBN 978-1-4799-3230-6. Detail
Produkty

2013

  • LfDComparator - nástroj pro porovnání LfD zdrojových kódu, software, 2013
    Autoři: Ďurfina Lukáš, Křoustek Jakub, Kolář Dušan Detail
Nahoru