R. W. M. Jones and P. H. J. Kelly. Backwardscompatible bounds checking for arrays and pointers in C programs. In Proceedings of the 3rd International Workshop on Automatic Debugging, number 009-02 in Link oping Electronic Articles in Computer and Information Science, pages 13--26, Link oping, Sweden, 1997. Link oping University Electronic Press. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Improving Computer Security using Extended Static Checking - Chess (2002) (12 citations) (Correct)
....user specific data from being transmitted over the network [12] Java provides a flexible mechanism for controlling the run time security policy enforced by the Java virtual machine [15] Some of C s inherent weaknesses can be overcome through the use of runtime checking too. Jones and Kelly [16] propose a scheme for adding object bounds checks at compile time, but standard libraries that are not recompiled remain vulnerable to buffer overflow attacks, and the performance of checked programs may suffer. Similarly, program instrumentation approaches like the one taken by Purify [14] are ....
R. W. M. Jones and P. H. J. Kelly. Backwardscompatible bounds checking for arrays and pointers in c programs. In Third International Workshop on Automated Debugging, 1997.
A Methodology for Designing Countermeasures Against.. - Younan, Joosen, Piessens (2004) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwardscompatible bounds checking for arrays and pointers in C programs. In Proceedings of the 3rd International Workshop on Automatic Debugging, number 009-02 in Link oping Electronic Articles in Computer and Information Science, pages 13--26, Link oping, Sweden, 1997. Link oping University Electronic Press.
Efficient Techniques for Comprehensive Protection from.. - Bhatkar, Sekar, DuVarney (2005) (2 citations) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwardscompatible bounds checking for arrays and pointers in C programs. In Third International Workshop on Automated Debugging. Linkoping University Electronic Press, 1997.
A Methodology for Designing Countermeasures Against.. - Younan, Joosen, Piessens (2005) (Correct)
No context found.
R. W. M. Jones and P. H. J. Kelly. Backwardscompatible bounds checking for arrays and pointers in C programs. In Proceedings of the 3rd International Workshop on Automatic Debugging, number 009-02 in Link oping Electronic Articles in Computer and Information Science, pages 13--26, Link oping, Sweden, 1997. Link oping University Electronic Press.
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