Original title: Statická analýza možných hodnot proměnných v programech v C
Translated title: Static Value Analysis over C Programs
Authors: Ďuričeková, Daniela ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Document type: Master’s theses
Year: 2013
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: abstract interpretation; Code Listener; control-flow graph; data-flow analysis; intraprocedural analysis; lattice; partially ordered set; value-range analysis; abstraktní interpretace; analýza rozsahu hodnot; analýza toku dat; Code Listener; graf toku řízení; intraprocedurální analýza; svaz; částečně uspořádaná množina

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

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


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2016-06-03, last modified 2022-09-04


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