Bjarne Steensgaard Microsoft Research One Microsoft Way Redmond, WA 98052,...  Home/Search
Context Related
| trinity.edu/~mlewis...Steensgaard96.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fmi.unipassau.de/...bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present an interprocedural flow-insensitive points-to analysis based on type inference methods with an almost linear time cost complexity. To our knowledge, this is the asymptotically fastest non-trivial interprocedural points-to analysis algorithm yet described. The algorithm is based on a non-standard type system. The type inferred for any variable represents a set of locations and includes a type which in turn represents a set of locations possibly pointed to by the variable. The type... (Update)
Cited by: More
Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (Correct)
Precise Alias Analysis for Static Detection of Web.. - Jovanovic, Kruegel.. (Correct)
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (Correct)
Similar documents (at the sentence level):
7.9%: Points-to Analysis by Type Inference of Programs with.. - Steensgaard (1996) (Correct)
7.3%: Points-to Analysis in Almost Linear Time - Steensgaard (1996) (Correct)
Active bibliography (related documents): More All
0.0: Program Decomposition for Pointer Aliasing: A Step toward.. - Zhang, Ryder, Landi (1996) (Correct)
0.0: Putting Pointer Analysis to Work - Ghiya, Hendren (1998) (Correct)
0.0: Putting Pointer Analysis To Work - Ghiya (1998) (Correct)
Similar documents based on text: More All
0.4: Fast Points-to and Side-effect Analysis for the McCAT C Compiler - Olivar (Correct)
0.4: Supporting Software Distributed Shared Memory with.. - Inagaki, Niwa.. (1998) (Correct)
0.4: Off-line Variable Substitution for Scaling Points-to Analysis - Rountev, Chandra (2000) (Correct)
Related documents from co-citation: More All
31: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
28: Program Analysis and Specialization for the C Programming Language (context) - Andersen - 1994
23: Context-insensitive alias analysis reconsidered - Ruf - 1995
BibTeX entry: (Update)
Bjarne Steensgard. Points-to analysis in almost linear time. In Proceedings 23rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1996. http://citeseer.ist.psu.edu/550377.html More
@inproceedings{ steensgaard96pointsto,
author = "Bjarne Steensgaard",
title = "Points-to Analysis in Almost Linear Time",
booktitle = "Symposium on Principles of Programming Languages",
pages = "32-41",
year = "1996",
url = "citeseer.ist.psu.edu/550377.html" }
Citations (may not include all citations):1399 Compilers--Principles (context) - Aho, Sethi et al. - 1986
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
79 Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993
63 A storeless model of aliasing and its abstractions using fin.. (context) - Deutsch - 1992
62 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
45 Efficient detection of all pointer and array access errors - Austin, Breach et al. - 1994
36 Interprocedural may-alias analysis for pointers: Beyond k-li.. (context) - Deutsch - 1994
2 Use algorithm from [Stea] program restructuring tool (context) - Griswold, algorithm et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.fmi.uni-passau.de/~hammer/bibliography.html): More
Flow Insensitive C++ Pointers and Polymorphism - Analysis And Its (Correct)
The Static Single Information Form - Ananian (1999) (Correct)
Speeding up Slicing - Reps, Horwitz, Sagiv, Rosay (1994) (Correct)
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