guest ::
login
Digital Repository
Search
Submit
Help
About
Home
>
Academic theses (ETDs)
>
Bachelor's theses
> Instrumentace C/C++ programů při překladu
Information
Files
Original title:
Instrumentace C/C++ programů při překladu
Translated title:
Instrumentation of C/C++ Programs during Compilation
Authors:
Mušková, Kateřina
;
Peringer, Petr
(referee) ;
Smrčka, Aleš
(advisor)
Document type:
Bachelor's theses
Year:
2021
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 TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji Tforc poskytující statickou instrumentaci při překladu, jehož funkcionalitu a použitelnost rozšiřuje. Velkou výhodou oproti stávajícím řešením nabízejícím instrumentaci při překladu je možnost použití nástroje bez změny stávajících překladových skriptů (např. Make).
This thesis presents design and implementation of the TforcTool offering compile-time instrumentation of memory access and functions. The tool is built on an existing static instrumenting tool Tforc, which was extended in order to provide greater usability and functionality. The advantage of this solution compared to another compile-time tools is that there is no need to change current compile structure of project.
Keywords:
C++
;
Clang
;
compilation
;
compile-time instrumentation
;
formal verification
;
function instrumentation
;
indirect addressing instrumentation
;
instrumentation
;
LLVM
;
LLVM IR
;
LLVM pass
;
memory instrumentation
;
opt
;
static instrumentation
;
testing
;
C++
;
Clang
;
formální verifikace
;
instrumentace
;
instrumentace funkce
;
instrumentace proměnné
;
instrumentace při překladu
;
LLVM
;
LLVM IR
;
LLVM zásuvný modul
;
nepřímá instrumentace proměnné
;
opt
;
překlad
;
statická instrumentace
;
testování
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/199330
Permalink:
http://www.nusl.cz/ntk/nusl-444726
The record appears in these collections:
Universities and colleges
>
Public universities
>
Brno University of Technology
Academic theses (ETDs)
>
Bachelor's theses
Record created 2021-06-27, last modified 2022-09-04
Similar records
No fulltext
Export as
DC
,
NUŠL
,
RIS
Share