Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa  Home/Search
Context Related
| yl.is.s.utokyo.ac.jp/~sum...safeC.pdf upenn.edu/~sumii/pub/./safeC.pdf 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: yl.is.s.utokyo.ac.jp/~sumii/p... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is well known that programs written in C are apt to suffer from nasty errors due to dangling pointers and/or buffer overflow. In particular, such errors in Internet servers are often exploited by malicious attackers to "crack" an entire system, which becomes even social problems nowadays. Nevertheless, it is yet unrealistic to throw away the C language at once because of legacy programs and legacy programmers. (Update)
Similar documents based on text: More All
0.3: Extending Java Virtual Machine with Integer-Reference.. - Oiwa, Taura, Yonezawa (2000) (Correct)
0.3: A Simple Extension of Java Language for Controllable.. - Sekiguchi, Masuhara.. (1999) (Correct)
0.3: Portable Implementation of Continuation Operators in.. - Sekiguchi, Sakamoto.. (2001) (Correct)
BibTeX entry: (Update)
Y. Oiwa, T. Sekiguchi, E. Sumii, and A. Yonezawa. Fail-safe ANSI-C compiler: An approach to making C programs secure: Progress report. In Proceedings of International Symposium on Software Security 2002. http://citeseer.ist.psu.edu/oiwa02failsafe.html More
@misc{ oiwa-failsafe,
author = "Yutaka Oiwa and Tatsurou Sekiguchi and Eijiro Sumii and Akinori Yonezawa",
title = "Fail-Safe {ANSI-C} Compiler: An Approach to Making C Programs Secure",
url = "citeseer.ist.psu.edu/oiwa02failsafe.html" }
Citations (may not include all citations):141 StackGuard: Automatic adaptive detection and prevention of b.. - Cowan, Pu et al. - 1998
104 Lazy Code Motion - Knoop, Ruthing et al. - 1992
98 Purify: Fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
88 Cyclone: A safe dialect of C - Jim, Morrisett et al. - 2002
70 Region-based memory management in Cyclone - Grossman, Morrisett et al. - 2002
67 CCured: Type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002
43 ABCD: Eliminating Array Bounds Checks on Demand - Bodik, Gupta et al. - 2000
34 Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly - 1997
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
23 Debugging via run-time type checking - Loginov, Yong et al. - 2001
22 cient detection of all pointer and array access errors (context) - Austin, Breach et al. - 1994
21 an interpreter-based programming environment for the C langu.. (context) - Kaufer, Lopez et al. - 1988
2 Implementing a fail-safe ANSIC compiler (context) - Oiwa, Sumii et al. - 2001
2 Implementing a fail-safe ANSIC compiler (context) - Oiwa, Sumii et al. - 2002
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/): More
An Implementation of Transparent Migration on Standard Scheme - Sumii (2000) (Correct)
Relating Cryptography and Polymorphism - Pierce, Sumii (2000) (Correct)
Online Type-Directed Partial Evaluation for.. - Sumii, Kobayashi (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