Advanced Static Performance Analysis Using Meta Infer

Simple item page
but.committeeprof. Dr. Ing. Pavel Zemčík, dr. h. c. (předseda) doc. Ing. Martin Čadík, Ph.D. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) Ing. Vítězslav Beran, Ph.D. (člen) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Ing. David Bařina, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky 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í studenta na položené otázky rozhodla práci hodnotit stupněm A.cs
but.jazykangličtina (English)
but.programInformační technologie a umělá inteligencecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorVojnar, Tomášen
dc.contributor.authorPavela, Ondřejen
dc.contributor.refereeRogalewicz, Adamen
dc.date.accessioned2023-07-17T08:06:55Z
dc.date.available2023-07-17T08:06:55Z
dc.date.created2023cs
dc.description.abstractStatický analyzátor složitosti Looper slouží pro odvozování přesných horních mezí ceny vykonání programů. Jako teoretický základ byl využit dříve existující nástroj Loopus a jeho abstraktní programový model využívající tzv. difference constraints (nerovnosti typu + ), které umožňují přirozeným způsobem modelovat typické modifikace počítadel cyklů = + + a = + 0. Looper byl původně navržen a implementován v rámci autorovy bakalářské práce jako zásuvný modul aplikačního rámce Meta Infer. Výsledný nástroj nicméně nenaplnil očekávání při pokusech o jeho nasazení na reálné programy. Tato diplomová práce představuje návrh nové verze, která si dává za cíl odstranit hlavní limitace původního nástroje Looper, zejména díky nově podporované in- terprocedurální analýze. Dále byla implementována řada rozšíření, které cílily na zvýšení přesnosti intraprocedurální analýzy, jako např. nový abstrakční algoritmus, podpora pro složené podmínky v hlavičkách smyček a další. Kromě toho bylo také výrazně vylepšeno logování, hlášení chyb a sběr výsledků analýzy. Na závěr byla skrze skrze rozsáhlé exper- imenty demonstrována schopnost nové verze nástroje Looper analyzovat reálný kód obec- nějším, škálovatelnějším a přesnějším způsobem.en
dc.description.abstractLooper is a static complexity analysis tool for inference of tight upper bounds on the exe- cution cost of programs. It is based on the previously existing Loopus tool which used abstract program model of difference constraints (inequalities of the form + ), which allows for natural abstraction of common loop counter updates = + + and = + 0. Looper was initially proposed and implemented in author’s bachelor’s thesis as a checker for the Meta Infer framework but the tool failed to meet the expectations when tested on real-world code. This master’s thesis proposes a new improved version of Looper that aims at solving the main limitations of the original tool, namely through introduction of interprocedural analysis. Additionally, various extensions target- ing improved precision of the intraprocedural analysis, such as new abstraction algorithm, handling of compound loop conditions and more, were implemented. Moreover, logging, issue reporting and collection of results has been significantly improved. Finally, through extensive experiments with the new Looper version, the ability to analyze real-world code in a more general, scalable and precise way was shown.cs
dc.description.markAcs
dc.identifier.citationPAVELA, O. Advanced Static Performance Analysis Using Meta Infer [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.cs
dc.identifier.other148637cs
dc.identifier.urihttp://hdl.handle.net/11012/211956
dc.language.isoencs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectMeta Inferen
dc.subjectStatická analýzaen
dc.subjectAnalýza mezíen
dc.subjectAnalýza složitostien
dc.subjectAmortizovaná analýzaen
dc.subjectAnalýza cenyen
dc.subjectInkrementální analýzaen
dc.subjectModulární analýzaen
dc.subjectRozdílová analýzaen
dc.subjectDegradace složitostien
dc.subjectKompoziční analýzaen
dc.subjectInterprocedurální analýzaen
dc.subjectŠkálovatelnosten
dc.subjectLooperen
dc.subjectLoopusen
dc.subjectImperativní programyen
dc.subjectMeta Infercs
dc.subjectStatic analysiscs
dc.subjectBound analysiscs
dc.subjectComplexity analysiscs
dc.subjectAmortized analysiscs
dc.subjectCost Analysiscs
dc.subjectDifference constraintscs
dc.subjectIncremental analysiscs
dc.subjectModular analysiscs
dc.subjectDifferential analysiscs
dc.subjectComplexity degradationcs
dc.subjectCompositional analysiscs
dc.subjectInterprocedural analysiscs
dc.subjectScalabilitycs
dc.subjectLoopercs
dc.subjectLoopuscs
dc.subjectImperative programscs
dc.titleAdvanced Static Performance Analysis Using Meta Inferen
dc.title.alternativePokročilá statická analýza výkonnosti v nástroji Meta Infercs
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2023-06-20cs
dcterms.modified2023-06-20-16:10:27cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid148637en
sync.item.dbtypeZPen
sync.item.insts2023.07.17 10:06:55en
sync.item.modts2023.07.17 09:46:43en
thesis.disciplinePočítačová grafika a interakcecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.67 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
review_148637.html
Size:
12.68 KB
Format:
Hypertext Markup Language
Description:
review_148637.html
Download
Collections
2023