J. L. Ste#en. Adding run-time checking to the portable C compiler. Software-Practice and Experience, 22:305--316, April 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly (1997) (34 citations) (Correct)
....p probably points to a valid region but is improperly derived. 5 5 We need to check that the storage region has not been de allocated, either explicitly or by block exit 6 6 Change pointer representation: Structure pointer to provide information about the intended referent [S.C. Kendall, 1983, J.L.Ste en, 1992] Add guard variables: For each pointer variable or parameter, add a guard variable which provides information about the intended referent [Patil and Fischer, 1996] Problem: Both fail to inter operate with code compiled without checking e.g. consider function typed variables, virtual ....
J.L.Ste en (1992). Adding run{time checking to the portable C compiler. Software { Practice and Experience, 22(4):305-316.
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (8 citations) (Correct)
....and they can detect when stored types mismatch declared types or union members are accessed out of order. While their tool and ours are similar in many respects their goal is to provide rich debugging information and ours is to make C programs safe while retaining eciency. Ste en s rtcc compiler [27] is portable and adds object attributes to pointers but fails to detect temporal access errors and does not perform any check optimizations. In fact, beyond array bounds check elimination, none of these techniques use type based static analysis to aggressively reduce the overhead of the ....
J. L. Ste en. Adding run-time checking to the Portable C Compiler. Software|Practice and Experience, 22(4):305{ 316, Apr. 1992.
Efficient Techniques for Comprehensive Protection from.. - Bhatkar, Sekar, DuVarney (2005) (2 citations) (Correct)
No context found.
J. L. Ste#en. Adding run-time checking to the portable C compiler. Software-Practice and Experience, 22:305--316, April 1992.
CCured: Type-Safe Retrofitting of Legacy Code - Necula, McPeak, Weimer (2002) (63 citations) (Correct)
No context found.
J. L. Ste#en. Adding run-time checking to the Portable C Compiler. Software---Practice and Experience, 22(4):305-- 316, Apr. 1992.
Compiler-Directed Run-Time Monitoring of Program Data Access - Chen Ding Yutao (2002) (Correct)
No context found.
J. L. Ste en. Adding run-time checking to the portable C compiler. Software Practice and
Optimization of Array Bound Checking - Nga (2000) (Correct)
No context found.
J. L. Ste en. Adding run-time checking to the portable c compiler. Software-Practice and Experience, 22(4):305-316, April 1992.
Efficient Intraprocedural Array Bound Checking - Nguyen, Irigoin, Ancourt.. (Correct)
No context found.
J. L. Ste en. Adding run-time checking to the portable C compiler. Software-Practice and Experience, 22(4):305-316, April 1992.
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