Abstract. Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values.
In this paper, we first identify sufficient conditions under which heap allocated numeric variables in object oriented programs (i.e., numeric fields) can be ...
This allows instrumenting the code with ghost variables which make such numeric fields observable to any field-insensitive value analysis. Our experimental ...
People also ask
What is Andersen's points-to analysis?
What is heap points-to analysis?
Abstract. By distinguishing the fields of an object, Andersen's field- sensitive pointer analysis yields better precision than its field-insensitive.
Abstract. The subject of this article is flow- and context-insensitive pointer analysis. We present a novel approach for precisely modelling struct variables ...
Steensgaard's pointer analysis is field-insensitive; making it field- sensitive would mean that it is no longer linear.
The subject of this paper is flow- and context-insensitive pointer analysis. We present a novel approach for precisely modelling struct variables and indirect ...
Field-Sensitive Value Analysis by Field-Insensitive Analysis. 371. This paper presents a novel approach for approximating the value of numeric fields in ...
Field sensitivity (also known as structure sensitivity): An analysis can either treat each field of a struct or object separately, or merge them. · Array ...
Nov 30, 2020 · Yet another sensitivity in static code analysis is field or index sensitivity. Since we have aggregated data types, it becomes important to be ...