deputy 1.1_1 devel =1

Advanced C compiler that enforces type and memory safety
Maintained by: kevlo@FreeBSD.org
Port Added: 19 Mar 2007 03:34:11
Also Listed In: lang

---

---

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. 

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.

WWW:	http://deputy.cs.berkeley.edu/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: lang/ocaml, lang/perl5.8, devel/gmake
Required To Run: lang/perl5.8

---

To install the port: cd /usr/ports/devel/deputy/ && make install clean
To add the package: pkg_add -r deputy

---

Configuration Options

     No options to configure

---

Master Sites:

http://deputy.cs.berkeley.edu/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Welcome bsd.perl.mk.  Add support for constructs such as USE_PERL5=5.8.0+.
Drop support for antique perl.

Work done by:   gabor
Sponsored by:   Google Summer of Code 2007
Hat:            portmgr

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

Initial import of deputy 1.1

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.

9 vulnerabilities affecting 12 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities