Fast Points-to Analysis for Languages with Structured Types

Fast Points-to Analysis for Languages with Structured Types

The C programming language is still ubiquitous in embedded software development. For many tools that 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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Jung, Michael, Huss, Sorin Alexander
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Abstract Location
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Graph Component
Memory Location
Partial Evaluator
Pend Action
Software
Software engineering
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The C programming language is still ubiquitous in embedded software development. For many tools that 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 analysis, which is based on Steensgaard’s approach to points-to analysis [12], but achieves a higher level of precision.
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-30113-4_9