Statická analýza možných hodnot proměnných v programech v C
but.committee | doc. RNDr. Jitka Kreslíková, CSc. (předseda) doc. Ing. Richard Růžička, Ph.D., MBA (místopředseda) Ing. Petr Matoušek, Ph.D., M.A. (člen) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) doc. Ing. Martin Sysel, Ph.D. (člen) doc. Ing. František Zbořil, Ph.D. (člen) | cs |
but.defence | Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm " A ". Otázky u obhajoby: Na straně 41 jsem narazil na nepřesnou formulaci ohledně hodnot po přetečení a podtečení čísel v plovoucí čárce. Můžete to upřesnit? (Cituji: " Floating-point numbers do not underflow or overflow - instead, they are set to the negative or positive infinity, respectively." ) | cs |
but.jazyk | čeština (Czech) | |
but.program | Informační technologie | cs |
but.result | práce byla úspěšně obhájena | cs |
dc.contributor.advisor | Vojnar, Tomáš | cs |
dc.contributor.author | Ďuričeková, Daniela | cs |
dc.contributor.referee | Peringer, Petr | cs |
dc.date.accessioned | 2019-04-04T04:09:49Z | |
dc.date.available | 2019-04-04T04:09:49Z | |
dc.date.created | 2013 | cs |
dc.description.abstract | Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje. | cs |
dc.description.abstract | Value-range analysis is a static analysis technique based on arguing about the values that a variable may take on a given program point. It can be used to prove absence of run-time errors such as out-of-bound array accesses. Since value-range analysis collects information on each program point, data-flow analysis can be used in association with it. The main goal of this work is designing and implementing such a value-range analysis tool. The work begins with an introduction into the topic, an explanation of data-flow and value-range analyses and a description of abstract interpretation, which provides the formal basis of the analyser. The core of this work is the design, implementation, testing and evaluation of the analyser. In the conclusion, our personal experience obtained in the area of the thesis is mentioned, along with a discussion of a possible future development of the designed tool. | en |
dc.description.mark | A | cs |
dc.identifier.citation | ĎURIČEKOVÁ, D. Statická analýza možných hodnot proměnných v programech v C [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
dc.identifier.other | 79530 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/53419 | |
dc.language.iso | cs | cs |
dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
dc.subject | analýza toku dat | cs |
dc.subject | analýza rozsahu hodnot | cs |
dc.subject | abstraktní interpretace | cs |
dc.subject | Code Listener | cs |
dc.subject | intraprocedurální analýza | cs |
dc.subject | graf toku řízení | cs |
dc.subject | částečně uspořádaná množina | cs |
dc.subject | svaz | cs |
dc.subject | data-flow analysis | en |
dc.subject | value-range analysis | en |
dc.subject | abstract interpretation | en |
dc.subject | intraprocedural analysis | en |
dc.subject | Code Listener | en |
dc.subject | control-flow graph | en |
dc.subject | partially ordered set | en |
dc.subject | lattice | en |
dc.title | Statická analýza možných hodnot proměnných v programech v C | cs |
dc.title.alternative | Static Value Analysis over C Programs | en |
dc.type | Text | cs |
dc.type.driver | masterThesis | en |
dc.type.evskp | diplomová práce | cs |
dcterms.dateAccepted | 2013-08-29 | cs |
dcterms.modified | 2020-05-10-16:11:21 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 79530 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2021.11.12 10:11:58 | en |
sync.item.modts | 2021.11.12 09:50:24 | en |
thesis.discipline | Inteligentní systémy | cs |
thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
thesis.level | Inženýrský | cs |
thesis.name | Ing. | cs |