Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Improving out-of-bound access checking in Symbiotic
(Anna Řechtáčková)2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tmq7m/ | Aplikovaná informatika / | Práce na příbuzné téma
A Common Framework for Inquiries about Program Properties
(Tomáš Brukner)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dug10/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Verification of Memory Safety with Predator and Symbiotic
(Tomáš Jašek)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Improved translation of LLVM IR code to C
(Vincent Mihalkovič)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ps6x5/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
Decompiling Binaries into LLVM IR Using McSema and Dyninst
(Lukáš Korenčik)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pxe1j/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Portování nástroje Symbiotic na LLVM 3.8
(Richard Trembecký)2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/td2oc/ | Aplikovaná informatika / | Práce na příbuzné téma
Převod LLVM bitkódu do C
(Petr Vitovský)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uc2pu/ | Aplikovaná informatika / | Práce na příbuzné téma
Instrumentation of LLVM IR
(Martina Vitovská)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nhd8u/ | Aplikovaná informatika / | Práce na příbuzné téma
Partial Order redukce pro LLVM
(Jan Tušil)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/f18pq/ | Informatika / Programovatelné technické struktury | Práce na příbuzné téma
LLVM Transformations for Model Checking
(Vladimír Štill)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/buw8x/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma