Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fork of the SPARK-based DNS server
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
dns_network_receive
dns_table_pkg/dns_table_type
dns_types
parser_utilities
process_dns_request
process_first_line_of_record
rr_type
task_limit/task_count_type
tcp_dns_package
udp_dns_package
zone_file_io
zone_file_parser
.gitignore
COPYRIGHT.txt
README.txt
allbob.bat
allbobserial.bat
ann
bob
bob.bat
bob.sh
bob2.bat
db.dfcs.usafa.edu.signed
dfcs.usafa.edu.oldzonefile
dfcs.usafa.edu.zonefile
dns_network.adb
dns_network.ads
dns_network.ads.bk.1
dns_network.lsb
dns_network_receive.adb
dns_network_receive.ads
dns_network_receive.lsb
dns_table_pkg.adb
dns_table_pkg.ads
dns_table_pkg.lsb
dns_table_pkg.lss
dns_types.adb
dns_types.ads
dns_types.ads.bk.1
dns_types.ads.bk.2
dns_types.ads.bk.3
dns_types.ads.bk.4
dns_types.lsb
driver.adb
error_msgs.adb
error_msgs.ads
error_msgs.lsb
files.txt
gnat.ago
gnat.cfg
mcc
mcc.bat
mcc.cfg
mcc.idx
multitask_process_dns_request.adb
multitask_process_dns_request.ads
multitask_process_dns_request.lsb
non_spark_stuff.adb
non_spark_stuff.adb.bk.1
non_spark_stuff.adb.bk.2
non_spark_stuff.adb.bk.3
non_spark_stuff.adb.bk.4
non_spark_stuff.ads
non_spark_stuff.lsb
out
parser_utilities.adb
parser_utilities.ads
parser_utilities.lsb
process_dns_request.adb
process_dns_request.adb.0
process_dns_request.adb.1
process_dns_request.adb.2
process_dns_request.adb.3
process_dns_request.adb.bk.1
process_dns_request.adb.bk.2
process_dns_request.adb.bk.3
process_dns_request.adb.bk.4
process_dns_request.ads
process_dns_request.ads.bk.1
process_dns_request.ads.bk.2
process_dns_request.ads.bk.3
process_dns_request.ads.bk.4
process_dns_request.lsb
process_first_line_of_record.adb
process_first_line_of_record.ads
process_first_line_of_record.lsb
protected_spark_io_05.adb
protected_spark_io_05.ads
protected_spark_io_05.lsb
rr_type-a_record_type.ads
rr_type-aaaa_record_type.ads
rr_type-cname_record_type.ads
rr_type-dnskey_record_type.ads
rr_type-dnskey_record_type.lss
rr_type-mx_record_type.ads
rr_type-ns_record_type.ads
rr_type-ns_record_type.lss
rr_type-nsec_record_type.ads
rr_type-nsec_record_type.lss
rr_type-ptr_record_type.ads
rr_type-ptr_record_type.lss
rr_type-rrsig_record_type.ads
rr_type-soa_record_type.ads
rr_type.adb
rr_type.ads
rr_type.lsb
socket_timeout.adb
socket_timeout.ads
socket_timeout.lsb
socket_timeout_linux.adb
spark.rep
spark.smf
spark.sw
spark.wrn
spark_ada_command_line.adb
spark_ada_command_line.ads
spark_ada_command_line.lsb
spark_dns_main.adb
spark_dns_main.exe
spark_dns_main.fdl
spark_dns_main.lsb
spark_dns_main.rls
spark_dns_main.siv
spark_dns_main.slg
spark_dns_main.vcg
spark_dns_main.vct
spark_dns_main.vlg
spark_dns_main.vsm
task_limit.adb
task_limit.ads
task_limit.lsb
tcp_dns_package.adb
tcp_dns_package.ads
tcp_dns_package.lsb
tim
trunk.sum
udp_dns_package.adb
udp_dns_package.adb.bk.1
udp_dns_package.adb.bk.2
udp_dns_package.adb.bk.3
udp_dns_package.adb.bk.4
udp_dns_package.ads
udp_dns_package.lsb
unsigned_types.ads
zone_file_io.adb
zone_file_io.ads
zone_file_io.lsb
zone_file_parser.adb
zone_file_parser.ads
zone_file_parser.lsb

README.txt

IRONSIDES compilation instructions

SPARK (http://www.altran-praxis.com/spark.aspx) is a programming language that uses formal methods to prove software properties.  There are two separate compilation processes:

1) Use the SPARK toolset (http://libre.adacore.com/tools/spark-gpl-edition/) to perform the automatic theorem proving on the code.  (If you haven't modified the distribution, this step is not required as it has already been done by the authors-- you do still have to download SPARK to get the library modules).

2) Use an Ada compiler (e.g. http://libre.adacore.com/tools/gnat-gpl-edition/) to create an executable.

The following command line will create an executable (assuming SPARK is installed to c:\spark\2011).

gnatmake -gnat05 -O3 -gnatp -Ic:\spark\2011\lib\spark -Ic:\spark\2011\lib\spark\current spark_dns_main

Something went wrong with that request. Please try again.