Original title:
Statická analýza a vyhodnocení v jazyku C
Translated title:
Static Analysis and Evaluation in C Language
Authors:
Užík, Vladimír ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor) Document type: Bachelor's theses
Year:
2020
Language:
slo Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[slo][eng]
Cieľ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.
Aim 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.
Keywords:
C language; MCU; microcontroller; NXP; static analysis
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/191487