Beta
×

Welcome to the Slashdot Beta site -- learn more here. Use the link in the footer or click here to return to the Classic version of Slashdot.

Thank you!

Before you choose to head back to the Classic look of the site, we'd appreciate it if you share your thoughts on the Beta; your feedback is what drives our ongoing development.

Beta is different and we value you taking the time to try it out. Please take a look at the changes we've made in Beta and  learn more about it. Thanks for reading, and for making the site better!

Deputy: Type and Memory Safety for C Programs

Anonymous Coward writes | more than 7 years ago

Programming

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."

cancel ×

comment

Slashdot Login

Need an Account?

Forgot your password?

Submission Text Formatting Tips

We support a small subset of HTML, namely these tags:

  • b
  • i
  • p
  • br
  • a
  • ol
  • ul
  • li
  • dl
  • dt
  • dd
  • em
  • strong
  • tt
  • blockquote
  • div
  • quote
  • ecode

"ecode" can be used for code snippets, for example:

<ecode>    while(1) { do_something(); } </ecode>