Suan Hsi Yong, Susan Horwitz  Home/Search
Context Related
| wisc.edu/wpis/papers/rv02.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: wisc.edu/wpis/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an e#ective approach to debugging, as well as an e#ective means to prevent harm being caused by malicious code. One problem with this approach is the runtime overhead introduced by the instrumentation. We define several techniques that involve using the results of static analysis to identify some cases where instrumentation can safely be removed. While we have designed the techniques ... (Update)
Cited by: More
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Similar documents (at the sentence level):
6.0%: Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (Correct)
Active bibliography (related documents): More All
0.5: Protecting C Programs from Attacks via Invalid Pointer.. - Yong, Horwitz (2003) (Correct)
0.3: Debugging via Run-Time Type Checking - Alexey Loginov Suan (2001) (Correct)
0.3: Oolala - From Numerical Linear Algebra To Compiler Technology For .. - Moreno (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Safety Checking of Machine Code - Xu, Miller et al. - 2000
2: Dependent types in practical programming - Xi, Pfenning - 1999
2: Memory management with explicit regions - Gay, Aiken - 1998
BibTeX entry: (Update)
Suan Yong and Susan Horwitz. Reducing the overhead of dynamic analysis. In 2nd Workshop on Runtime Verification, volume 70(4) of Electronic Notes in Theoretical Computer Science, pages 159--179, Copenhagen, Denmark, July 2002. Elsevier Science Publishers. http://citeseer.ist.psu.edu/article/yong02reducing.html More
@misc{ yong02reducing,
author = "S. Yong and S. Horwitz",
title = "Reducing the overhead of dynamic analysis",
text = "Suan Yong and Susan Horwitz. Reducing the overhead of dynamic analysis.
In 2nd Workshop on Runtime Verification, volume 70(4) of Electronic Notes
in Theoretical Computer Science, pages 159--179, Copenhagen, Denmark, July
2002. Elsevier Science Publishers.",
year = "2002",
url = "citeseer.ist.psu.edu/article/yong02reducing.html" }
Citations (may not include all citations):232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
88 Cyclone: A safe dialect of C - Jim, Morrisett et al. - 2002
70 Points-to analysis in almost linear time - Steensgaard - 1996
69 Unification-based pointer analysis with directional assignme.. - Das - 2000
67 CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
48 Global tagging optimization by type inference - Henglein - 1992
43 ABCD: Eliminating array bounds checks on demand - Bodik, Gupta et al. - 2000
41 Implementation of an array bound checker (context) - Suzuki, Ishihata - 1977
40 Optimizing array bound checks using flow analysis - Gupta - 1993
35 Pointer analysis for programs with structures and casting - Yong, Horwitz et al. - 1999
32 Optimization of range checking (context) - Markstein, Cocke et al. - 1982
31 A first step towards automated detection of bu#er overrun vu.. (context) - Wagner, Foster et al. - 2000
25 concurrent checking of pointer and array accesses in C progr.. (context) - Patil, Fischer - 1997
23 Debugging via run-time type checking - Loginov, Yong et al. - 2029
22 cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
16 Using GDB: A Guide to the GNU Source-Level Debugger (context) - Stallman, Pesch - 1991
8 Purify: Fast detection of memory leaks and access errors (context) - Hasting, Joyce - 1992
5 Elimination of java array bounds checks in the presence of i.. - Lujan, Gurd et al. - 2002
5 Deriving pre-conditions for array bound check elimination - Chin, Khoo et al. - 2001
2 An automatic runtime error detection tool (context) - Insure - 2001
2 Coping with type casts in C (context) - Si, Chandra et al. - 1999
Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (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