// // $Copyright$ // // $Name: $ // // $Id: Fragment.def,v 1.1.1.1 2000/10/31 22:39:20 sekiya 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); }