Detail projektu

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

Období řešení: 1. 1. 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

Typ
grant
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., Ph.D. – hlavní řešitel
Bradáč Zdeněk, doc. Ing., Ph.D. (UAMT)
Kolář Dušan, doc. Dr. Ing. (UIFS)
Křoustek Jakub, Ing., Ph.D.
Šír Michal, Ing.
Publikace

2013

  • ĎURFINA, L.; KOLÁŘ, D. Generic detection of the statically linked code. Proceedings of the Twelfth International Conference on Informatics INFORMATICS 2013. Spišská Nová Ves: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013. p. 157-161. ISBN: 978-80-8143-127-2. Detail
  • ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Retargetable Machine-Code Decompilation in Your Web Browser. 3rd IEEE World Congress on Information and Communication Technologies (WICT 2013). Hanoi: IEEE Computer Society, 2013. p. 57-62. ISBN: 978-1-4799-3230-6. Detail
  • ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P. Psyb0t Malware: A Step-By-Step Decompilation Case Study. In 20th Working Conference on Reverse Engineering (WCRE). Koblenz: IEEE Computer Society, 2013. p. 449-456. ISBN: 978-1-4799-2930-6. Detail
  • KŘOUSTEK, J. Decompilation of VLIW Executable Files - Caveats and Pitfalls. 3nd International Scientific Conference Theoretical and Applied Aspects of Cybernetics. Kyiv: Cybernetics Faculty of Taras Shevchenko National University of Kyiv, 2013. p. 287-296. ISBN: 978-966-399-538-0. Detail
  • KŘOUSTEK, J.; KOLÁŘ, D. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: International Academy, Research, and Industry Association, 2013. p. 259-264. ISBN: 978-1-61208-283-7. Detail
  • KŘOUSTEK, J.; KOLÁŘ, D. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, 2013, vol. 2, no. 1, p. 18-29. ISSN: 1805-4951. Detail
  • KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. COMPUT SCI INF SYST, 2013, vol. 10, no. 4, p. 1673-1702. ISSN: 1820-0214. Detail
  • KŘOUSTEK, J.; POKORNÝ, F. Reconstruction of Compiler's Instruction Idioms in a Retargetable Decompiler. In 4th Workshop on Advances in Programming Languages (WAPL'13). Kraków: IEEE Computer Society, 2013. p. 1507-1514. ISBN: 978-1-4673-4471-5. Detail
Nahoru