Original title: Vývoj LLVM adaptéru pro infrastrukturu Code Listener
Translated title: Development of an LLVM Adapter for the Code Listener Infrastructure
Authors: Šoková, Veronika ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
Document type: Bachelor's theses
Year: 2014
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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. This Bachelor's thesis deals with the development of an LLVM adapter for the Code Listener Infrastructure, which simplifies the creation of static analyzers such as the Predator and the Forester. They are developed and used within the group VeriFIT. It describes LLVM compiler system, the internal representation of the code and frontend Clang. Part of this work is the implementation of the adapter. Up to this date, it is able to analyze a limited set of programs in C. It is able to generate CFGs. Some tests for Predator and Forester pass. It is also hinted at future developments.
Keywords: Code Listener Infrastructure; LLVM; plug-in; static analysis; infrastruktura Code Listener; LLVM; plugin; statická analýza

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/56576

Permalink: http://www.nusl.cz/ntk/nusl-581644


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses