Theses on the same topic (having an identical keyword):
static analysisKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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ů | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
Slicing of LLVM Bitcode
(Marek Chalupa)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vik1f/ | Informatika / Teoretická informatika | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic