Název: Statická analýza v nástroji Facebook Infer zaměřená na detekci uváznutí
Překlad názvu: Static Analysis Using Facebook Infer Focused on Deadlock Detection
Autoři: Marcin, Vladimír ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2019
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: abstraktná interpretácia; detekcia uviaznutia; Facebook Infer; Infer.AI framework; L2D2; statická analýza; abstract interpretation; deadlock detection; Facebook Infer; Infer.AI framework; L2D2; static analysis

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

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


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 2019-08-26, naposledy upraven 2022-09-04.


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