Please use this identifier to cite or link to this item: doi:10.22028/D291-25936
Title: Function pointer analysis for C programs
Author(s): Stattelmann, Stefan
Language: English
Year of Publication: 2008
SWD key words: Programmanalyse
Free key words: Program Analysis
Points-To Analysis
Function Pointers
Worst-Case Execution Time
DDC notations: 004 Computer science, internet
Publikation type: Other
Abstract: Function pointers are a feature of the C programming language whose use obscures the control flow of a program and makes programs hard to analyze. Existing pointer analyses are able to resolve function pointers, but lack the capabilities to precisely distinguish function pointer variables within complex data structures. The aim of this work is to develop a function pointer analysis which achieves this precision. It thereby allows a more precise analysis of programs with an intense usage of function pointers, as they are quite common in automotive software.
Link to this record: urn:nbn:de:bsz:291-scidok-21444
Date of registration: 2-Jul-2009
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
bachelor.pdf326,86 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons