Abstract interpreters rely on the existence of a nxpoint algorithm that calculates a least upper bound approximation of the semantics of the program. Usually, that algorithm is described in terms of the particular language in study and therefore it is not directly applicable to programs written in a different source language. In this paper we introduce a generic, block-based, and uniform representation of the program control flow graph and a language-independent nxpoint algorithm that can be applied to a variety of languages and, in particular, Java. Two major characteristics of our approach are accuracy (obtained through a topdown, context sensitive approach) and reasonable efficiency (achieved by means of memoization and dependency track...
Static program analysis is in general more precise if it is sensitive to execution contexts (executi...
Abstract. Static analyses of object-oriented programs usually rely on intermediate representations t...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
Abstract interpreters rely on the existence of a nxpoint algorithm that calculates a least upper bou...
Abstract interpretation has been widely used for the analysis of object-oriented languages and, more...
Abstract interpretation has been widely used for the analysis of object-oriented languages and, in p...
AbstractAbstract interpretation has been widely used for the analysis of object-oriented languages a...
Static analyses of object-oriented programs usually rely on intermediate representations that respe...
This paper presents a systematic approach to scaling stackingbased context-sensitive program analysi...
Developing scalable and precise points-to analyses is increasingly important for analysing and optim...
Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' pa...
Program analysis is critical to many software engineering tools. However, modern programming languag...
Points-to analysis addresses a fundamental problem in program analysis: determining statically which...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
Static program analysis is in general more precise if it is sensitive to execution contexts (executi...
Abstract. Static analyses of object-oriented programs usually rely on intermediate representations t...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
Abstract interpreters rely on the existence of a nxpoint algorithm that calculates a least upper bou...
Abstract interpretation has been widely used for the analysis of object-oriented languages and, more...
Abstract interpretation has been widely used for the analysis of object-oriented languages and, in p...
AbstractAbstract interpretation has been widely used for the analysis of object-oriented languages a...
Static analyses of object-oriented programs usually rely on intermediate representations that respe...
This paper presents a systematic approach to scaling stackingbased context-sensitive program analysi...
Developing scalable and precise points-to analyses is increasingly important for analysing and optim...
Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' pa...
Program analysis is critical to many software engineering tools. However, modern programming languag...
Points-to analysis addresses a fundamental problem in program analysis: determining statically which...
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...
Static program analysis is in general more precise if it is sensitive to execution contexts (executi...
Abstract. Static analyses of object-oriented programs usually rely on intermediate representations t...
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference...