Práce na stejné téma (mají shodná klíčová slova):
instrumentationKlíčová slova abecedně | Klíčová slova dle četnosti
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
Improvements of Memory Management in KLEE
(Jakub Novák)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eazm0/ | 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
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