Points-to Analysis for Program Understanding
Real world programs (in languages like C) heavily make use of pointers. Program understanding activities are thus made more difficult, since pointers affect the memory locations that are referenced in a statement, and also the functions called by a statement, when function pointers are used. The pro...
Main Authors: | , , , |
---|---|
Other Authors: | , , |
Format: | Article in Journal/Newspaper |
Language: | unknown |
Published: |
1999
|
Subjects: | |
Online Access: | http://hdl.handle.net/11582/1338 |
id |
ftfbkssleriris:oai:cris.fbk.eu:11582/1338 |
---|---|
record_format |
openpolar |
spelling |
ftfbkssleriris:oai:cris.fbk.eu:11582/1338 2023-11-12T04:27:21+01:00 Points-to Analysis for Program Understanding Tonella, Paolo G. Antoniol R. Fiutem E. Merlo Tonella, Paolo G., Antoniol R., Fiutem E., Merlo 1999 http://hdl.handle.net/11582/1338 unknown http://hdl.handle.net/11582/1338 points-to-analysi storage shape graph program understanding reverse engineering info:eu-repo/semantics/article 1999 ftfbkssleriris 2023-10-24T21:04:17Z Real world programs (in languages like C) heavily make use of pointers. Program understanding activities are thus made more difficult, since pointers affect the memory locations that are referenced in a statement, and also the functions called by a statement, when function pointers are used. The programmer needs to build a mental model of the memory use and of the pointers to its locations, in order to comprehend the functionalities of the system. This paper presents an efficient flow insensitive context insensitive points-to analysis algorithm capable of dealing with the features of the C code. It is extremely promising with regard to scalability, because of the low complexity. The results are valuable by themselves, as their graphical display represents the points-to links between locations. They are also integrated with other program understanding techniques like, e.g., call graph construction, slicing, plan recognition and architectural recovery Article in Journal/Newspaper The Pointers Fondazione Bruno Kessler: CINECA IRIS |
institution |
Open Polar |
collection |
Fondazione Bruno Kessler: CINECA IRIS |
op_collection_id |
ftfbkssleriris |
language |
unknown |
topic |
points-to-analysi storage shape graph program understanding reverse engineering |
spellingShingle |
points-to-analysi storage shape graph program understanding reverse engineering Tonella, Paolo G. Antoniol R. Fiutem E. Merlo Points-to Analysis for Program Understanding |
topic_facet |
points-to-analysi storage shape graph program understanding reverse engineering |
description |
Real world programs (in languages like C) heavily make use of pointers. Program understanding activities are thus made more difficult, since pointers affect the memory locations that are referenced in a statement, and also the functions called by a statement, when function pointers are used. The programmer needs to build a mental model of the memory use and of the pointers to its locations, in order to comprehend the functionalities of the system. This paper presents an efficient flow insensitive context insensitive points-to analysis algorithm capable of dealing with the features of the C code. It is extremely promising with regard to scalability, because of the low complexity. The results are valuable by themselves, as their graphical display represents the points-to links between locations. They are also integrated with other program understanding techniques like, e.g., call graph construction, slicing, plan recognition and architectural recovery |
author2 |
Tonella, Paolo G., Antoniol R., Fiutem E., Merlo |
format |
Article in Journal/Newspaper |
author |
Tonella, Paolo G. Antoniol R. Fiutem E. Merlo |
author_facet |
Tonella, Paolo G. Antoniol R. Fiutem E. Merlo |
author_sort |
Tonella, Paolo |
title |
Points-to Analysis for Program Understanding |
title_short |
Points-to Analysis for Program Understanding |
title_full |
Points-to Analysis for Program Understanding |
title_fullStr |
Points-to Analysis for Program Understanding |
title_full_unstemmed |
Points-to Analysis for Program Understanding |
title_sort |
points-to analysis for program understanding |
publishDate |
1999 |
url |
http://hdl.handle.net/11582/1338 |
genre |
The Pointers |
genre_facet |
The Pointers |
op_relation |
http://hdl.handle.net/11582/1338 |
_version_ |
1782340979767902208 |