|
|
Knihovna pro práci s objekty ve sdílené paměti
Dudka, Kamil ; Herout, Adam (oponent) ; Španěl, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou meziprocesové komunikace v moderních operačních systémech. Důraz je kladen na využití sdílené paměti pro meziprocesovou komunikaci v objektově orientovaném jazyku C++. Součástí práce je popis návrhu a implementace knihovny, která umožňuje sdílenou paměť jednoduše a efektivně používat. Knihovna umožňuje sdílet přímo objekty jazyka C++ mezi procesy. Kromě toho vytváří knihovna platformově nezávislé rozhraní pro práci se sdílenou pamětí v operačních systémech Linux a Microsoft Windows. V závěru práce je zhodnocena efektivita využití sdílené paměti jako způsobu meziprocesové komunikace.
|
|
|
Vytvoření Sparse adaptéru pro infrastrukturu Code Listener
Pokorný, Jan ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
Kontrola programu na výskyt chyb má nezpochybnitelný význam, obzvlášť ta založená na formálních metodách. VeriFIT na FIT VUT k tomu používá vlastní infrastrukturu Code Listener (CL) modulárně propojující tzv. přední stranu, typicky adaptér převádějící kód zprostředkovaný jiným způsobem (jiným tzv. parserem), a zadní stranu typicky tvořenou koncovým analyzátorem. Cílem práce je poskytnout to prvé jako kompaktní alternativu k existujícímu zásuvnému modulu pro překladač GCC. Náš adaptér používá linearizovaný kód, jak jej zprostředkuje knihovna sparse pro statickou analýzu programů v C. Experimenty s jedním z hlavních analyzátorů v rámci CL, nástrojem Predator , a příslušnou sadou testů, dosahuje náš produkt - program clsp - úspěšnosti zhruba v 75% případů oproti onomu modulu pro GCC. Další zlepšení jsou předmětem budoucího vývoje.
|
|
|
Vývoj LLVM adaptéru pro infrastrukturu Code Listener
Šoková, Veronika ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
Tato bakalářská práce se zabývá vývojem LLVM adaptéru pro infrastrukturu Code Listener, která usnadňuje tvorbu statických analyzátorů jako jsou Predator a Forester. Ty jsou vyvíjeny a využívany v rámci skupiny VeriFIT. Popisuje překladový systém LLVM, jeho interní reprezentaci kódu a frontend Clang. Součástí práce je implementace daného adaptéru. K dnešnímu dni je schopen analyzovat omezenou množinu programů jazyka C. Je schopen generovat CFG k funkcím. Některé testy pro Predator a Forester projdou. Dále je naznačen budoucí vývoj adaptéru.
|
|
|
Rozšíření implementace FTP v knihovně libcurl
Raiskup, Pavel ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
Tato bakalářská práce se zabývá rozšířením implementace protokolu FTP v multiprotokolové knihovně libcurl. Toto rozšíření se týká možnosti stahování sady souborů z FTP, které jsou dány vzorkem obsahujícím zástupné znaky přímo v modifikované FTP URL adrese. V práci je kladen důraz na použitelnost rozšíření a také efektivitu implementace, především při komunikaci s FTP serverem. Vzhledem k tomu, že je knihovna široce využívána stávajícími aplikacemi a jinými knihovnami, je důležité udržet zpětnou kompatibilitu knihovny. Stejně jako knihovna libcurl je i rozšíření psáno v jazyce C.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
The thesis describes an extension of the Code Listener infrastructure adding support for C++ programming language, where the Code Listener infrastructure itself can be used for building of static analysis tools. The solution represents the extension of the Code Listener plugin without any need to modify the already existing static analysis tools that are based on it. Outcome of this work is added support for processing of basic C++ language construct, like e.g. namespaces, L-value references or classes. Contribution of the work is then represented by the possibility to use this thesis as a stepping-stone for implementing the remaining support of C++ language into the Code Listener infrastructure.
|
|
|
Vylepšení analýzy živých proměnných pomocí points-to analýzy
Raiskup, Pavel ; Rogalewicz, Adam (oponent) ; Dudka, Kamil (vedoucí práce)
Jazyky, jako je C, hojně využívají práce s ukazateli. Implemetace dynamických datových struktur vázaných ukazateli a operací nad nimi však není jednoduchá - významně zvyšuje rizika zanášení chyb do zdrojových kódů. Jedna z cest, jakými lze eliminovat množství těchto chyb, je použití statické analýzy. Tato práce se tedy zabývá vylepšením architektury Code Listner, která nabízí rozhraní pro tvorbu statických analyzátorů. Vlastností tohoto rozhraní je, že poskytuje takovému analyzátoru k rozboru potřebné informace o programu - ku příkladu databázi proměnných, graf toku řízení čí graf volání funkcí. Součástí implementace Code Listeneru je také algoritmus pro analýzu živých proměnných, umožňující odstranit, neboli zabít proměnné, které nejsou v daném místě grafu toku řízení potřeba. Původní algoritmus ale nedovedl z důvodu bezpečnosti zabít žádné proměnné, na něž byla kdekoliv ve zdrojovém kódu vzata adresa. Předpokládalo se, že taková proměnná může být zpřístupněna pomocí reference kdekoliv v programu. Cílem práce tedy bylo navrhnout a implementovat algoritmus pro points-to analýzu, která dovede vyloučit existenci některých referencí v daném kontextu programu a umožní tedy zefektivnit analýzu živých proměnných.
|
|
| |
|
|
Vývoj LLVM adaptéru pro infrastrukturu Code Listener
Šoková, Veronika ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
Tato bakalářská práce se zabývá vývojem LLVM adaptéru pro infrastrukturu Code Listener, která usnadňuje tvorbu statických analyzátorů jako jsou Predator a Forester. Ty jsou vyvíjeny a využívany v rámci skupiny VeriFIT. Popisuje překladový systém LLVM, jeho interní reprezentaci kódu a frontend Clang. Součástí práce je implementace daného adaptéru. K dnešnímu dni je schopen analyzovat omezenou množinu programů jazyka C. Je schopen generovat CFG k funkcím. Některé testy pro Predator a Forester projdou. Dále je naznačen budoucí vývoj adaptéru.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (oponent) ; Dudka, Kamil (vedoucí práce)
The thesis describes an extension of the Code Listener infrastructure adding support for C++ programming language, where the Code Listener infrastructure itself can be used for building of static analysis tools. The solution represents the extension of the Code Listener plugin without any need to modify the already existing static analysis tools that are based on it. Outcome of this work is added support for processing of basic C++ language construct, like e.g. namespaces, L-value references or classes. Contribution of the work is then represented by the possibility to use this thesis as a stepping-stone for implementing the remaining support of C++ language into the Code Listener infrastructure.
|
|
|
Knihovna pro práci s objekty ve sdílené paměti
Dudka, Kamil ; Herout, Adam (oponent) ; Španěl, Michal (vedoucí práce)
Tato bakalářská práce se zabývá problematikou meziprocesové komunikace v moderních operačních systémech. Důraz je kladen na využití sdílené paměti pro meziprocesovou komunikaci v objektově orientovaném jazyku C++. Součástí práce je popis návrhu a implementace knihovny, která umožňuje sdílenou paměť jednoduše a efektivně používat. Knihovna umožňuje sdílet přímo objekty jazyka C++ mezi procesy. Kromě toho vytváří knihovna platformově nezávislé rozhraní pro práci se sdílenou pamětí v operačních systémech Linux a Microsoft Windows. V závěru práce je zhodnocena efektivita využití sdílené paměti jako způsobu meziprocesové komunikace.
|
host ::
RSS.