A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 35(2):223--248, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Modular Static Program Analysis - Cousot, Cousot (2002) (8 citations) (Correct)
....We provide a few examples below. 8.1 Preliminary Global Analysis and Simplication We have already indicated that a preliminary rough global program analysis can always be performed to improve the information available before performing a local analysis. A classical example is pointer analysis [35, 41, 5053, 56, 58, 59, 64, 67, 72], see an overview in [69] A preliminary pointer analysis is often mandatory since making conservative assumptions regarding pointer accesses can adversely aect the precision and eciency of the analysis of the program parts requiring this information. Such pointer alias analysis attempts to ....
A. Venet. Automatic analysis of pointer aliasing for untyped programs. Sci. Comput. Programming, Special Issue on SAS'96, 35(1):223248, Sep. 1999.
Precise and Efficient Static Array Bound Checking for Large.. - Venet, Brat (2004) Self-citation (Venet) (Correct)
No context found.
A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 35(2):223--248, 1999.
A Scalable Nonuniform Pointer Analysis for Embedded Programs - Venet Self-citation (Venet) (Correct)
No context found.
A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 35(2):223--248, 1999.
Nonuniform Alias Analysis of Recursive Data Structures and Arrays - Venet (2002) (1 citation) Self-citation (Venet) (Correct)
No context found.
A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 35(2):223-248, 1999.
Automatic Determination of Communication Topologies in Mobile.. - Venet (1998) (8 citations) Self-citation (Venet) (Correct)
No context found.
A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 1999. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC