Original title: Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer
Translated title: Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Authors: Harmim, Dominik ; Rogalewicz, Adam (referee) ; Vojnar, Tomáš (advisor)
Document type: Master’s theses
Year: 2021
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: abstraktní interpretace; analýza programů; Atomer; atomicita; Facebook Infer; inkrementální analýza; interprocedurální analýza; kompoziční analýza; kontrakty pro paralelismus; modulární analýza; paralelní programy; porušení atomicity; sekvence volání funkcí; statická analýza; vícevláknové programy; škálovatelnost; abstract interpretation; Atomer; atomicity; atomicity violation; compositional analysis; concurrent programs; contracts for concurrency; Facebook Infer; function calls sequence; incremental analysis; interprocedural analysis; modular analysis; multi-threaded programs; programs analysis; scalability; static analysis

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

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


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2021-06-27, last modified 2021-08-22


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