ironsides - Authoritative DNS server formally verified by SPARK/Ada

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename ironsides-20150415_2.txz
Package name ironsides
Package version 20150415
Package release 2
Package architecture amd64
Package type txz
Category dns
License Ironsides
Download size 194.31 KB
Installed size 624.38 KB
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.
===>   NOTICE:
The ironsides port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
More information about port maintainership is available at:


Package Version Architecture Repository
ironsides-20150415_2.txz 20150415 i386 FreeBSD Ports Quarterly
ironsides-20150415_2.txz 20150415 amd64 FreeBSD Ports Quarterly
ironsides-20150415_2.txz 20150415 i386 FreeBSD Ports Latest
ironsides - - -


Type URL
Binary Package ironsides-20150415_2.txz
Source Package dns/ironsides

Install Howto

Install ironsides txz package:

# pkg install ironsides

See Also

Package Description
irrd-2.3.10_3.txz Internet Routing Registry database server
irrlamb-0.2.1_8.txz 3D physics-based puzzle game
irrlicht-1.8.4_2.txz High performance realtime 3D engine
irrtoolset-5.0.1.txz Suite of routing policy tools to interact with the IRR
irsim-9.7.100_1.txz Event-driven logic-level simulator for MOS circuis
irssi-1.2.2,1.txz Modular IRC client with many features
irssi-dcc_send_limiter-0.8.10_2.txz Irssi plugin to limit the transmit speed of DCC sends
irssi-fish-1.5.20181025.txz Encryption plugin for irssi
irssi-icb-0.17_2.txz Irssi plugin for connecting to ICB network
irssi-scripts-20181120.txz Collection of useful scripts for the irssi IRC-client
irssi-themes-2016082001.txz Collection of additional irssi themes
irssi-xmpp-0.54.txz Irssi plugin to connect to Jabber network
irssistats-0.75.txz Generate IRC statistics based on irssi logs
irstlm-5.80.03_4.txz The IRST Language Modeling Toolkit
is-aspell-,1.txz Aspell Icelandic dictionary