An electric fence for kernel buffers

Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently access the data beyond the allocated buffers or access buffers that were already freed. Such programs and OSs may run for years before their problems can be detected because improper memory accesses frequently result in a silent data corruption. Not surprisingly, most computer worms exploit buffer overflow errors to gain complete control over computer systems. Only after recent worm epidemics, did code developers begin to realize the scale of the problem and the number of potential memory-access violations in existing code. Due to the syntax and flexibility of many programming languages, memory access violation problems cannot be detected at compile time. Tools that verify correctness before every memory access impose unacceptably high overheads. As a result, most of the developed techniques focus on preventi...

• Type: Conference
• Year: 2005
• Where: STORAGESS
• Authors: Nikolai Joukov, Aditya Kashyap, Gopalan Sivathanu, Erez Zadok
• Keywords: Memory Access, Memory Access Impose, Memory Access Violations, STORAGESS 2005