Backwards-compatible array bounds checking for C with very low overhead
- 28 May 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 162-171
- https://doi.org/10.1145/1134285.1134309
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Efficiently Detecting All Dangling Pointer Uses in Production ServersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- SAFECodePublished by Association for Computing Machinery (ACM) ,2006
- Automatic pool allocationPublished by Association for Computing Machinery (ACM) ,2005
- CCured: type-safe retrofitting of legacy softwareACM Transactions on Programming Languages and Systems, 2005
- Memory safety without garbage collection for embedded applicationsACM Transactions on Embedded Computing Systems, 2005
- Experience with safe manual memory-management in cyclonePublished by Association for Computing Machinery (ACM) ,2004
- Buffer overrun detection using linear programming and static analysisPublished by Association for Computing Machinery (ACM) ,2003
- CSSVPublished by Association for Computing Machinery (ACM) ,2003
- ABCDPublished by Association for Computing Machinery (ACM) ,2000
- Efficient detection of all pointer and array access errorsPublished by Association for Computing Machinery (ACM) ,1994