Název: Nástroj pro statickou analýzu programů se seznamy
Překlad názvu: Static Analyzer for List Manipulating Programs
Autoři: Kotoun, Michal ; Lengál, Ondřej (oponent) ; Vojnar, Tomáš (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2017
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

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

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/84851

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-604993


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2024-04-02, naposledy upraven 2024-04-03.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet