Concepedia

Automatically patching errors in deployed software

Jeff Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank P. Sherwood, Stelios Sidiroglou, Greg Sullivan,

2009 · 416 citations · 47 references

DOI

Concepts

Abstract

We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging information, or other external information, and without human intervention.

References

47

Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software

James Newsome, Dawn Song · Figshare · 2018 · 1.3K citations · Full text

, , +15

StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks

Crispin Cowan, Calton Pu, Dave Maier et al. · PDXScholar (Portland State University) · 1998 · 1.3K citations · Full text

, , +13

The Daikon system for dynamic detection of likely invariants

Michael D. Ernst, Jeff Perkins, Philip J. Guo et al. · Science of Computer Programming · 2007 · 1.1K citations

, , +14

Dynamically discovering likely program invariants to support program evolution

Michael D. Ernst, Jake Cockrell, William G. Griswold et al. · IEEE Transactions on Software Engineering · 2001 · 1K citations

, , +13

On the effectiveness of address-space randomization

Hovav Shacham, Matthew J. Page, Ben Pfaff et al. · 2004 · 861 citations

, , +15