ironsides
Port variant standard
Summary Authoritative DNS server verified by SPARK/Ada
Package version 20150415_1
Homepage http://ironsides.martincarlisle.com
Keywords dns, ada
Maintainer John Marino
License IRONSIDES - Free software, unlimited redistribution
Other variants There are no other variants.
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 24 SEP 2023, 15:21:41 UTC
Port created 22 APR 2017, 04:32:16 UTC
Subpackage Descriptions
complete This is the ironsides-standard metapackage. It pulls in all subpackages of ironsides-standard.
primary IRONSIDES is an authoritative DNS server that is provably invulnerable to many of the problems that plague other servers. It achieves this property through the use of formal methods in its design, in particular the language Ada and the SPARK formal methods tool set. Code validated in this way is provably exception-free, contains no data flow errors, and terminates only in the ways that its programmers explicitly say that it can. These are very desirable properties from a computer security perspective. IRONSIDES is not a complete implementation of DNS. In particular, it does not support zone transfers or recursive queries. It does, however, support a sufficient number of DNS records to be useful as an authoritative DNS server for an enterprise.
man This is the man page subpackage of the ironsides-standard port.
Configuration Switches (platform-specific settings discarded)
This port has no build options.
Package Dependencies by Type
Build (only) gprbuild:primary:standard
Download groups
main http://ironsides.martincarlisle.com/
draco http://downloads.dragonlace.net/src/
Distribution File Information
de865b0da6a3e1cc73249e90a6e13fcc33785a9a38b704efb9cfb04ff57fc3c4 199862 ironsides_authoritative-2015_04_15.zip 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2 23773 libspark2012-2012.tar.bz2
Ports that require ironsides:standard
No other ports depend on this one.