Alexey Loginov, Suan Hsi Yong, Susan Horwitz, and Thomas Reps Computer...  Home/Search
Context Related
Links: ACM DBLP | wisc.edu/wpis/papers/fase01.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/html/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the type stored in each memory location. Whenever a value is written into a location, the location's run-time type tag is updated to match the type of the value. Also, the location's static type is compared with the value's type; if there is a mismatch, a warning message is issued. Whenever the value in a location... (Update)
Cited by: More
Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (Correct)
Enhancing Security through Hardware-assisted Run-time .. - Arora, Raghunathan.. (2005) (Correct)
An Efficient and Backwards-Compatible Transformation to.. - Xu, DuVarney, Sekar (2004) (Correct)
Similar documents (at the sentence level):
62.4%: Debugging via Run-Time Type Checking - Loginov, Yong, Horwitz, Reps (2001) (Correct)
7.8%: A Run-Time Type-Checking Debugger for C - Alexey Loginov Suan (Correct)
Active bibliography (related documents): More All
0.2: Safe polymorphic type inference for a Dynamically Typed.. - Henglein, Rehof (1995) (Correct)
0.2: Protecting C Programs from Attacks via Invalid Pointer.. - Yong, Horwitz (2003) (Correct)
0.2: An Empirical Study of Operating Systems Errors - Chou, Yang, Chelf, Hallem.. (2001) (Correct)
Similar documents based on text: More All
0.3: Abstraction Refinement for 3-Valued-Logic Analysis - Loginov, Reps, Sagiv (2004) (Correct)
0.2: Semantic Minimization of 3-Valued Propositional Formulae - Reps, Loginov, Sagiv (2002) (Correct)
0.2: Pointer Analysis for Programs with Structures and Casting - Yong, Horwitz, Reps (1999) (Correct)
Related documents from co-citation: More All
17: CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
15: concurrent checking of pointer and array accesses in C programs (context) - Patil, Fischer - 1997
15: Purify: fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
BibTeX entry: (Update)
A. Loginov, S. Yong, S. Horwitz, and T. Reps. Debugging via run-time type checking. In Proc. of Fundamental Approaches to Softw. Eng. (FASE), 2001. http://citeseer.ist.psu.edu/loginov01debugging.html More
@article{ loginov01debugging,
author = "Alexey Loginov and Suan Hsi Yong and Susan Horwitz and Thomas Reps",
title = "Debugging via Run-Time Type Checking",
journal = "Lecture Notes in Computer Science",
volume = "2029",
pages = "217--??",
year = "2001",
url = "citeseer.ist.psu.edu/loginov01debugging.html" }
Citations (may not include all citations):250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978 ACM DBLP
48 Points-to analysis by type inference of programs with struct.. - Steensgaard - 1996 ACM DBLP
43 ABCD: Eliminating array bounds checks on demand - Bodik, Gupta et al. - 2000 DBLP
43 Fuzz revisited: A re-examination of the reliability of UNIX .. - Miller, Koski et al. - 1995
35 Pointer analysis for programs with structures and casting - Yong, Horwitz et al. - 1999 ACM DBLP
33 Symbolic bounds analysis of pointers (context) - Rugina, Rinard - 2000
25 concurrent checking of pointer and array accesses in C progr.. (context) - Patil, Fischer - 1997
22 cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
20 Physical type checking for C - Chandra, Reps - 1999 ACM DBLP
17 Coping with type casts in C - Si, Chandra et al. - 1999 ACM DBLP
16 Generalized constant propagation: A study in C - Verbrugge, Co et al. - 1996 DBLP
16 Using GDB: A Guide to the GNU Source-Level Debugger (context) - Stallman, Pesch - 1991
13 Soft typing: An approach to type checking for dynamically ty.. - Fagan - 1998
8 Purify: Fast detection of memory leaks and access errors (context) - Hasting, Joyce - 1992
5 A first step towards automated detection of bu#er overrun vu.. (context) - Wagner, Foster et al. - 2000
5 Practical soft typing - Wright - 1998 ACM
1 comcmcswhat smlnjdocckit (context) - cm, com et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wisc.edu/wpis/html/): More
Coping with Type Casts in C - Siff, Chandra, Kunchithapadam, Reps (1999) (Correct)
Physical Type Checking for C - Chandra, Reps (1999) (Correct)
Physical Type Checking for C - Chandra, Reps (1999) (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