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". Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Self-citation (Evans) (Correct)
No context found.
David Evans. Static Detection of Dynamic Memory Errors. SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), Philadelphia, PA., May 1996. Describes approach for exploiting annotations added to code to detect a wide class of errors. Focuses on memory management checks described in Section 5 of this manual.
Finding Security Vulnerabilities Before Evil Doers Do - David Evans Evans Self-citation (Evans) (Correct)
No context found.
David Evans. Static Detection of Dynamic Memory Errors. SIGPLAN Conference on Programming Language Design and Implementation. May 1996.
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas (Correct)
No context found.
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".
Caroline Mae Tice - Report No Ucb (Correct)
No context found.
Evans, D., "Static Detection of Dynamic Memory Errors", Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, ACM SIGPLAN Notices 31(5), May 1996, pp. 44-53
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Bhatkar.. (2003) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 44--53, Philadelphia, Pennsylvania, 21--24 May 1996.
A Hardware-Software Platform for Intrusion Prevention - Milenko Drini And (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. ACM PLDI, pages 44--53, 1996.
A Hardware-Software Platform for Intrusion Prevention - Milenko Drini And (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. ACM PLDI, pages 44--53, 1996.
Static and Dynamic Analysis: Synergy and Duality - Michael Ernst Mit (2003) (2 citations) (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. In PLDI, pages 44--53, May 21--24, 1996.
Invariant Inference for Static Checking: An Empirical Evaluation - Nimmer, Ernst (2002) (1 citation) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In PLDI, pages 44-53, May 21-24, 1996.
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (11 citations) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In PLDI, pages 44-53, May 21-24, 1996. 19
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 44-53, Philadelphia, PA, May 21-24, 1996.
Alias Types - Smith, Walker, Morrisett (1999) (26 citations) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In ACM Conference on Programming Language Design and Implementation, Philadelphia, May 1996.
ESP: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (46 citations) (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. In Proceedings of the ACM SIGPLAN 96 Conference on Programming Language Design and Implementation, 1996.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
David Evans. Static Detection of Dynamic Memory Errors. In Proceedings of the 1996.
A Static Analyzer for Finding Dynamic Programming Errors - William Bush Jonathan (2000) (56 citations) (Correct)
No context found.
D. Evans, "Static Detection of Dynamic Memory Errors", SIGPLAN Conference on Programming Language Design and Implementation (PLDI 96), May 1996, pp. 44-53.
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. In Conference on Programming Language Design and Implementation, pages 44-53. ACM, 1996.
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Venkatakrishnan, .. (2003) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 44--53, Philadelphia, Pennsylvania, 21--24 May 1996.
Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2002) (80 citations) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In SIGPLAN Conference on Programming Language Design and Implementation, May 1996.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In ACM Conference on Programming Language Design and Implementation, pages 44--53, Philadelphia, PA, May 1996.
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. ACM SIGPLAN Notices, 31(5):44--53, 1996.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
David Evans. Static detection of dynamic memory errors. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), 1996.
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI).. - And Complex Data (2001) (Correct)
No context found.
D. Evans, "Static detection of dynamic memory errors," in Proc. SIGPLAN Conf. Programming Language Design and Implementation (PLDI '96), Philadelphia, PA, May 1996.
Program Verification with Monadic Second-Order Logic & Languages.. - Møller (2002) (Correct)
No context found.
D. EVANS, Static detection of dynamic memory errors, in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '96, May 1996.
Static and Dynamic Analysis: Synergy and Duality - Michael Ernst Mit (2003) (2 citations) (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. In PLDI, pages 44--53, May 21--24, 1996.
A Practical Type System and Language for Reference Immutability - Birka, Ernst (2004) (1 citation) (Correct)
No context found.
D. Evans. Static detection of dynamic memory errors. In Programming Language Design and Implementation, pages 44--53, Philadelphia, PA, May 21--24, 1996.
First 50 documents Next 50
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