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
Statická analýza Java programů
(Pavel Vyvial)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//93hqsz// | Informační technologie / | Theses on a related topic
Zásuvný modul do programu SonarQube umožňující detekci návrhových vzorů ve zdrojovém kódu
(Jakub Osmančík)2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://theses.cz/id//rmkiss// | Informatika / | 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