Statická analýza a vyhodnocení v jazyku C

but.committeedoc. Dr. Ing. Dušan Kolář (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Ondřej Lengál, Ph.D. (člen) RNDr. Marek Rychlý, 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á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í studenta na položené otázky rozhodla práci hodnotit stupněm C. Otázky u obhajoby: Z jakého důvodu není pro implementaci využit překládaný jazyk, kde by bylo možné očekávat získávání výsledků dostatečně rychle na to, aby bylo možné analýzu integrovat do vývojového prostředí odpovídajících mikrokontrolérů. Jak a na jakých programech jste aplikaci testoval?cs
but.jazykslovenština (Slovak)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorKolář, Dušansk
dc.contributor.authorUžík, Vladimírsk
dc.contributor.refereeKřivka, Zbyněksk
dc.date.accessioned2020-07-14T07:59:14Z
dc.date.available2020-07-14T07:59:14Z
dc.date.created2020cs
dc.description.abstractCieľom práce je tvorba nástroja na analýzu zdrojového kódu v jazyku C za účelom zistenia hodnôt registrov perférnych zariadení. Výsledkom je nástroj regcheck ktorý je schopný určiť konečný stav týchto registrov ako aj kroky k nemu vedúce. Nástroj je otestovaný na 2 mikrokontroléroch.sk
dc.description.abstractAim of this thesis is to produce a tool which performs static analysis on C language source code. Result is application regcheck which determines final state of registers used by peripherals and steps leading to that state. Application was tested on two microcontrollers.en
dc.description.markCcs
dc.identifier.citationUŽÍK, V. Statická analýza a vyhodnocení v jazyku C [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.cs
dc.identifier.other129127cs
dc.identifier.urihttp://hdl.handle.net/11012/191487
dc.language.isoskcs
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.subjectstatická analýzask
dc.subjectjazyk Csk
dc.subjectmikrokontrolérsk
dc.subjectMCUsk
dc.subjectNXPsk
dc.subjectstatic analysisen
dc.subjectC languageen
dc.subjectmicrocontrolleren
dc.subjectMCUen
dc.subjectNXPen
dc.titleStatická analýza a vyhodnocení v jazyku Csk
dc.title.alternativeStatic Analysis and Evaluation in C Languageen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2020-07-09cs
dcterms.modified2020-08-27-21:21:47cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid129127en
sync.item.dbtypeZPen
sync.item.insts2021.11.23 01:00:39en
sync.item.modts2021.11.23 00:02:21en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 4 of 4
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
1.92 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
Posudek-Vedouci prace-23202_v.pdf
Size:
85.74 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-23202_v.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-23202_o.pdf
Size:
89.15 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-23202_o.pdf
Loading...
Thumbnail Image
Name:
review_129127.html
Size:
1.44 KB
Format:
Hypertext Markup Language
Description:
review_129127.html
Collections