Work

Function pointer analysis for C programs

Year: 2008

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.

Source: Publications of the UdS (Saarland University)

DOI: 10.22028/d291-25936

Author: Stattelmann, Stefan

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1572250586

Cites: 12

Cited by: 1

Related to: 10