// // Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005 Yokogawa Electric Corporation, // IPA (Information-technology Promotion Agency, Japan). // All rights reserved. // // Redistribution and use of this software in source and binary forms, with // or without modification, are permitted provided that the following // conditions and disclaimer are agreed and accepted by the user: // // 1. Redistributions of source code must retain the above copyright // notice, this list of conditions and the following disclaimer. // // 2. Redistributions in binary form must reproduce the above copyright // notice, this list of conditions and the following disclaimer in the // documentation and/or other materials provided with the distribution. // // 3. Neither the names of the copyrighters, the name of the project which // is related to this software (hereinafter referred to as "project") nor // the names of the contributors may be used to endorse or promote products // derived from this software without specific prior written permission. // // 4. No merchantable use may be permitted without prior written // notification to the copyrighters. However, using this software for the // purpose of testing or evaluating any products including merchantable // products may be permitted without any notification to the copyrighters. // // // // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHTERS, THE PROJECT AND // CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING // BUT NOT LIMITED THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS // FOR A PARTICULAR PURPOSE, ARE DISCLAIMED. IN NO EVENT SHALL THE // COPYRIGHTERS, THE PROJECT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, // INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES // (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) // HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN // CONTRACT,STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF // THE POSSIBILITY OF SUCH DAMAGE. // // $Name: REL_2_1_2 $ // // $TAHI: ct/spec/Fragment.def,v 1.9 2001/10/05 06:39:16 masaxmasa Exp $ // #include "./ID.def" //====================================================================== // ICMP echo request (for simple test) //====================================================================== FEM_icmp6_echo_request( echo_request, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { Identifier = REQ_ID; SequenceNumber = SEQ_NO; payload = echo_data1024; } ) // // ICMP echo reply // FEM_icmp6_echo_reply( echo_reply, _HETHER_nut2tn, { _SRC(nutv6()); _DST(tnv6()); }, { Identifier = REQ_ID; SequenceNumber = SEQ_NO; payload = echo_data1024; } ) // // ICMP echo request (needless fragment header) // FEM_hdr_ipv6_exth( echo_request_all, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_all); exthdr = frag_all; upper = payload_all; } ) // // ICMP echo request (1st fragment) // FEM_hdr_ipv6_exth( echo_request_1st, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_1st); exthdr = frag_1st; upper = payload_1st; } ) // // ICMP echo request (2nd fragment) // FEM_hdr_ipv6_exth( echo_request_2nd, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_2nd); exthdr = frag_2nd; upper = payload_2nd; } ) Hdr_Fragment frag_all { NextHeader = 58; FragmentOffset = 0; MFlag = 0; Identification = FRAG_ID; } Hdr_Fragment frag_1st { NextHeader = 58; FragmentOffset = 0; MFlag = 1; Identification = FRAG_ID; } Hdr_Fragment frag_2nd { NextHeader = 58; // ignored FragmentOffset = 65; // 520/8 MFlag = 0; Identification = FRAG_ID; } Payload payload_all { data = right(_PACKET_IPV6_NAME(echo_request), 40); } Payload payload_1st { data = substr(_PACKET_IPV6_NAME(echo_request), 40, 520); } Payload payload_2nd { data = substr(_PACKET_IPV6_NAME(echo_request), 560, 512); } // // ICMP Time Exceeded for 1st fragment // FEM_icmp6_time_exceeded( time_exceeded_1st, _HETHER_nut2tn, { _SRC(nutv6()); _DST(tnv6()); }, { Code = 1; // fragment reassembly time exceeded payload = err_1st; } ) Payload err_1st { data = right(_PACKET_IPV6_NAME(echo_request_1st), 0); } // // ICMP Time Exceeded for 2nd fragment (never returned, make vRecv happy) // FEM_icmp6_time_exceeded( time_exceeded_2nd, _HETHER_nut2tn, { _SRC(nutv6()); _DST(tnv6()); }, { Code = 1; // fragment reassembly time exceeded payload = err_2nd; } ) Payload err_2nd { data = right(_PACKET_IPV6_NAME(echo_request_2nd), 0); } //====================================================================== // ICMP echo request A (for 2 packet test) //====================================================================== FEM_icmp6_echo_request( echo_request_A, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { Identifier = REQ_ID_A; SequenceNumber = SEQ_NO_A; payload = echo_data1024byAA; } ) // // ICMP echo reply A // FEM_icmp6_echo_reply( echo_reply_A, _HETHER_nut2tn, { _SRC(nutv6()); _DST(tnv6()); }, { Identifier = REQ_ID_A; SequenceNumber = SEQ_NO_A; payload = echo_data1024byAA; } ) // // ICMP echo request A (1st fragment) // FEM_hdr_ipv6_exth( echo_request_A_1st, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_A_1st); exthdr = frag_A_1st; upper = payload_A_1st; } ) // // ICMP echo request A (2nd fragment) // FEM_hdr_ipv6_exth( echo_request_A_2nd, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_A_2nd); exthdr = frag_A_2nd; upper = payload_A_2nd; } ) Hdr_Fragment frag_A_1st { NextHeader = 58; FragmentOffset = 0; MFlag = 1; Identification = FRAG_ID_A; } Hdr_Fragment frag_A_2nd { NextHeader = 58; // ignored FragmentOffset = 65; // 520/8 MFlag = 0; Identification = FRAG_ID_A; } Payload payload_A_1st { data = substr(_PACKET_IPV6_NAME(echo_request_A), 40, 520); } Payload payload_A_2nd { data = substr(_PACKET_IPV6_NAME(echo_request_A), 560, 512); } //====================================================================== // ICMP echo request B (for 2 packet test) //====================================================================== FEM_icmp6_echo_request( echo_request_B, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { Identifier = REQ_ID_B; SequenceNumber = SEQ_NO_B; payload = echo_data1024byBB; } ) // // ICMP echo reply B // FEM_icmp6_echo_reply( echo_reply_B, _HETHER_nut2tn, { _SRC(nutv6()); _DST(tnv6()); }, { Identifier = REQ_ID_B; SequenceNumber = SEQ_NO_B; payload = echo_data1024byBB; } ) // // ICMP echo request B (1st fragment) // FEM_hdr_ipv6_exth( echo_request_B_1st, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_B_1st); exthdr = frag_B_1st; upper = payload_B_1st; } ) // // ICMP echo request B (2nd fragment) // FEM_hdr_ipv6_exth( echo_request_B_2nd, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); }, { header = _HDR_IPV6_NAME(echo_request_B_2nd); exthdr = frag_B_2nd; upper = payload_B_2nd; } ) Hdr_Fragment frag_B_1st { NextHeader = 58; FragmentOffset = 0; MFlag = 1; Identification = FRAG_ID_B; } Hdr_Fragment frag_B_2nd { NextHeader = 58; // ignored FragmentOffset = 65; // 520/8 MFlag = 0; Identification = FRAG_ID_B; } Payload payload_B_1st { data = substr(_PACKET_IPV6_NAME(echo_request_B), 40, 520); } Payload payload_B_2nd { data = substr(_PACKET_IPV6_NAME(echo_request_B), 560, 512); } //---------------------------------------------------------------------- // Neighbor Solicitation and Neighbor Advertisement //---------------------------------------------------------------------- FEM_icmp6_ns( ns, _HETHER_nut2tnsolnode, { _SRC(oneof(nutv6(),nut2v6(_GLOBAL0_UCAST_PRFX,_GLOBAL0_UCAST_PRFXLEN,"Link0"))); _DST(_IPV6_SOLNODE_MCAST(tnv6())); HopLimit = 255; }, { TargetAddress = tnv6(); option = _SLLOPT_nut; } ) FEM_icmp6_na( na, _HETHER_tn2nut, { _SRC(tnv6()); _DST(nutv6()); HopLimit = 255; }, { SFlag = 1; OFlag = 1; TargetAddress = tnv6(); option = _TLLOPT_tn; } ) //---------------------------------------------------------------------- // Payload Data //---------------------------------------------------------------------- Payload echo_data1024byAA { data = repeat(0xa1, 512); data = repeat(0xa2, 512); } Payload echo_data1024byBB { data = repeat(0xb1, 512); data = repeat(0xb2, 512); } Payload echo_data1024 { data = repeat(1, 512); data = repeat(2, 512); }