From the home page: Deputy is a C compiler that is capable of preventing common C programming errors, including out-of-bounds memory accesses as well as many other common type-safety errors. It is designed to work on real-world code, up to and including the Linux kernel itself. Deputy allows C programmers to provide simple type annotations that describe pointer bounds and other important program invariants. Deputy verifies that your program adheres to these invariants through a combination of compile-time and run-time checking.
Created attachment 163141 [details] dev-util/deputy-1.1.ebuild from my tinyos overlay ... it builds but isn't really tested ... Aurélien
Dead upstream. Cannot resolve hostname 'deputy.cs.berkeley.edu'. Cannot download the tarball. Closing.