Satish Chandra, Thomas Reps  Home/Search
Context Related
| wisc.edu/wpis/papers/paste99.ps belllabs.com/user/schandr...paste99.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: The effectiveness of traditional type checking in C is limited by the presence of type conversions using type casts. Because the C standard allows arbitrary type conversions between pointer types, neither C compilers, nor tools such as lint, can guarantee type safety in the presence of such type conversions. In particular, by using casts involving pointers to structures (C structs), a programmer can interpret any memory region to be of any desired type, further compromising C's weak type... (Update)
Cited by: More
Efficient Field-Sensitive Pointer Analysis for C - David Pearce Imperial (Correct)
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (Correct)
Similar documents (at the sentence level):
57.8%: Physical Type Checking for C - Chandra, Reps (1999) (Correct)
Active bibliography (related documents): More All
0.4: Debugging via Run-Time Type Checking - Loginov, Yong, Horwitz, Reps (2001) (Correct)
0.4: Coping with Type Casts in C - Siff, Chandra, Kunchithapadam, Reps (1999) (Correct)
0.3: Polymorphic versus Monomorphic Flow-insensitive.. - Foster, Fähndrich, Aiken (2000) (Correct)
Similar documents based on text: More All
0.2: x-kernel Programmer's Manual (Version 3.3) - Network Systems Research (Correct)
0.1: Case-study: Casting in C++ - Ti Ng In (Correct)
0.1: A Hierarchical Model for Coordination of Concurrent Activities - Varela, Agha (1999) (Correct)
Related documents from co-citation: More All
8: Coping with type casts in C - Siff, Chandra et al. - 1999
8: Pointer analysis for programs with structures and casting - Yong, Horwitz et al. - 1999
7: cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
BibTeX entry: (Update)
Satish Chandra and Thomas Reps. Physical type checking for C. Technical Report BL0113590-990302-04, Lucent Technologies, Bell Laboratories, March 1999. Available at http://www.bell-labs.com/~schandra/pubs/checking-tr.ps. http://citeseer.ist.psu.edu/chandra99physical.html More
@inproceedings{ chandra99physical,
author = "Satish Chandra and Thomas W. Reps",
title = "Physical Type Checking for C",
booktitle = "Workshop on Program Analysis For Software Tools and Engineering",
pages = "66-75",
year = "1999",
url = "citeseer.ist.psu.edu/chandra99physical.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1984 ACM DBLP
232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
180 Efficient contextsensitive pointer analysis for c programs - Wilson, Lam - 1995
114 Fast and accurate flowinsensitive points-to analysis - Shapiro, Horwitz - 1997
94 Projections for strictness analysis - Wadler, Hughes - 1987 ACM DBLP
88 Static detection of dynamic memory errors - Evans - 1996 ACM DBLP
48 Points-to analysis by type inference of programs with struct.. - Steensgaard - 1996 ACM DBLP
47 Program specialization via program slicing - Reps, Turnidge - 1996 ACM DBLP
38 Program decomposition for pointer aliasing: A step toward pr.. - Zhang, Ryder et al. - 1996
35 Pointer analysis for programs with structures and casting - Yong, Horwitz et al. - 1999 ACM DBLP
22 Aggregate structure identification and its application to pr.. - Ramalingam, Field et al. - 1999 ACM DBLP
20 Physical type checking for C - Chandra, Reps - 1999 ACM DBLP
18 Dependence analysis for recursive data - Liu - 1998 ACM DBLP
17 Coping with type casts in C - Siff, Chandra et al. - 1999 ACM DBLP
16 Towards an ML-style polymorphic type system for C - Smith, Volpano - 1996 ACM DBLP
15 Flow-insensitive points-to analysis with term and set constr.. - Foster, Fahndrich et al. - 1997 ACM
15 Program generalization for software reuse: From C to C - Siff, Reps - 1996
14 program checker (context) - Johnson - 1978
10 Polymorphic components for monomorphic languages (context) - Grosch, Snelting - 1993
7 Detecting shared representations using type inference (context) - O'Callahan, Jackson - 1995
4 Program analysis using mixed term and set constraints - Fahndrich, Aiken - 1997 ACM DBLP
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