Port details on branch 2022Q3 |
- deputy Advanced C compiler that enforces type and memory safety
- 1.1_1 devel
=0 1.1_1Version of this port present on the latest quarterly branch.
- Maintainer: kevlo@FreeBSD.org
- Port Added: 2007-03-19 03:34:11
- Last Update: 2013-09-13 02:44:46
- SVN Revision: 327129
- Also Listed In: lang
- License: not specified in port
- WWW:
- http://deputy.cs.berkeley.edu/
- Description:
- 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/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: deputy
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: i386 amd64
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocamlopt : lang/ocaml
- gmake : devel/gmake
- perl5.14.4 : lang/perl5.14
- Runtime dependencies:
-
- perl5.14.4 : lang/perl5.14
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|