---
name: deputy
version: 1.1_1
origin: devel/deputy
comment: Advanced C compiler that enforces type and memory safety
arch: freebsd:9:x86:64
www: http://deputy.cs.berkeley.edu/
maintainer: kevlo@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 19634154
desc: "Deputy is a C compiler that is capable of preventing common C programming \nerrors,
  including out-of-bounds memory accesses as well as many other \ncommon type-safety
  errors. \n\nDeputy allows C programmers to provide simple type annotations that
  \ndescribe pointer bounds and other important program invariants. \nDeputy verifies
  that your program adheres to these invariants through a \ncombination of compile-time
  and run-time checking.\n\nWWW:\thttp://deputy.cs.berkeley.edu/\n"
deps:
  perl: {origin: lang/perl5.14, version: 5.14.4}
categories:
- lang
- devel
