Protecting C programs from attacks via invalid pointer dereferences
- 1 September 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 28 (5) , 307-316
- https://doi.org/10.1145/940071.940113
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- CCured in the real worldPublished by Association for Computing Machinery (ACM) ,2003
- ABCDPublished by Association for Computing Machinery (ACM) ,2000
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Pointer analysis for programs with structures and castingPublished by Association for Computing Machinery (ACM) ,1999
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Efficient detection of all pointer and array access errorsPublished by Association for Computing Machinery (ACM) ,1994
- Optimizing array bound checks using flow analysisACM Letters on Programming Languages and Systems, 1993
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Optimization of range checkingACM SIGPLAN Notices, 1982
- Implementation of an array bound checkerPublished by Association for Computing Machinery (ACM) ,1977