Add to ORKGPointer information that is provided by many algorithms identifies a memory location using the same name through-out a program. Such pointer information is inappropriate for use in analyzing C programs because, using such information, a program analysis may propagate a large amount of spurious information across procedure boundaries. This paper presents a modular algorithm that efficiently computes parameterized pointer information in which symbolic names are introduced to identify memory locations whose addresses may be passed into a procedure. Because a symbolic name may identify dierent memory locations when the procedure is invoked under dierent callsites, using parameterized pointer information can help a program analysis reduce the sp...
Many applications written in C allocate memory blocks for their major data structures from the heap ...
In a language with procedures and pointers as parameters, an instruction can modify memory locations...
International audienceIn a language with procedures calls and pointers as parameters, an instruction...
Abstract. This paper presents a modular algorithm that efficiently computes parameterized pointer in...
Pointer information that is provided by many algorithms identifies a memory location using the same...
Many powerful code optimization techniques rely on accurate information connecting the definitions a...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
Pointer analysis has recently been a subject of active research. The focus of most techniques is on:...
this paper, we explore techniques for modular pointer analysis: analyzing small pieces of the progra...
Pointer analysis is a fundamental static program analysis, with a rich literature and wide applicati...
The use of pointers creates serious problems for optimizing compilers and software engineering tools...
This paper proposes an efficient technique for con~extsensitive pointer analysis that is applicable ...
Accurate alias analysis is a crucial phase of optimizing/parallelizing compilers for languages which...
This paper describes a new algorithm for ow and context insensitive pointer analysis of C programs....
The use of pointers presents serious problems for software productivity tools for software understan...
Many applications written in C allocate memory blocks for their major data structures from the heap ...
In a language with procedures and pointers as parameters, an instruction can modify memory locations...
International audienceIn a language with procedures calls and pointers as parameters, an instruction...
Abstract. This paper presents a modular algorithm that efficiently computes parameterized pointer in...
Pointer information that is provided by many algorithms identifies a memory location using the same...
Many powerful code optimization techniques rely on accurate information connecting the definitions a...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
Pointer analysis has recently been a subject of active research. The focus of most techniques is on:...
this paper, we explore techniques for modular pointer analysis: analyzing small pieces of the progra...
Pointer analysis is a fundamental static program analysis, with a rich literature and wide applicati...
The use of pointers creates serious problems for optimizing compilers and software engineering tools...
This paper proposes an efficient technique for con~extsensitive pointer analysis that is applicable ...
Accurate alias analysis is a crucial phase of optimizing/parallelizing compilers for languages which...
This paper describes a new algorithm for ow and context insensitive pointer analysis of C programs....
The use of pointers presents serious problems for software productivity tools for software understan...
Many applications written in C allocate memory blocks for their major data structures from the heap ...
In a language with procedures and pointers as parameters, an instruction can modify memory locations...
International audienceIn a language with procedures calls and pointers as parameters, an instruction...