| Port variant | standard |
| Summary | Authoritative DNS server verified by SPARK/Ada |
| BROKEN | |
| 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 |
| 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. |
| Build (only) | gprbuild:primary:standard |
| main | http://ironsides.martincarlisle.com/ |
| draco | http://downloads.dragonlace.net/src/ |
| No other ports depend on this one. |