Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code
A pointer analysis maps the pointers in a program to the memory locations they point to. In this work, we study the effectiveness of the three flavors of pointer analysis namely flow sensitive, flow insensitive, and context sensitive analysis on seven embedded code sets used in the industry. We comp...
Main Author: | |
---|---|
Format: | Text |
Language: | unknown |
Published: |
2022
|
Subjects: | |
Online Access: | http://arxiv.org/abs/2208.05675 |
id |
ftarxivpreprints:oai:arXiv.org:2208.05675 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:2208.05675 2023-09-05T13:23:43+02:00 Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code Pathade, Komal 2022-08-11 http://arxiv.org/abs/2208.05675 unknown http://arxiv.org/abs/2208.05675 Computer Science - Software Engineering text 2022 ftarxivpreprints 2023-08-16T17:13:50Z A pointer analysis maps the pointers in a program to the memory locations they point to. In this work, we study the effectiveness of the three flavors of pointer analysis namely flow sensitive, flow insensitive, and context sensitive analysis on seven embedded code sets used in the industry. We compare precision gain i.e., the reduction in the number of spurious memory locations pointed by a pointer in each of these settings. We found that in 90% of cases the pointer information was same in all three settings. In other cases, context sensitive analysis was 2.6% more precise than flow sensitive analysis which was 6.8% more precise than flow insensitive analysis on average. We correlate precision gain with coding patterns in the embedded systems-which we believe to be first of its kind activity. Comment: 6 pages, 1 figure Text The Pointers ArXiv.org (Cornell University Library) |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Computer Science - Software Engineering |
spellingShingle |
Computer Science - Software Engineering Pathade, Komal Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code |
topic_facet |
Computer Science - Software Engineering |
description |
A pointer analysis maps the pointers in a program to the memory locations they point to. In this work, we study the effectiveness of the three flavors of pointer analysis namely flow sensitive, flow insensitive, and context sensitive analysis on seven embedded code sets used in the industry. We compare precision gain i.e., the reduction in the number of spurious memory locations pointed by a pointer in each of these settings. We found that in 90% of cases the pointer information was same in all three settings. In other cases, context sensitive analysis was 2.6% more precise than flow sensitive analysis which was 6.8% more precise than flow insensitive analysis on average. We correlate precision gain with coding patterns in the embedded systems-which we believe to be first of its kind activity. Comment: 6 pages, 1 figure |
format |
Text |
author |
Pathade, Komal |
author_facet |
Pathade, Komal |
author_sort |
Pathade, Komal |
title |
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code |
title_short |
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code |
title_full |
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code |
title_fullStr |
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code |
title_full_unstemmed |
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code |
title_sort |
correlating effectiveness of pointer analysis techniques with patterns in embedded system code |
publishDate |
2022 |
url |
http://arxiv.org/abs/2208.05675 |
genre |
The Pointers |
genre_facet |
The Pointers |
op_relation |
http://arxiv.org/abs/2208.05675 |
_version_ |
1776204306698993664 |