SciDok

Eingang zum Volltext in SciDok

Lizenz

Bachelor Thesis zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-21444
URL: http://scidok.sulb.uni-saarland.de/volltexte/2009/2144/


Function pointer analysis for C programs

Stattelmann, Stefan

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

Bookmark bei Connotea Bookmark bei del.icio.us
Gedruckte Ausgabe:
POD-Logo  Print-on-Demand-Kopie
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
Kurzfassung auf 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.
Lizenz: Creative Commons License
This work is licensed under a Creative Commons License. Creative Commons - Namensnennung

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English