David Evans MIT Laboratory for Computer Science  Home/Search
Context Related
Links: ACM DBLP | mit.edu/pub/lclint/pldi96.ps.gz mit.edu/~evs/pldi96.ps.gz stanford.edu/class/cs343/ps...lclint.ps 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: mit.edu/spd/pub/ (more) From: mit.edu/~evs/pubs Homepages: D.Evans |
Rate this article:      (best)Comment on this article |
Abstract: Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these bugs cannot be detected efficiently at compile-time, since detailed cross-procedural analyses would be required to determine the relevant assumptions. In this work, we introduce annotations to make certain assumptions explicit at interface points. An efficient static checking tool that exploits these annotations can... (Update)
Cited by: More
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
Caroline Mae Tice - Report No Ucb (Correct)
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Bhatkar.. (2003) (Correct)
Similar documents (at the sentence level):
9.6%: Unknown - (Correct)
8.0%: Splint Manual - Evans (2002) (Correct)
Similar documents based on text: More All
0.2: Using Specifications to Check Source Code - Evans (1994) (Correct)
0.1: LCLint: A Tool for Using Specifications to Check Code - Evans (1994) (Correct)
0.0: Detecting Memory Errors via Static Pointer Analysis.. - Dor, Rodeh, Sagiv (1998) (Correct)
Related documents from co-citation: More All
24: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
21: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
20: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
BibTeX entry: (Update)
D. Evans. Static detection of dynamic memory errors. In SIGPLAN Conference on Programming Languages Design and Implementation, 1996. Available at "http://larchwww. lcs.mit.edu:8001/¸ evs/pldi96-abstract.html". http://citeseer.ist.psu.edu/evans96static.html More
@inproceedings{ evans96static,
author = "David Evans",
title = "Static Detection of Dynamic Memory Errors",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation ({PLDI} '96)",
year = "1996",
url = "citeseer.ist.psu.edu/evans96static.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sds.lcs.mit.edu/spd/pub/): More
A Guide to LP, The Larch Prover - Garland, Guttag (1991) (Correct)
Computer-Assisted Verification of an Algorithm for .. - Petrov.. (1996) (Correct)
A Parallel Completion Procedure for Term Rewriting Systems - Yelick, Garland (1992) (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