Informační systém Masarykovy univerzity 

Archiv závěrečné práce Jan Dupal FI B-IN PDS

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

bakalářský studijní program/obor:
Informatika/

Práce na příbuzné téma

Zobrazit popisek

Jan Dupal

Reduced product of abstract domains

Anotace: Abstraktní interpretace, jakož jedna z metod statické analýzy programů, je náchylná na výskyt falešně pozitivních chyb způsobených nepřesnou aproximací hodnot programu. Redukovaný produkt abstraktních domén poskytuje mechanizmus pro vylepšení celkové přesnosti analýzy pomocí zavedení vzájemného zjemňování abstraktních domén. Tato práce poskytuje teoretický základ, návrh a implementaci redukovaného …více

Abstract: Abstract interpretation, which is an approach to static program analysis, is prone to false positive errors caused by inaccurate approximation of program values. Reduced product of abstract domains provides a mechanism to improve the overall precision of abstract analysis by introducing mutual refinements between abstract domains. This thesis provides theoretical framework, design and implementation …více

static analysis abstract interpretation abstract domains domain product reduced product LLVM Canal

Zadání: Canal is a static analysis tool designed to analyze behaviour of application programs written in C. It is based on the theoretical framework of abstract interpretation, with focus on the scalability to large programs and proper handling of real-world source code.

Reduced product of abstract domains is a mechanism enabling an incremental evolution of abstract interpreter by introducing simple …více

Jazyk práce: angličtina

  • Zadáno/změněno 21. 6. 2013 10:55, Helena Kryštofová
  • Záznam založen 5. 3. 2013 09:38, Helena Kryštofová
  • Zveřejnit od 20. 5. 2013 09:40, Helena Kryštofová
  • Práce převzata 20. 5. 2013 09:40, Helena Kryštofová

Obhajoba bakalářské práce

  • Proběhla 20. 6. 2013, práce byla úspěšně obhájena.

Vedoucí:

  • Mgr. Karel Klíč, abs FI MU, Katedra počítačových systémů a komunikací - Fakulta informatiky

Oponent:

Plný text práce
Příloha

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX | Wikipedie

Kontrola závěrečné práce

Práce zkontrolována: 24. 5. 2013 14:20, Mgr. Karel Klíč


Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.Tato složka.  Archiv závěrečné práce Jan Dupal FI B-IN PDS /fi_b/Kryštofová, H. 5.  3. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation_english.txt, 570 B, holý textAnotace anglicky annotation_english.txtDupal, J.20.  5. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation.txt, 567 B, holý textAnotace česky annotation.txtDupal, J.20.  5. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor keywords.txt, 104 B, holý textKlíčová slova keywords.txtDupal, J.20.  5. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor thesis.pdf, 317,9 KB, PDF Soubor thesis.txt, 54,8 KB, holý textPlný text práce thesis.pdfDupal, J.20.  5. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor posudek_oponenta.pdf, 43,2 KB, PDF Soubor posudek_oponenta.txt, 1,6 KB, holý textPosudek oponenta posudek_oponenta.pdfSlabý, J.10.  6. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor posudek_dupal.pdf, 31,4 KB, PDF Soubor posudek_dupal.txt, 1,6 KB, holý textPosudek vedoucího posudek_dupal.pdfKlíč, K.14.  6. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor attachment.zip, 15,8 MB, archív ZIPPříloha attachment.zipDupal, J.20.  5. 2013
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 07:38, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému