TU Darmstadt / ULB / TUbiblio

Fast Points-To Analysis for Languages with Structured Types

Jung, Michael and Huss, Sorin (2004):
Fast Points-To Analysis for Languages with Structured Types.
In: LNCS, In: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, ISBN 978-3-54-023035-9,
[Conference or Workshop Item]

Abstract

The C programming language is still ubiquitous in embedded software development. For many tools to operate on programs written in pointer languages like C, it is essential to have a good approximation of the information about where the pointer variables possibly may point to at runtime. We present a points-to analyis, which is based on Steensgaard's approach to points-to analysis, but achieves a higher level of precision.

Item Type: Conference or Workshop Item
Erschienen: 2004
Creators: Jung, Michael and Huss, Sorin
Title: Fast Points-To Analysis for Languages with Structured Types
Language: ["languages_typename_1" not defined]
Abstract:

The C programming language is still ubiquitous in embedded software development. For many tools to operate on programs written in pointer languages like C, it is essential to have a good approximation of the information about where the pointer variables possibly may point to at runtime. We present a points-to analyis, which is based on Steensgaard's approach to points-to analysis, but achieves a higher level of precision.

Title of Book: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004
Series Name: LNCS
Number: 3199
ISBN: 978-3-54-023035-9
Divisions: 20 Department of Computer Science > Integrated Circuits and Systems
20 Department of Computer Science
Date Deposited: 31 Dec 2016 00:15
Identification Number: ISS:Jung:2004:FastPointsTo:76
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item