R. Hastings and B. Joyce. Purify: Fast Detection of Memory Leaks and Access Errors. In Winter USENIX Conference, pages 125--136, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Reconsidering Custom Memory Allocation - Emery Berger Dept (2002) (1 citation) (Correct)
Improving Computer Security using Extended Static Checking - Chess (2002) (12 citations) (Correct)
Testing C Programs for Buffer Overflow Vulnerabilities - Haugh (2002) (Correct)
Detecting Heap Smashing Attacks Through Fault Containment.. - Fetzer, Xiao (2001) (4 citations) (Correct)
A Practical Flow-Sensitive and Context-Sensitive C and C++.. - Heine, Lam (2003) (5 citations) (Correct)
Fail-Safe ANSI-C Compiler: An Approach to Making C.. - Oiwa, Sekiguchi.. (2002) (5 citations) (Correct)
Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly (1997) (34 citations) (Correct)
Testing C Programs for Buffer Overflow Vulnerabilities - Haugh, Bishop (2003) (Correct)
Memory Management for High-Performance Applications - Berger (2002) (2 citations) (Correct)
Defining Software Visualizations Dynamically (Extended Abstract) - Reiss (Correct)
Enhancing Software Reliability with Speculative Threads - Oplinger, Lam (2002) (7 citations) (Correct)
ESP: A Language for Programmable Devices - Kumar (2002) (Correct)
Simple and General Statistical Profiling with PCT - Charles Blake Steve (2002) (1 citation) (Correct)
Cut-based Functional Debugging for Programmable.. - Kirovski, Potkonjak.. (2000) (Correct)
Checking System Rules Using System-Specific.. - Engler, Chelf, Chou.. (2000) (5 citations) (Correct)
Tracking Down Software Bugs Using Automatic Anomaly Detection - Hangal, Lam (2002) (54 citations) (Correct)
Bell: Bit-Encoding Online Memory Leak Detection - Michael Bond Kathryn (Correct)
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
Enhancing Software Reliability With Speculative Threads - And The Committee (Correct)
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
Advanced Unit Testing - How to Scale up a Unit Test Framework - Artho, Biere (2006) (Correct)
Enhancing Security through Hardware-assisted Run-time .. - Arora, Raghunathan.. (2005) (Correct)
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
Low-Overhead Interactive Debugging via Dynamic.. - Marc Corliss Christopher (2005) (1 citation) (Correct)
Caroline Mae Tice - Report No Ucb (Correct)
Buffer Overflow and Format String Overflow Vulnerabilities - Lhee, Chapin (2002) (Correct)
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (2 citations) (Correct)
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
Reconsidering Custom Memory Allocation - Emery Berger Dept (2004) (1 citation) (Correct)
Enhancing Server Availability and Security through .. - Rinard, Cadar.. (2004) (3 citations) (Correct)
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
Memory Management for High-Performance Applications - Berger (2002) (2 citations) (Correct)
Reconsidering Custom Memory Allocation - Berger, Zorn, McKinley (2002) (1 citation) (Correct)
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
iWatcher: Efficient Architectural Support for Software Debugging - Pin Zhou Feng (2004) (1 citation) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Taming C Pointers - Necula, McPeak, Weimer (2002) (Correct)
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
CCured in the Real World - Jeremy Condit Matthew (2003) (13 citations) (Correct)
Flashback: A Lightweight Extension for Rollback and .. - Srinivasan.. (2004) (1 citation) (Correct)
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
High Performance Robust Computer Systems - DeVale (2001) (1 citation) (Correct)
ARCHER: Using Symbolic, Path-sensitive Analysis to Detect.. - Xie, Chou, Engler (2003) (Correct)
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (1 citation) (Correct)
Compiler-Directed Run-Time Monitoring of Program Data Access - Chen Ding Yutao (2002) (Correct)
CCured in the Real World - Condit, Harren, McPeak, Necula.. (2003) (13 citations) (Correct)
Vmalloc: A General and Efficient Memory Allocator - Vo (1996) (17 citations) (Correct)
JiTI: Tracing Memory References for Data Race Detection - Ronsse, De Bosschere (1997) (1 citation) (Correct)
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