Theses on the same topic (having an identical keyword):
dangling pointersKeywords ordered alphabetically | Keywords ordered by occurrence rate
Knihovna pro statickou analýzu programu
(Jan HOLCMAN)2022, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//dkbyu1// | Informatika / | Theses on a related topic
Statická analýza programů v jazyce C
(Viktor Malík)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//twfvo4// | Výpočetní technika a informatika / | Theses on a related topic
Statická analýza programů v jazyce C
(Viktor Malík)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//32oi9b// | Výpočetní technika a informatika / | Theses on a related topic
Modelování a statická analýza stropní konstrukce v programu ANSYS.
(Petr Obršlík)2014, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//jzhay1// | Stavební inženýrství / | Theses on a related topic
Automatické nalezení lineárních vztahů mezi proměnnými programu
(Tomáš Navrátil)2013, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/101052 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer
(Dominik Harmim)2021, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//yv6i7y// | Informační technologie a umělá inteligence / | Theses on a related topic
Statická analýza programů v C ve Sparse a příbuzných nástrojích
(Martin Nagy)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//7okxi3// | Informační technologie / | Theses on a related topic
Interprocedurální analýza vztahů mezi hodnotami proměnných programu v modulární aritmetice
(Michala Čandová)2014, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/103810 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Statická detekce chyb při práci s pamětí
(Michal Fiedler)2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ikpml/ | Aplikovaná informatika / | Theses on a related topic
The security implications of memory use on Java Card platform
(Ashwin Arvind Yakkundi)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fzcjr/ | Informatika / Bezpečnost informačních technologií (angl.) | Theses on a related topic