Matthew Harren, George C. Necula  Home/Search
Context
Related
| berkeley.edu/~matth/papers/isss.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~matth/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The wide use of separate compilation and precompiled libraries among programmers poses a challenge to source-code based security and analysis tools such as CCured. These tools must understand enough of the behavior of precompiled libraries that they can prevent any unsafe use of the library. The situation is even more complicated for instrumentation tools that change the layout of data to accommodate array bounds or other metadata that is necessary for safety checking. (Update)
Active bibliography (related documents): More All
1.7: Lightweight Wrappers for Interfacing with Binary Code in CCured - Matthew Harren May (Correct)
0.3: A Flexible Generator Architecture for Improving Software.. - Fetzer, Xiao (2002) (Correct)
0.3: Characterizing the `Security Vulnerability.. - DaCosta, Dahn.. (2003) (Correct)
Similar documents based on text: More All
0.5: CCured in the Real World - Condit, Harren, McPeak, Necula.. (2003) (Correct)
0.4: CCured: Type-Safe Retrofitting of Legacy Software - Necula, Condit, Harren.. (Correct)
0.2: Finding and Preventing Run-Time Error Handling Mistakes - Weimer, Necula (2004) (Correct)
BibTeX entry: (Update)
@misc{ harren-lightweight,
author = "Matthew Harren and George C. Necula",
title = "Lightweight Wrappers for Interfacing with Binary Code in CCured",
url = "citeseer.ist.psu.edu/634442.html" }
Citations (may not include all citations):54 Transparent run-time defense against stack smashing attacks - Baratloo, Singh et al. - 2000
15 CCured in the real world - Condit, Harren et al. - 2003 ACM DBLP
11 Xept: a software instrumentation method for exception handli.. - Vo, Wang et al. - 1997
10 An automated approach to increasing the robustness of C libr.. - Fetzer, Xiao - 2002 ACM DBLP
7 Detecting heap smashing attacks through fault containment wr.. - Fetzer, Xiao - 2001 DBLP
3 netnewshamformat string attack (context) - string, www et al. - 2000
2 The Interface Definition Language for Fail-Safe C (context) - Suenaga, Oiwa et al. - 2004
2 NRMI: Natural and e#cient middleware (context) - Tilevich, Smaragdakis - 2003
Documents on the same site (http://www.cs.berkeley.edu/~matth/):
CCured: Type-Safe Retrofitting of Legacy Software - Necula, Condit, Harren.. (Correct)
Lightweight Wrappers for Interfacing with Binary Code in CCured - Matthew Harren May (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC