Bug 235036

Summary:	ebuild request: deputy
Product:	Gentoo Linux	Reporter:	Sandro Bonazzola <sandro.bonazzola>
Component:	[OLD] Development	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	RESOLVED OBSOLETE
Severity:	enhancement	CC:	gokturk
Priority:	High
Version:	2008.0
Hardware:	All
OS:	Linux
URL:	http://deputy.cs.berkeley.edu/
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	208041
Attachments:	dev-util/deputy-1.1.ebuild

Description Sandro Bonazzola 2008-08-17 20:31:49 UTC

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.

Comment 1 Aurélien Francillon 2008-08-17 20:44:19 UTC

Created attachment 163141 [details]
dev-util/deputy-1.1.ebuild

from my tinyos overlay ... it builds but isn't really tested ...
Aurélien

Comment 2 Göktürk Yüksek archtester

2016-01-25 05:36:33 UTC

Dead upstream. Cannot resolve hostname 'deputy.cs.berkeley.edu'. Cannot download the tarball. Closing.