论文标题
将指针分析技术的有效性与嵌入式系统代码中的模式相关联
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code
论文作者
论文摘要
指针分析将程序中的指针映射到他们指向的内存位置。在这项工作中，我们研究了指针分析的三种口味的有效性，即对行业中使用的七个嵌入式代码集，对流动敏感，不敏感和上下文敏感分析。我们比较精度增益，即，在每个设置中，指针指向的虚假内存位置的数量减少。我们发现，在90％的情况下，在所有三个设置中，指针信息都是相同的。在其他情况下，上下文敏感分析比流动敏感分析要精确2.6％，该分析比平均流量不敏感分析要精确6.8％。我们将精度增益与嵌入式系统中的编码模式相关联 - 我们认为这是同类活动的首先。
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.
