Nurit Dor  Home/Search
Context Related
| math.tau.ac.il/~nurr/thesis.ps.gz 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: math.tau.ac.il/~nurr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: By Nurit Dor May 1999 We study the applicability of pointer analysis algorithms (originally aimed at optimizing compilers) to identify potential errors such as dereferencing NULL pointers in C programs, by statically analyzing the behavior of programs on all their input data. The algorithms are conservative, i.e., they never miss an error but may also create "false alarms". Our goal is to identify the "core program analysis techniques" that are needed to develop a realistic tool that does... (Update)
Cited by: More
Increasing Concurrency in Databases Using Program Analysis - Vitenberg, Kvilekval, Singh (2004) (Correct)
Alias Types - Smith, Walker, Morrisett (1999) (Correct)
A Static Analyzer for Finding Dynamic Programming Errors - William Bush Jonathan (2000) (Correct)
Similar documents (at the sentence level):
11.0%: Detecting Memory Errors via Static Pointer Analysis.. - Dor, Rodeh, Sagiv (1998) (Correct)
Active bibliography (related documents): More All
0.8: Checking Cleanness in Linked Lists - Dor, Rodeh, Sagiv (2000) (Correct)
0.5: Analysis and Efficient Implementation of Functional Programs - Sestoft (1991) (Correct)
0.3: Type-checking Revisited: Modular Error-handling - Dinesh (1993) (Correct)
Similar documents based on text: More All
0.6: Interprocedural Shape Analysis - Rinetzky (Correct)
0.4: CSSV: Towards a Realistic Tool for Statically Detecting All.. - Dor, Rodeh, Sagiv (2000) (Correct)
0.4: Numeric Domains with Summarized Dimensions - Gopan, DiMaio, Dor, Reps, Sagiv (2004) (Correct)
Related documents from co-citation: More All
13: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
11: Static detection of dynamic memory errors - Evans - 1996
7: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
BibTeX entry: (Update)
N. Dor, M. Rodeh, and M. Sagiv. Detecting memory errors via static pointer analysis. In SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), New York, NY, 1998. ACM Press. http://citeseer.ist.psu.edu/dor99detecting.html More
@inproceedings{ dor98detecting,
author = "Nurit Dor and Michael Rodeh and Shmuel Sagiv",
title = "Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience)",
booktitle = "Workshop on Program Analysis For Software Tools and Engineering",
pages = "27-34",
year = "1998",
url = "citeseer.ist.psu.edu/dor99detecting.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
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
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
152 An efficient method of computing static single assignment fo.. (context) - Cytron, Ferrante et al. - 1989
146 Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
131 Interprocedural may-alias analysis for pointers: Beyond klim.. - Deutsch - 1994
114 Fast and accurate flow-insensitive points-to analysis - Shapiro, Horwitz - 1997
97 Pointer induced aliasing: A problem classification (context) - Landi, Ryder - 1991
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982
88 Static detection of dynamic memory errors - Evans - 1996
86 A precise inter-procedural data flow algorithm (context) - Myers - 1981
79 Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993
79 Abstractions for recursive pointer data structures: Improvin.. - Hendren, Hummel et al. - 1992
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
63 A storeless model for aliasing and its abstractions using fi.. (context) - Deutsch - 1992
54 The use of program dependence graphs in software engineering (context) - Horwitz, Reps - 1992
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1995
48 Interprocedural Aliasing in the Presence of Pointers - Landi - 1991
45 Efficient detection of all pointer and array access errors - Austin, Breach et al. - 1994
39 Parametric program slicing (context) - Field, Ramalingam et al. - 1995
38 Generation of Efficient Interprocedural Analyzers with PAG - Alt, Martin - 1995
36 Automatic verification of pointer programs using monadic sec.. - Jensen, Joergensen et al. - 1997
31 Analysis of dynamic structures for efficient parallel execut.. - Plevyak, Chien et al. - 1993
26 Binding-time analysis and the taming of C pointers - Andersen - 1993
26 Binding-time analysis and the taming of C pointers - Andersen - 1993
23 or a cyclic graph (context) - Ghiya, Hendren et al. - 1996
20 Abstract interpretation (context) - Cousot - 1996
19 A lattice for abstract interpretation of dynamic (context) - Stransky - 1992
18 Detecting memory errors via static pointer analysis - Dor, Rodeh et al. - 1998
18 Static detection of pointer errors: an axiomatisation and a .. - Fradet, Gaugne et al. - 1996
17 Assessing the effects of flow-sensitivity on pointer alias a.. - Hind, Pioli - 1998
14 A logic-based approach to data flow analysis problems (context) - Sagiv, Francez et al. - 1990
11 Interfaces and Implementations (context) - Hanson - 1997
9 Scanning list structures without stacks or tag bits (context) - Lindstrom - 1973
6 Points-to analysis in linear time (context) - Steensgaard - 1996
6 Calculating properties of programs by valuations on specific.. (context) - Sintzoff - 1972
6 Extended ssa numbering: Introducing ssa properties to langua.. - Lapkovski, Hendren - 1996
3 Checking of operand types in algol compilers (context) - Naur - 1965
2 an economical bug detector (context) - Jackson - 1994
2 http://www.pureatria.com (context) - Atria, software - 1995
1 http://www.sds.lcs.mit.edu/lclint/lists.html (context) - Evans, group - 1997
1 http://www.cs.colorado.edu/ zorn/MallocDebug.html (context) - Zorn, Hilfinger et al. - 1991
1 http://www.sds.lcs.mit.edu/lclint/guide/index.html (context) - Evans, Guide et al. - 1996
1 Using static single assignmnet form to improve flow-insensit.. (context) - Hasti, Horwitz - 1998
1 Maple software (context) - MapleSoft - 1997
1 ftp://ftp.letters.com/src/dmalloc.ps (context) - Watson, library - 1994
1 http://www.research.digital.com/SRC/esc/Esc.html (context) - Research, checking et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.tau.ac.il/~nurr/): More
Checking Cleanness in Linked Lists - Dor, Rodeh, Sagiv (2000) (Correct)
Cleanness Checking of Strings in C Programs - Nurit Dor Tel-Aviv (Correct)
Cleanness Checking of String Manipulations in C Programs via .. - Dor, Rodeh, Sagiv (2001) (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