Using Programmer-Written Compiler Extensions to Catch Security Holes
| Citations: | 139 - 5 self |
BibTeX
@MISC{Ashcraft_usingprogrammer-written,
author = {Ken Ashcraft and et al.},
title = {Using Programmer-Written Compiler Extensions to Catch Security Holes},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper shows how system-specific static analysis can nd security errors that violate rules such as "integers from untrusted sources must be sanitized before use" and "do not dereference user-supplied pointers." In our approach, programmers write system-specific extensions that are linked into the compiler and check their code for errors. We demonstrate the approach's effectiveness by using it to nd over 100 security errors in Linux and OpenBSD, over 50 of which have led to kernel patches. An unusual feature ofour approach is the use of methods to automatically detect when we miss code actions that should be checked.
