Loading...
Please wait, while we are loading the content...
Similar Documents
Bounds checking with taint-based analysis (2007)
| Content Provider | CiteSeerX |
|---|---|
| Author | Chuang, Weihaw Narayanasamy, Satish Calder, Brad Jhala, Ranjit |
| Description | We analyze the performance of different bounds checking implementations. Specifically, we examine using the x86 bound instruction to reduce the run-time overhead. We also propose a compiler optimization that prunes the bounds checks that are not necessary to guarantee security. The optimization is based on the observation that buffer overflow attacks are launched through external inputs. Therefore, it is sufficient to bounds check only the accesses to those data structures that can possibly hold the external inputs. Also, it is sufficient to bounds check only the memory writes. The proposed optimizations reduce the number of required bounds checks as well as the amount of meta-data that need to be maintained to perform those checks. 1 |
| File Format | |
| Language | English |
| Publisher Date | 2007-01-01 |
| Publisher Institution | in International Conference on High Performance Embedded Architectures & Compilers |
| Access Restriction | Open |
| Subject Keyword | Required Bound Check Run-time Overhead Bound Check Different Bound Data Structure X86 Bound Instruction Compiler Optimization Proposed Optimization Taint-based Analysis External Input |
| Content Type | Text |
| Resource Type | Article |
