SciDok - Wissenschafts-Server der Universitaet des Saarlandes
Home
Home
Suchen
Suche
Volltextsuche
Volltextsuche
Browsen
Browsen
Veröffentlichen
Veröffentlichen
Uni-Homepage

Eingang zum Volltext in SciDok

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:bsz:291-scidok-21444
URL: http://scidok.sulb.uni-saarland.de/volltexte/2009/2144/

Stattelmann, Stefan

Function pointer analysis for C programs

pdf-Format:
Dokument 1.pdf (327 KB)

Kurzfassung in Englisch

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.

SWD-Schlagwörter: Programmanalyse , Aliasanalyse , Worst-Case-Laufzeit
Freie Schlagwörter (Englisch): Program Analysis , Points-To Analysis , Function Pointers , Worst-Case Execution Time
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Bachelor Thesis
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 02.07.2009
Lizenz: Creative Commons License
This work is licensed under a Creative Commons License. Creative Commons - Namensnennung
Home Hilfe Policy Viewer SULB SaarDok Impressum Kontakt