Original title: Nástroj pro statickou analýzu programů se seznamy
Translated title: Static Analyzer for List Manipulating Programs
Authors: Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Document type: Bachelor's theses
Year: 2017
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: abstract interpretation; Angie; formal verification; framework; LLVM; Predator; SMG; SSA; static analysis; symbolic memory graphs; abstraktní interpretace; Angie; formální verifikace; framework; LLVM; Predator; SMG; SSA; statická analýza; symbolické paměťové grafy

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/84851

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


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2018-09-11, last modified 2022-09-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share