Original title:
Instrumentace programů pro měření pokrytí
Translated title:
Program Instrumentation Enabling Coverage Measurement
Authors:
Václavík, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor) Document type: Bachelor's theses
Year:
2023
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato práce se zabývá návrhem a implementací nástroje Ginstrum sloužící pro instrumentaci programů napsaných v jazyce C během překladu. Nástroj je implementován formou zásuvného modulu pro překladač GCC a instrumentuje místa programu, která přistupují do paměti, zapisují do paměti nebo volají funkce. Vzhledem k plánovanému použití nástroje pro testování a dynamickou analýzu umožňuje nástroj také vytvořit data z překladu, která slouží pro následnou analýzu pokrytí překládaného kódu testy.
This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis.
Keywords:
abstract syntax tree; basic block; control flow graph; coverage criterion; GCC; GCC plugin; GENERIC; GIMPLE; instrumentation; abstraktní syntaktický strom; GCC; GCC modul; GENERIC; GIMPLE; graf toku řízení; instrumentace; kritérium pokrytí; základní blok
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/211042