2084 lines
90 KiB
Plaintext
2084 lines
90 KiB
Plaintext
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R dns_network_receive
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R dns_table_pkg
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R dns_types
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R parser_utilities
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R process_dns_request
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R tcp_dns_package
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R udp_dns_package
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R zone_file_io
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R zone_file_parser
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R rr_type
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>spark @files.txt
|
|
*******************************************************
|
|
Examiner GPL Edition
|
|
|
|
*******************************************************
|
|
|
|
|
|
|
|
Reading default switch file ...
|
|
|
|
Reading target configuration file ...
|
|
|
|
type Address is private;
|
|
|
|
--- Note : 3: The deferred constant Null_Address has been
|
|
implicitly defined here.
|
|
|
|
subtype Priority is Any_Priority range 0 .. 30;
|
|
|
|
--- Note : 4: The constant Default_Priority, of type Priority,
|
|
has been implicitly defined here.
|
|
|
|
Examining the specification of package DNS_Types ...
|
|
|
|
Examining the specification of package DNS_Network ...
|
|
|
|
WITH Gnat.Sockets;
|
|
^
|
|
--- Warning :391: If the identifier Gnat represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end DNS_Network;
|
|
|
|
--- Warning : 10: The private part of package DNS_Network is
|
|
hidden - hidden text is ignored by the Examiner.
|
|
|
|
Examining the body of package DNS_Network ...
|
|
|
|
with Ada.Streams;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
with Socket_Timeout;
|
|
^
|
|
--- Warning :391: If the identifier Socket_Timeout represents a
|
|
package which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
with Ada.Unchecked_Conversion;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
end DNS_Network;
|
|
|
|
--- Warning : 10: The body of package DNS_Network is hidden -
|
|
hidden text is ignored by the Examiner.
|
|
|
|
Generating listing file dns_network.lsb ...
|
|
|
|
Examining the specification of package Dns_Network_Receive ...
|
|
|
|
Examining the body of package Dns_Network_Receive ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Receive_DNS_Packet_TCP performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Receive_DNS_Packet
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file dns_network_receive.lsb ...
|
|
|
|
Examining the specification of package Handling ...
|
|
|
|
Examining the specification of package Unsigned_Types ...
|
|
|
|
Examining the specification of package Rr_Type ...
|
|
|
|
Examining the specification of package A_Record_Type ...
|
|
|
|
Examining the specification of package Aaaa_Record_Type ...
|
|
|
|
Examining the specification of package Cname_Record_Type ...
|
|
|
|
Examining the specification of package Dnskey_Record_Type ...
|
|
|
|
Examining the specification of package Mx_Record_Type ...
|
|
|
|
Examining the specification of package Ns_Record_Type ...
|
|
|
|
Examining the specification of package Nsec_Record_Type ...
|
|
|
|
Examining the specification of package Ptr_Record_Type ...
|
|
|
|
Examining the specification of package Soa_Record_Type ...
|
|
|
|
Examining the specification of package dns_table_pkg ...
|
|
|
|
Examining the body of package Dns_Table_Pkg ...
|
|
|
|
+++ Flow analysis of subprogram To_Lower performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Same performed: no
|
|
errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram hash performed: no
|
|
errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryARecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryAAAARecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryCNAMERecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryDNSKEYRecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryMXRecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryNSRecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryNSECRecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram queryPTRRecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram querySOARecords
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertARecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertAAAARecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertCNAMERecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram InsertDNSKEYRecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertMXRecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertNSRecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertNSECRecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram insertPTRRecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram InsertSOARecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file dns_table_pkg.lsb ...
|
|
|
|
Examining the body of package DNS_Types ...
|
|
|
|
with Gnat.Byte_Swapping;
|
|
^
|
|
--- Warning :391: If the identifier Gnat represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end Byte_Swap_US;
|
|
|
|
--- Warning : 10: The body of subprogram Byte_Swap_US is hidden -
|
|
hidden text is ignored by the Examiner.
|
|
|
|
+++ Flow analysis of subprogram Byte_Swap performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file dns_types.lsb ...
|
|
|
|
Examining the specification of package Error_Msgs ...
|
|
|
|
Examining the body of package Error_Msgs ...
|
|
|
|
with Ada.Text_IO, Ada.Integer_Text_IO;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
with rr_Type.Dnskey_Record_Type;
|
|
^
|
|
--- Warning :391: If the identifier Dnskey_Record_Type represents
|
|
a package which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end error_msgs;
|
|
|
|
--- Warning : 10: The body of package Error_Msgs is hidden -
|
|
hidden text is ignored by the Examiner.
|
|
|
|
Generating listing file error_msgs.lsb ...
|
|
|
|
Examining the specification of package Protected_SPARK_IO_05 ...
|
|
|
|
with Ada.Text_IO;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
end Protected_SPARK_IO_05;
|
|
|
|
--- Warning : 10: The private part of package
|
|
Protected_SPARK_IO_05 is hidden - hidden text is ignored by the
|
|
Examiner.
|
|
|
|
Examining the specification of package Process_Dns_Request ...
|
|
|
|
Examining the specification of package Multitask_Process_Dns_Request ...
|
|
|
|
Examining the body of package Multitask_Process_Dns_Request ...
|
|
|
|
with Task_Limit;
|
|
^
|
|
--- Warning :391: If the identifier Task_Limit represents a
|
|
package which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end Multitask_Process_Dns_Request;
|
|
|
|
--- Warning : 10: The body of package
|
|
Multitask_Process_Dns_Request is hidden - hidden text is ignored by
|
|
the Examiner.
|
|
|
|
Generating listing file multitask_process_dns_request.lsb ...
|
|
|
|
Examining the specification of package Parser_Utilities ...
|
|
|
|
Examining the body of package Parser_Utilities ...
|
|
|
|
+++ Flow analysis of subprogram IsMult performed: no
|
|
errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram convert8BitUnsigned
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram convert16BitUnsigned
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram MultValue performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram ConvertTimeSpec
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram AddToKey performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram SeparatorsOK
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram convertIpv6
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram SeparatorsOK
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram convertIpv4
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram isClass performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram isRecord performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram getRecordType
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram findFirstToken
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram findNextToken
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file parser_utilities.lsb ...
|
|
|
|
Examining the body of package Process_Dns_Request ...
|
|
|
|
with Ada.Text_Io;
|
|
^
|
|
--- Warning :391: If the identifier Text_Io represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
+++ Flow analysis of subprogram Set_Unsigned_32
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Set_Unsigned_16
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Set_TTL_Data_IP
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Set_TTL_Data_NS_Response performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Set_TTL_Data_PTR_Response performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Set_TTL_Data_MX_Response performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Set_TTL_Data_SOA_Response performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Set_TTL_Data_AAAA_IP
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
for i in rr_type.aaaa_record_type.IPV6AddrTypeIndex loop
|
|
|
|
--- Warning :402: Default assertion planted to cut loop.
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Get_Query_Name_Type_Class performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Create_Response_Error performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response_AAAA
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response_A
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response_NS
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response_PTR
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response_MX
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response_SOA
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Process_Response_Cname performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Trim_Name performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
Create_NXDOMAIN_Response performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
EDNS_Rec.Code := To_Query_Type(DNS_Types.Unsigned_Short(
|
|
^
|
|
--- Warning : 12: Function To_Query_Type is an instantiation of
|
|
Unchecked_Conversion.
|
|
|
|
From_Query_Type(DNS_Types.OPT) mod 256);
|
|
^
|
|
--- Warning : 12: Function From_Query_Type is an instantiation of
|
|
Unchecked_Conversion.
|
|
|
|
+++ Flow analysis of subprogram Create_Response_EDNS
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Create_Response
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
end Create_Response;
|
|
|
|
--- Warning :409: VCs could not be generated for this subprogram
|
|
due to its size and/or complexity exceeding the capacity of the VC
|
|
Generator. Unprovable (False) VC generated.
|
|
|
|
+++ Flow analysis of subprogram Process_Request_Tcp
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file process_dns_request.lsb ...
|
|
|
|
Examining the body of package Protected_Spark_Io_05 ...
|
|
|
|
with Text_IO;
|
|
^
|
|
--- Warning :391: If the identifier Text_IO represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
with Unchecked_Deallocation;
|
|
^
|
|
--- Warning :391: If the identifier Unchecked_Deallocation
|
|
represents a package which contains a task or an interrupt handler
|
|
then the partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end Protected_Spark_Io_05;
|
|
|
|
--- Warning : 10: The body of package Protected_Spark_Io_05 is
|
|
hidden - hidden text is ignored by the Examiner.
|
|
|
|
Generating listing file protected_spark_io_05.lsb ...
|
|
|
|
Examining the body of package Rr_Type ...
|
|
|
|
+++ Flow analysis of subprogram DomainNameLength
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram AppendDomainNames
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram WireNameLength
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
ConvertStringToDomainName performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram FindPeriod
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
ConvertDomainNameToWire performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram ConvertStringToWire
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file rr_type.lsb ...
|
|
|
|
Examining the specification of package Socket_Timeout ...
|
|
|
|
WITH Gnat.Sockets;
|
|
^
|
|
--- Warning :391: If the identifier Gnat represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end Socket_Timeout;
|
|
|
|
--- Warning : 10: The private part of package Socket_Timeout is
|
|
hidden - hidden text is ignored by the Examiner.
|
|
^
|
|
--- Warning :394: Variables of type Socket_Type cannot be
|
|
initialized using the facilities of this package.
|
|
|
|
Examining the body of package Socket_Timeout ...
|
|
|
|
with Gnat.Sockets.Thin;
|
|
^
|
|
--- Warning :391: If the identifier Gnat represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
with Interfaces;
|
|
^
|
|
--- Warning :391: If the identifier Interfaces represents a
|
|
package which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
with Interfaces.C;
|
|
^
|
|
--- Warning :391: If the identifier Interfaces represents a
|
|
package which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
with Ada.Unchecked_Conversion;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
with Gnat.Sockets.Constants;
|
|
^
|
|
--- Warning :391: If the identifier Gnat represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
with ada.text_io;
|
|
^
|
|
--- Warning : 1: The identifier ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
end Socket_Timeout;
|
|
|
|
--- Warning : 10: The body of package Socket_Timeout is hidden -
|
|
hidden text is ignored by the Examiner.
|
|
|
|
Generating listing file socket_timeout.lsb ...
|
|
|
|
Examining the specification of package SPARK ...
|
|
|
|
Examining the specification of package Ada ...
|
|
|
|
Examining the specification of package Text_IO ...
|
|
|
|
with Ada.Text_IO;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
end SPARK.Ada.Text_IO;
|
|
|
|
--- Warning : 10: The private part of package Text_IO is hidden -
|
|
hidden text is ignored by the Examiner.
|
|
|
|
Examining the specification of package SPARK_Ada_Command_Line ...
|
|
|
|
Examining the body of package SPARK_Ada_Command_Line ...
|
|
|
|
with Ada.Command_Line;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
with Ada.Text_IO;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
with Gnat.Os_Lib;
|
|
^
|
|
--- Warning :391: If the identifier Gnat represents a package
|
|
which contains a task or an interrupt handler then the
|
|
partition-level analysis performed by the Examiner will be
|
|
incomplete. Such packages must be inherited as well as withed.
|
|
|
|
end SPARK_Ada_Command_Line;
|
|
|
|
--- Warning : 10: The body of package SPARK_Ada_Command_Line is
|
|
hidden - hidden text is ignored by the Examiner.
|
|
|
|
Generating listing file spark_ada_command_line.lsb ...
|
|
|
|
Examining the specification of package Udp_Dns_Package ...
|
|
|
|
Examining the specification of package Tcp_Dns_Package ...
|
|
|
|
Examining the specification of package Strings ...
|
|
|
|
Examining the specification of package Maps ...
|
|
|
|
with Ada.Strings.Maps;
|
|
^
|
|
--- Warning : 1: The identifier Ada is either undeclared or not
|
|
visible at this point.
|
|
|
|
end SPARK.Ada.Strings.Maps;
|
|
|
|
--- Warning : 10: The private part of package Maps is hidden -
|
|
hidden text is ignored by the Examiner.
|
|
|
|
Examining the specification of package Zone_File_Parser ...
|
|
|
|
Examining the specification of package zone_file_io ...
|
|
|
|
Examining main program Spark_Dns_Main ...
|
|
|
|
+++ Flow analysis of subprogram Spark_Dns_Main
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of the entire partition performed:
|
|
no errors found.
|
|
|
|
Generating listing file spark_dns_main.lsb ...
|
|
|
|
Examining the specification of package Task_Limit ...
|
|
|
|
Examining the body of package Task_Limit ...
|
|
|
|
+++ Flow analysis of subprogram Increment performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Decrement performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file task_limit.lsb ...
|
|
|
|
Examining the body of package Tcp_Dns_Package ...
|
|
|
|
+++ Flow analysis of subprogram Initialization_Done
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Tcp_Dns_Task
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file tcp_dns_package.lsb ...
|
|
|
|
Examining the body of package Udp_Dns_Package ...
|
|
|
|
+++ Flow analysis of subprogram Initialization_Done
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram Udp_Dns_Task
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file udp_dns_package.lsb ...
|
|
|
|
Examining the body of package Zone_File_Io ...
|
|
|
|
+++ Flow analysis of subprogram CheckAndAppendOrigin
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram checkValidHostName
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram ProcessRecord
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram processzoneFile
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file zone_file_io.lsb ...
|
|
|
|
Examining the body of package zone_file_parser ...
|
|
|
|
+++ Flow analysis of subprogram ParseDNSKeyHeader
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram parseDomainName
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
ParseDomainNameAndRRString performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram ParseTimeSpec
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram ParseControlLine
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram parseSerialNumber
|
|
performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
parsePrefAndDomainName performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram parseIpv4 performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram parseIpv6 performed:
|
|
no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
ParseNameServerAndEmail performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
+++ Flow analysis of subprogram
|
|
parseOwnerTTLClassAndRecordType performed: no errors found.
|
|
|
|
Building model of subprogram ...
|
|
|
|
Generating VCs ...
|
|
|
|
Writing VCs ...
|
|
|
|
Generating listing file zone_file_parser.lsb ...
|
|
|
|
Generating report file ...
|
|
|
|
44 errors or warnings, comprising:
|
|
44 warnings
|
|
54 expected (justified) warnings
|
|
|
|
|
|
-----------End of SPARK Examination--------------------------------
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>sparksimp -p 2
|
|
SPARKSimp GPL 2011
|
|
Copyright (C) 2011 Altran Praxis Limited, Bath, U.K.
|
|
Simplifier binary located at: c:\spark\2011\bin\spadesimp.exe
|
|
ZombieScope binary located at: c:\spark\2011\bin\zombiescope.exe
|
|
|
|
Files to be simplified are:
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.vcg, 10720 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.vcg, 11970 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.vcg, 13204 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.vcg, 52612 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.vcg, 46829 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.vcg, 51868 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.vcg, 86226 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.vcg, 58928 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.vcg, 63004 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.vcg, 50814 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.vcg, 50920 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.vcg, 126344 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.vcg, 53929 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.vcg, 49948 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.vcg, 53617 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.vcg, 86004 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.vcg, 60325 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.vcg, 63265 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.vcg, 52717 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.vcg, 52850 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.vcg, 100682 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.vcg, 12142 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.vcg, 12752 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.vcg, 56185 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.vcg, 140225 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.vcg, 21502 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.vcg, 21450 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.vcg, 2458 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.vcg, 332410 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.vcg, 9798 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.vcg, 259205 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.vcg, 15911 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.vcg, 236211 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.vcg, 902934 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.vcg, 1361165 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.vcg, 561793 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.vcg, 7365 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.vcg, 1410 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.vcg, 212968 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.vcg, 164028 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.vcg, 487 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.vcg, 197560 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.vcg, 202275 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.vcg, 710175 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.vcg, 9915 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.vcg, 422149 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.vcg, 405713 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.vcg, 373366 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.vcg, 463396 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.vcg, 617276 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.vcg, 84719 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.vcg, 367793 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.vcg, 20028 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.vcg, 7272 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.vcg, 35280 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.vcg, 26929 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.vcg, 27129 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.vcg, 284090 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.vcg, 4470 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.vcg, 12120 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.vcg, 29747 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.vcg, 98265 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.vcg, 12137 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.vcg, 46434 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.vcg, 7274 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.vcg, 1067 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.vcg, 14802 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.vcg, 10090 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vcg, 1236 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vcg, 2869 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vcg, 2991 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.vcg, 459 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.vcg, 773 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.vcg, 459 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.vcg, 58964 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.vcg, 8155 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.vcg, 30843 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.vcg, 181845 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.vcg, 7528032 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.vcg, 200837 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.vcg, 1602285 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.vcg, 148319 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.vcg, 761234 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.vcg, 39692 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.vcg, 21617 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.vcg, 954078 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.vcg, 1567747 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.vcg, 489433 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.vcg, 36295 bytes
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.vcg, 9560 bytes
|
|
|
|
90 files require processing
|
|
|
|
Job-ID Status Filename
|
|
====== ====== ========
|
|
1 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.vcg
|
|
2 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.vcg
|
|
1 Finished 0: 0: 0.30
|
|
3 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.vcg
|
|
2 Finished 0: 0: 0.32
|
|
4 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.vcg
|
|
3 Finished 0: 0: 0.46
|
|
5 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.vcg
|
|
4 Finished 0: 0: 0.44
|
|
6 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.vcg
|
|
5 Finished 0: 0: 0.42
|
|
7 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.vcg
|
|
6 Finished 0: 0: 0.45
|
|
8 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.vcg
|
|
8 Finished 0: 0: 0.53
|
|
9 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.vcg
|
|
7 Finished 0: 0: 0.69
|
|
10 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.vcg
|
|
9 Finished 0: 0: 0.54
|
|
11 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.vcg
|
|
10 Finished 0: 0: 0.42
|
|
12 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.vcg
|
|
11 Finished 0: 0: 0.41
|
|
13 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.vcg
|
|
13 Finished 0: 0: 0.56
|
|
14 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.vcg
|
|
12 Finished 0: 0: 0.99
|
|
15 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.vcg
|
|
14 Finished 0: 0: 0.53
|
|
16 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.vcg
|
|
15 Finished 0: 0: 0.59
|
|
17 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.vcg
|
|
17 Finished 0: 0: 0.62
|
|
18 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.vcg
|
|
16 Finished 0: 0: 0.80
|
|
19 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.vcg
|
|
19 Finished 0: 0: 0.52
|
|
20 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.vcg
|
|
18 Finished 0: 0: 0.62
|
|
21 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.vcg
|
|
20 Finished 0: 0: 0.54
|
|
22 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.vcg
|
|
22 Finished 0: 0: 0.23
|
|
23 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.vcg
|
|
21 Finished 0: 0: 0.93
|
|
24 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.vcg
|
|
23 Finished 0: 0: 0.23
|
|
25 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.vcg
|
|
24 Finished 0: 0: 0.28
|
|
26 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.vcg
|
|
26 Finished 0: 0: 0.34
|
|
27 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.vcg
|
|
27 Finished 0: 0: 0.35
|
|
28 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.vcg
|
|
28 Finished 0: 0: 0.15
|
|
29 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.vcg
|
|
25 Finished 0: 0: 1.17
|
|
30 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.vcg
|
|
30 Finished 0: 0: 0.21
|
|
31 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.vcg
|
|
29 Finished 0: 0: 1.21
|
|
32 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.vcg
|
|
32 Finished 0: 0: 0.21
|
|
33 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.vcg
|
|
31 Finished 0: 0: 1.47
|
|
34 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.vcg
|
|
33 Finished 0: 0: 1.65
|
|
35 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.vcg
|
|
34 Finished 0: 0: 2.82
|
|
36 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.vcg
|
|
36 Finished 0: 0: 1.96
|
|
37 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.vcg
|
|
37 Finished 0: 0: 0.15
|
|
38 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.vcg
|
|
38 Finished 0: 0: 0.13
|
|
39 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.vcg
|
|
39 Finished 0: 0: 1.22
|
|
40 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.vcg
|
|
35 Finished 0: 0: 6.28
|
|
41 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.vcg
|
|
40 Finished 0: 0: 1.44
|
|
42 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.vcg
|
|
41 Finished 0: 0: 0.17
|
|
43 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.vcg
|
|
42 Finished 0: 0: 4.33
|
|
44 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.vcg
|
|
43 Finished 0: 0: 4.45
|
|
45 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.vcg
|
|
45 Finished 0: 0: 0.19
|
|
46 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.vcg
|
|
46 Finished 0: 0:11.81
|
|
47 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.vcg
|
|
44 Finished 0: 0:20.22
|
|
48 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.vcg
|
|
47 Finished 0: 0:11.89
|
|
49 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.vcg
|
|
48 Finished 0: 0:12.17
|
|
50 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.vcg
|
|
49 Finished 0: 0:10.58
|
|
51 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.vcg
|
|
51 Finished 0: 0: 0.89
|
|
52 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.vcg
|
|
52 Finished 0: 0: 4.82
|
|
53 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.vcg
|
|
53 Finished 0: 0: 0.28
|
|
54 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.vcg
|
|
54 Finished 0: 0: 0.21
|
|
55 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.vcg
|
|
55 Finished 0: 0: 0.67
|
|
56 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.vcg
|
|
56 Finished 0: 0: 0.50
|
|
57 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.vcg
|
|
57 Finished 0: 0: 0.50
|
|
58 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.vcg
|
|
50 Finished 0: 0:16.54
|
|
59 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.vcg
|
|
59 Finished 0: 0: 0.25
|
|
60 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.vcg
|
|
60 Finished 0: 0: 0.50
|
|
61 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.vcg
|
|
61 Finished 0: 0: 0.65
|
|
62 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.vcg
|
|
62 Finished 0: 0: 0.69
|
|
63 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.vcg
|
|
63 Finished 0: 0: 0.25
|
|
64 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.vcg
|
|
64 Finished 0: 0: 0.45
|
|
65 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.vcg
|
|
65 Finished 0: 0: 0.23
|
|
66 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.vcg
|
|
66 Finished 0: 0: 0.17
|
|
67 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.vcg
|
|
67 Finished 0: 0: 0.35
|
|
68 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.vcg
|
|
68 Finished 0: 0: 0.27
|
|
69 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vcg
|
|
69 Finished 0: 0: 0.13
|
|
70 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vcg
|
|
70 Finished 0: 0: 0.16
|
|
71 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vcg
|
|
71 Finished 0: 0: 0.13
|
|
72 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.vcg
|
|
72 Finished 0: 0: 0.13
|
|
73 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.vcg
|
|
73 Finished 0: 0: 0.17
|
|
74 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.vcg
|
|
74 Finished 0: 0: 0.13
|
|
75 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.vcg
|
|
75 Finished 0: 0: 0.71
|
|
76 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.vcg
|
|
76 Finished 0: 0: 0.23
|
|
77 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.vcg
|
|
77 Finished 0: 0: 0.43
|
|
78 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.vcg
|
|
78 Finished 0: 0: 0.69
|
|
79 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.vcg
|
|
58 Finished 0: 0:15.14
|
|
80 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.vcg
|
|
80 Finished 0: 0: 1.30
|
|
81 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.vcg
|
|
81 Finished 0: 0: 8.31
|
|
82 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.vcg
|
|
82 Finished 0: 0: 1.08
|
|
83 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.vcg
|
|
83 Finished 0: 0:18.56
|
|
84 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.vcg
|
|
79 Finished 0: 0:31.43
|
|
85 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.vcg
|
|
84 Finished 0: 0: 0.30
|
|
86 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.vcg
|
|
85 Finished 0: 0: 0.24
|
|
87 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.vcg
|
|
86 Finished 0: 0: 6.57
|
|
88 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.vcg
|
|
87 Finished 0: 0: 8.74
|
|
89 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.vcg
|
|
88 Finished 0: 0: 2.74
|
|
90 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.vcg
|
|
89 Finished 0: 0: 0.41
|
|
90 Finished 0: 0: 0.20
|
|
Total elapsed time: 0: 1:57.70
|
|
|
|
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>pogs -i
|
|
-------------------------------------------------------------------------------
|
|
Semantic Analysis Summary
|
|
POGS GPL 2011
|
|
Copyright (C) 2011 Altran Praxis Limited, Bath, U.K.
|
|
-------------------------------------------------------------------------------
|
|
|
|
Reading file structure ...
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vlg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vct
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vlg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vct
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vlg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vct
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.slg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.vcg
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.siv
|
|
|
|
Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.slg
|
|
|
|
|