I thought this software might be of interest to Hoard users. It’s a completely different approach, and currently is not multithread-scalable (coming soon!), but this is a system whose goal is to achieve reasonable performance while protecting against bugs. It’s quite different from debugging allocators, which detect memory usage bugs – the goal here is to run correctly despite the presence of these bugs. It completely eliminates double & invalid frees and heap corruption due to overflows, while probabilistically protecting against errors like dangling pointers and buffer overflows. Here’s the blurb from the web page:

 

DieHard automatically hardens software applications against a wide range of bugs. These bugs — known as memory errors — often end up as serious security vulnerabilities, cause crashes, or lead to unpredictable behavior. DieHard either eliminates these bugs altogether, or avoids them with high probability. In other words, DieHard can take some buggy programs and make them bug-free (or close to it).

 

http://www.cs.umass.edu/~emery/diehard

 

--
Emery Berger
Assistant Professor
Dept. of Computer Science
University of Massachusetts, Amherst
www.cs.umass.edu/~emery

 



SPONSORED LINKS
Basic programming language Computer programming languages Programming languages
Java programming language Hoard Nt 2000


YAHOO! GROUPS LINKS




Reply via email to