Function pointer analysis for C programs

Stattelmann, Stefan

Eingang zum Volltext in SciDok

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)

Gedruckte Ausgabe:

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:

This work is licensed under a Creative Commons License. Creative Commons - Namensnennung