Project Details

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

Project Period: 1. 1. 2013 – 31. 12. 2013

Project Type: grant

Code: FEKT/FIT-J-13-2000

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

Type
grant
Abstract

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).

Team members
Ďurfina Lukáš, Ing., Ph.D. – research leader
Bradáč Zdeněk, doc. Ing., Ph.D. (UAMT)
Kolář Dušan, doc. Dr. Ing. (DIFS)
Křoustek Jakub, Ing., Ph.D. (BSPB)
Šír Michal, Ing.
Publication Results

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.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.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.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.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, iss. 1, p. 18-29. ISSN: 1805-4951. Detail
  • KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems, 2013, vol. 10, iss. 4, p. 1673-1702. ISSN: 1820-0214. Detail
  • KŘOUSTEK, J.; POKORNÝ, F. Reconstruction of 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
Applied Results

2013

  • LfDComparator, software, 2013
    Authors: ĎURFINA, L.; KŘOUSTEK, J.; KOLÁŘ, D.
Back to top