Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 



Forgot your password?
typodupeerror
DEAL: For $25 - Add A Second Phone Number To Your Smartphone for life! Use promo code SLASHDOT25. Also, Slashdot's Facebook page has a chat bot now. Message it for stories and more. Check out the new SourceForge HTML5 Internet speed test! ×
Programming

Submission + - Deputy: Type and Memory Safety for C Programs

An anonymous reader writes: Deputy is a C compiler built by researchers at UC Berkeley that uses simple programmer-supplied annotations to catch type and memory errors such as buffer overflows and misuse of union types. For example, if you write a function that takes a buffer and its length as arguments, you can annotate the buffer's type to indicate that its length is stored in the second argument. Using these annotations, Deputy will either verify accesses to this buffer at compile time or insert the required run-time checks. Deputy has already been used on several Linux device drivers and has a corresponding recovery system for Linux called SafeDrive.

"Would I turn on the gas if my pal Mugsy were in there?" "You might, rabbit, you might!" -- Looney Tunes, Bugs and Thugs (1954, Friz Freleng)

Working...