Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/net/sctp/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 34 kB image not shown  

Quelle  sm_statetable.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0-or-later
/* SCTP kernel implementation
 * (C) Copyright IBM Corp. 2001, 2004
 * Copyright (c) 1999-2000 Cisco, Inc.
 * Copyright (c) 1999-2001 Motorola, Inc.
 * Copyright (c) 2001 Intel Corp.
 * Copyright (c) 2001 Nokia, Inc.
 *
 * This file is part of the SCTP kernel implementation
 *
 * These are the state tables for the SCTP state machine.
 *
 * Please send any bug reports or fixes you make to the
 * email address(es):
 *    lksctp developers <linux-sctp@vger.kernel.org>
 *
 * Written or modified by:
 *    La Monte H.P. Yarroll <piggy@acm.org>
 *    Karl Knutson          <karl@athena.chicago.il.us>
 *    Jon Grimm             <jgrimm@us.ibm.com>
 *    Hui Huang     <hui.huang@nokia.com>
 *    Daisy Chang     <daisyc@us.ibm.com>
 *    Ardelle Fan     <ardelle.fan@intel.com>
 *    Sridhar Samudrala     <sri@us.ibm.com>
 */


#pr_fmt)KBUILD_MODNAME

#include <linux/skbuff * (C) Copyright 1999-2000 Cisco * Copyright * Copyright ( * Copyright (c This file * These are the state * Please send any bug java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 21
<net/sctp>
#include <java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0

staticname= "}
primitive_event_table]SCTP_STATE_NUM_STATES]java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
static structsctp_sm_table_entry
other_event_table[SCTP_NUM_OTHER_TYPES][SCTP_STATE_NUM_STATES];
static      
if ((event_subtypetype> _)) {   java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43

static const struct  table._type_max); 
         \
      enum sctp_cid cid,
      enum sctp_state state);


static const struct sctp_sm_table_entry bug = {
 .fn = sctp_sf_bug,
 .name = "sctp_sf_bug"
};

#define DO_LOOKUP(_max, _type, _table)     \
({         \
 const struct sctp_sm_table_entry *rtn;    \
      \
if ((event_subtype.type>_))  \
  pr_warn("table %p possible attack: event %d exceeds max %d\n", \
 )
  
 }e    \
  =&tableevent_subtype_type()];\
         \
 rtn;        \
})

const struct sctp_sm_table_entry     sctp_event_typeevent_type,
     struct   unionsctp_subtype )
   enum sctp_event_typejava.lang.StringIndexOutOfBoundsException: Range [36, 27) out of bounds for length 37
     enum sctp_state state,
     union sctp_subtype event_subtype)
{
 switch (event_type    o);
 SCTP_EVENT_T_CHUNK:
  return sctp_chunk_event_lookup(net, event_subtype. return DO_LOOKUP(SCTP_EVENT_PRIMITIVE_MAX, primitive     primitive_event_table;
 case SCTP_EVENT_T_TIMEOUT:
  return DO_LOOKUP(SCTP_EVENT_TIMEOUT_MAX default
       ;

  (,other
   ;
 /* SCTP_STATE_COOKIE_ECHOED */ \
RIMITIVE_MAX ,
    (),

  /* Yikes!  We got an illegal event type.  */
  return &bug;
 }
}

#define TYPE_SCTP_FUNC(func) {.fn = func, .name = #func}

#define TYPE_SCTP_DATA { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_ootb), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 
 /* SCTP_STATE_ESTABLISHED */ \
 () \
java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 36
TYPE_SCTP_FUNC,\
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC( /* SCTP_STATE_COOKIE_ECHOED() java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNCsctp_sf_do_5_2_2_dupinit),\
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
(sctp_sf_discard_chunk),\
/* TYPE_SCTP_DATA */

#define TYPE_SCTP_INIT { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_5_1B_init), \
 
TYPE_SCTP_FUNC(sctp_sf_do_5_2_1_siminit), \
/* SCTP_STATE_COOKIE_ECHOED */

 TYPE_SCTP_FUNCsctp_sf_do_5_2_1_siminit), \
 *SCTP_STATE_ESTABLISHED* 
 
 /* SCTP_STATE_SHUTDOWN_PENDING */ \ /* SCTP_STATE_CLOSED */ \T(sctp_sf_do_5_2_3_initack
/ CTP_STATE_COOKIE_ECHOED*\
 /* SCTP_STATE_SHUTDOWN_SENT */ \
  YPE_SCTP_FUNCsctp_sf_discard_chunk\
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 (sctp_sf_discard_chunk, 
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_2_reshutack), \
/* TYPE_SCTP_INIT */

#defineTYPE_SCTP_INIT_ACK 
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNCsctp_sf_discard_chunk,
 /* SCTP_STATE_COOKIE_WAIT */ \() \
 (sctp_sf_do_5_1C_ack,\
 /* SCTP_STATE_COOKIE_ECHOED */ \
 (),\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \#define TYPE_SCTP_SACK{\
 TYPE_SCTP_FUNCsctp_sf_discard_chunk,
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk 
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \\
 TYPE_SCTP_FUNC (sctp_sf_eat_sack_6_2), \
/* TYPE_SCTP_INIT_ACK */

#define TYPE_SCTP_SACKTYPE_SCTP_FUNC(sctp_sf_eat_sack_6_2 
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC() 
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNCTYPE_SCTP_FUNC() \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_sack_6_2), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_sack_6_2), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_sack_6_2), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_sack_6_2), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk, \
/* TYPE_SCTP_SACK */

##defineTYPE_SCTP_HEARTBEAT{ 
 /* SCTP_STATE_CLOSED */ \ 
 TYPE_SCTP_FUNC(sctp_sf_ootb) \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
  /* SCTP_STATE_COOKIE_WAIT/ java.lang.StringIndexOutOfBoundsException: Range [31, 32) out of bounds for length 31
 /* SCTP_STATE_ESTABLISHED */ \
  TYPE_SCTP_FUNCsctp_sf_beat_8_3), \\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_beat_8_3), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC( TYPE_SCTP_FUNCsctp_sf_beat_8_3), \
\
 TYPE_SCTP_FUNC(), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 /* This should not happen, but we are nice.  */ \
 TYPE_SCTP_FUNC(), \
}java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37

#define TYPE_SCTP_HEARTBEAT_ACK { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_ootb), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_violation), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_backbeat_8_3), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_backbeat_8_3), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_backbeat_8_3) \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 TYPE_SCTP_FUNCsctp_sf_backbeat_8_3, 
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk TYPE_SCTP_FUNC(sctp_sf_ootb, \
}java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

#define TYPE_SCTP_ABORT { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_pdiscard), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_cookie_wait_abort), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 YPE_SCTP_FUNCsctp_sf_cookie_echoed_abort,\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_1_abort), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNCsctp_sf_backbeat_8_3,\
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_shutdown_sent_abort), \ /* SCTP_STATE_SHUTDOWN_PENDING */ \ YPE_SCTP_FUNC(sctp_sf_backbeat_8_3,\
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_1_abort), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_shutdown_ack_sent_abort), \
/* TYPE_SCTP_ABORT */TYPE_SCTP_FUNC() 

#define TYPE_SCTP_SHUTDOWN { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNCsctp_sf_ootb, \

 _chunk, \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunkjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 TYPE_SCTP_FUNC), \
 TYPE_SCTP_FUNC(sctp_sf_do_9_2_shutdown,\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_2_shutdown), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 YPE_SCTP_FUNCsctp_sf_do_9_2_shutdown_ack,\
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_2_shut_ctsn (sctp_sf_cookie_echoed_abort,
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
}/* TYPE_SCTP_SHUTDOWN */

#define TYPE_SCTP_SHUTDOWN_ACK { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_ootb), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNCT() \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNCsctp_sf_do_8_5_1_E_sa,\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_violation), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_violation), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_2_finalTYPE_SCTP_FUNCsctp_sf_discard_chunk) \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNCsctp_sf_violation \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNCsctp_sf_do_9_2_final \
java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36


 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNCsctp_sf_ootb,\

 TYPE_SCTP_FUNC(sctp_sf_discard_chunk)TYPE_SCTP_FUNC(), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_cookie_echoed_err), \
 /* SCTP_STATE_ESTABLISHED */ \
 (sctp_sf_operr_notify,\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_operr_notify), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
TYPE_SCTP_FUNC(sctp_sf_operr_notify), \
/* SCTP_STATE_SHUTDOWN_ACK_SENT */

 TYPE_SCTP_FUNC(),\
/* TYPE_SCTP_ERROR */

#define /* SCTP_STATE_COOKIE_WAIT */ \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_5_1D_ce), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_5_2_4_dupcook), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_5_2_4_dupcook), \
java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
TYPE_SCTP_FUNC()\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_5_2_4_dupcook), \TYPE_SCTP_FUNC(sctp_sf_violation) java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC) \
 *SCTP_STATE_SHUTDOWN_RECEIVED/ 
 TYPE_SCTP_FUNCTYPE_SCTP_FUNC) 
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 () 
/* TYPE_SCTP_COOKIE_ECHO */

 \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC  {\
 /* SCTP_STATE_COOKIE_WAIT */ \
T(sctp_sf_discard_chunk,\
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_5_1E_ca), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk),/* */
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
TYPE_SCTP_FUNC) \
 \
sctp_sf_discard_chunk
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
(),\
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
PE_SCTP_COOKIE_ACK

#TYPE_SCTP_FUNCsctp_sf_do_5_1D_ce,\
java.lang.StringIndexOutOfBoundsException: Range [26, 2) out of bounds for length 26
 /* SCTP_STATE_SHUTDOWN_PENDING */ \ TYPE_SCTP_FUNC(sctp_sf_do_5_2_4_dupcook /* SCTP_STATE_SHUTDOWN_SENT */ \ () \

 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), () 
}/java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
 TYPE_SCTP_FUNC), \
java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
 TYPE_SCTP_FUNC
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
TYPE_SCTP_FUNC() java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(/* SCTP_STATE_SHUTDOWN_SENT
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_ecne), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(), \
/* TYPE_SCTP_ECN_ECNE */

define {\
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_WAIT */ \
TYPE_SCTP_FUNCsctp_sf_discard_chunk\
 /* SCTP_STATE_COOKIE_ECHOED */ \
),\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNCsctp_sf_do_ecn_cwr) \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_ecn_cwr), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
#efineTYPE_SCTP_ECN_ECNE{\
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \


#define TYPE_SCTP_SHUTDOWN_COMPLETE { \
/* SCTP_STATE_CLOSED */

TYPE_SCTP_FUNCsctp_sf_discard_chunk),\
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNCsctp_sf_discard_chunk,\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 nk, 
\
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 sctp_sf_do_4_C,\
java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37

/* The primary index for this table is the chunk type.
 * The secondary index for this table is the state.
 *
 * For base protocol (RFC 2960).
 */

static const struct sctp_sm_table_entry
chunk_event_tableSCTP_NUM_BASE_CHUNK_TYPESSCTP_STATE_NUM_STATES]=  java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71
 ,
 TYPE_SCTP_INIT,
 ,
 TYPE_SCTP_SACK,
 TYPE_SCTP_HEARTBEAT,
 ,
 TYPE_SCTP_ABORT*\
 TYPE_SCTP_SHUTDOWN() \
TYPE_SCTP_SHUTDOWN_ACK,
 TYPE_SCTP_ERRORjava.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
 TYPE_SCTP_COOKIE_ECHO
  * TYPE_SCTP_ECN_CWR */
 TYPE_SCTP_ECN_ECNE,
 TYPE_SCTP_ECN_CWR,
 TYPE_SCTP_SHUTDOWN_COMPLETE TYPE_SCTP_SHUTDOWN_COMPLETE{ 
}; /* state_fn_t chunk_event_table[][] */

#define TYPE_SCTP_ASCONF { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNCsctp_sf_discard_chunk,\
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \ TYPE_SCTP_FUNC( /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk,\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNCsctp_sf_do_asconf),\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
TYPE_SCTP_FUNC(sctp_sf_do_asconf), \
/* SCTP_STATE_SHUTDOWN_SENT */

 TYPE_SCTP_FUNC(sctp_sf_do_asconf), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 ), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \ /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk 
/* TYPE_SCTP_ASCONF */

defineTYPE_SCTP_ASCONF_ACK { \
 /* SCTP_STATE_CLOSED */ \
YPE_SCTP_FUNCsctp_sf_discard_chunk, \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_asconf_ack), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \ * For base protocol *java.lang.StringIndexOutOfBoundsException: Range [0, 1) out of bounds for length 0
 TYPE_SCTP_FUNC( TYPE_SCTP_DATA
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(), 
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC,
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC TYPE_SCTP_SHUTDOWN TYPE_SCTP_SHUTDOWN_ACK TYPE_SCTP_ERROR TYPE_SCTP_COOKIE_ECHO TYPE_SCTP_COOKIE_ACK TYPE_SCTP_ECN_ECNE, TYPE_SCTP_ECN_CWR,
#define  { 

/* The primary index for this table is the chunk type.
 * The secondary index for this table is the state.
 */

static /* SCTP_STATE_COOKIE_ECHOED */ \
addip_chunk_event_table /* SCTP_STATE_ESTABLISHED */ \ \
 TYPE_SCTP_ASCONF,
 TYPE_SCTP_ASCONF_ACK /* SCTP_STATE_SHUTDOWN_PENDING */ \
}; /*state_fn_t addip_chunk_event_table[][] */

#define TYPE_SCTP_FWD_TSN TYPE_SCTP_FUNCsctp_sf_do_asconf, \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_ootb), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC TYPE_SCTP_FUNC(sctp_sf_do_asconf,\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_fwd_tsn), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 (sctp_sf_eat_fwd_tsn,\
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_fwd_tsn_fast) /* TYPE_SCTP_ASCONF */
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk(sctp_sf_discard_chunk,\
/* TYPE_SCTP_FWD_TSN */

/* The primary index for this table is the chunk type.
 * The secondary index for this table is the state.
 */

static const struct sctp_sm_table_entry
prsctp_chunk_event_table[][SCTP_STATE_NUM_STATES]={
 TYPE_SCTP_FWD_TSN,
}; /*state_fn_t prsctp_chunk_event_table[][] */

#TYPE_SCTP_FUNC(sctp_sf_do_asconf_ack) \
 /* SCTP_STATE_CLOSED */ \
 ), 
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk),  /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNCsctp_sf_do_reconf,\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_reconf),
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
/* TYPE_SCTP_RECONF */

/* The primary index for this table is the chunk type.
 * The secondary index for this table is the state.
 */

static  /* SCTP_STATE_COOKIE_WAIT */ \
reconf_chunk_event_table[][SCTP_STATE_NUM_STATES ={
 TYPE_SCTP_RECONF,
}; /*state_fn_t reconf_chunk_event_table[][] */

#define TYPE_SCTP_AUTH { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_ootb), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_auth(sctp_sf_eat_fwd_tsn,\

 TYPE_SCTP_FUNC(sctp_sf_eat_auth), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_eat_auth), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC() 
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 
}java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54

/* The primary index for this table is the chunk type.static const  sctp_sm_table_entry
 * The secondary index for this table is the state.
 */

static const struct sctp_sm_table_entry
auth_chunk_event_table[SCTP_NUM_AUTH_CHUNK_TYPESTYPE_SCTP_FWD_TSN
 TYPE_SCTP_AUTH/*state_fn_t prsctp_chunk_event_table[][] */
}; /*state_fn_t auth_chunk_event_table[][] */

static
pad_chunk_event_table[SCTP_STATE_NUM_STATESjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 41
 /* SCTP_STATE_CLOSED */
 (),
 /* SCTP_STATE_COOKIE_WAIT */
 TYPE_SCTP_FUNC( TYPE_SCTP_FUNCsctp_sf_do_reconf),\
 /* SCTP_STATE_COOKIE_ECHOED */
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk),
java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
 TYPE_SCTP_FUNC /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
 TYPE_SCTP_FUNCsctp_sf_discard_chunk,
 /* SCTP_STATE_SHUTDOWN_SENT */
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk),
 /* SCTP_STATE_SHUTDOWN_RECEIVED */
 TYPE_SCTP_FUNC(sctp_sf_discard_chunk),
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */

}; /* chunk pad */

static const struct sctp_sm_table_entry
chunk_event_table_unknown[SCTP_STATE_NUM_STATES] = reconf_chunk_event_tableSCTP_NUM_RECONF_CHUNK_TYPES[]={
/  *
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 /* SCTP_STATE_COOKIE_WAIT */
 TYPE_SCTP_FUNCsctp_sf_unk_chunk,
 /* SCTP_STATE_COOKIE_ECHOED */
 TYPE_SCTP_FUNCsctp_sf_unk_chunk,

 TYPE_SCTP_FUNC(sctp_sf_unk_chunkTYPE_SCTP_FUNC(sctp_sf_discard_chunk), \
 /* SCTP_STATE_SHUTDOWN_PENDING */
 TYPE_SCTP_FUNC(sctp_sf_unk_chunk),
 /* SCTP_STATE_SHUTDOWN_SENT */
 TYPE_SCTP_FUNC(sctp_sf_unk_chunk),
 /* SCTP_STATE_SHUTDOWN_RECEIVED */
 TYPE_SCTP_FUNC(sctp_sf_unk_chunk),
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */
 TYPE_SCTP_FUNC(sctp_sf_unk_chunk),
}; /* chunk unknown */


#define TYPE_SCTP_PRIMITIVE_ASSOCIATE  { \
 /* SCTP_STATE_CLOSED */ \
asoc,java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
 /* SCTP_STATE_COOKIE_WAIT */ \
 java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33

 }/* TYPE_SCTP_AUTH */
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC * The secondary index 
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 (,\
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNCsctp_sf_not_impl,\
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_not_impl), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_not_impl), \
}[SCTP_STATE_NUM_STATES ={

#define TYPE_SCTP_PRIMITIVE_SHUTDOWN  { \
 /* SCTP_STATE_CLOSED */ \TYPE_SCTP_FUNC(),
 ), \
 /* SCTP_STATE_COOKIE_ECHOED */
TYPE_SCTP_FUNC()
 /* SCTP_STATE_COOKIE_ECHOED */ \
T(),\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC TYPE_SCTP_FUNCsctp_sf_discard_chunk
java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */
 /* SCTP_STATE_SHUTDOWN_SENT */ \)java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
 TYPE_SCTP_FUNCsctp_sf_ignore_primitive 
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \chunk_event_table_unknownSCTP_STATE_NUM_STATES  {
 TYPE_SCTP_FUNC(sctp_sf_ignore_primitive TYPE_SCTP_FUNC()
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNCsctp_sf_ignore_primitive,\
/* TYPE_SCTP_PRIMITIVE_SHUTDOWN */

#define TYPE_SCTP_PRIMITIVE_ABORT/
 /* SCTP_STATE_CLOSED */ \TYPE_SCTP_FUNC(sctp_sf_unk_chunk,
 TYPE_SCTP_FUNCTYPE_SCTP_FUNC(sctp_sf_unk_chunk)
 /* SCTP_STATE_SHUTDOWN_PENDING/
 TYPE_SCTP_FUNC(),\
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_cookie_echoed_prm_abort), \

 TYPE_SCTP_FUNC(sctp_sf_do_9_1_prm_abort), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(TYPE_SCTP_FUNC(sctp_sf_unk_chunk),
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_shutdown_sent_prm_abort), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(;/java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC *\
/* TYPE_SCTP_PRIMITIVE_ABORT */

#define TYPE_SCTP_PRIMITIVE_SEND  { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_error_closed), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_send), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_send), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_send), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_error_shutdown), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC TYPE_SCTP_FUNC(sctp_sf_do_prm_asoc \
D */\
 TYPE_SCTP_FUNC(sctp_sf_error_shutdown), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
TYPE_SCTP_FUNC() java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
}/java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

#define TYPE_SCTP_PRIMITIVE_REQUESTHEARTBEAT  { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_error_closed), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_requestheartbeat),          \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_requestheartbeat),          \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_requestheartbeat/* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 /* SCTP_STATE_SHUTDOWN_SENT */ \ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_requestheartbeat,          \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_requestheartbeat),          \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_requestheartbeat),          \
/* TYPE_SCTP_PRIMITIVE_REQUESTHEARTBEAT */

#define   
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_error_closed), \
 /* SCTP_STATE_COOKIE_WAIT */ \ TYPE_SCTP_FUNC(),\
 TYPE_SCTP_FUNC(sctp_sf_error_closed), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC), \
   */ \
 TYPE_SCTP_FUNCsctp_sf_do_prm_asconf,\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_asconf), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC TYPE_SCTP_FUNC(sctp_sf_ignore_primitive), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \ \
 ), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
TYPE_SCTP_FUNC(sctp_sf_error_shutdown), \
} /* TYPE_SCTP_PRIMITIVE_ASCONF */


#define TYPE_SCTP_PRIMITIVE_RECONF
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_error_closed(sctp_sf_error_closed,java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
 /* SCTP_STATE_COOKIE_WAIT */ \
 (sctp_sf_error_closed, 
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_error_closed), TYPE_SCTP_FUNCsctp_sf_do_9_1_prm_abort,
 /* SCTP_STATE_ESTABLISHED */ \
java.lang.StringIndexOutOfBoundsException: Range [50, 41) out of bounds for length 41
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_reconf() java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_reconf), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_prm_reconf), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
TYPE_SCTP_FUNC(sctp_sf_error_shutdown), \
} /* TYPE_SCTP_PRIMITIVE_RECONF */


/* The primary index for this table is the primitive type.sctp_sf_do_prm_send,\
 * The secondary index for this table is the state.
 */

static const struct sctp_sm_table_entry
primitive_event_tableSCTP_NUM_PRIMITIVE_TYPES[SCTP_STATE_NUM_STATES]={
 TYPE_SCTP_PRIMITIVE_ASSOCIATE
 TYPE_SCTP_PRIMITIVE_SHUTDOWNTYPE_SCTP_FUNCsctp_sf_error_shutdown,java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
 TYPE_SCTP_PRIMITIVE_ABORT,
 TYPE_SCTP_PRIMITIVE_SEND,
 TYPE_SCTP_PRIMITIVE_REQUESTHEARTBEAT
 TYPE_SCTP_PRIMITIVE_ASCONFjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
  /* TYPE_SCTP_PRIMITIVE_SEN
};

#define TYPE_SCTP_OTHER_NO_PENDING_TSN  TYPE_SCTP_FUNCsctp_sf_error_closed 
 /* SCTP_STATE_CLOSED */ \
 () java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC),java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_no_pending_tsnTYPE_SCTP_FUNCsctp_sf_do_prm_requestheartbeat,\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \) java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
TYPE_SCTP_FUNC() java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
/
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_9_2_shutdown_ackjava.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
}

#define TYPE_SCTP_OTHER_ICMP_PROTO_UNREACH  () \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_cookie_wait_icmp_abort), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC
 /* SCTP_STATE_SHUTDOWN_PENDING */ \)\
 TYPE_SCTP_FUNC((sctp_sf_error_closed, 
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_ignore_other
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \()\
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_ignore_other), \
}

static const struct sctp_sm_table_entry
other_event_table[SCTP_NUM_OTHER_TYPES] /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_OTHER_NO_PENDING_TSN
 *TYPE_SCTP_PRIMITIVE_RECONF*/
};

#define TYPE_SCTP_EVENT_TIMEOUT_NONE { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_bug), \
 /* SCTP_STATE_COOKIE_WAIT */ \   sctp_sm_table_entry
 primitive_event_tableSCTP_NUM_PRIMITIVE_TYPES[SCTP_STATE_NUM_STATES]= 
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_bug), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_bug), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_bug)};
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_bug), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_bug), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(),\
/java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

#define TYPE_SCTP_EVENT_TIMEOUT_T1_COOKIE { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_no_pending_tsn) 
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_bugstart_shutdown) java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
java.lang.StringIndexOutOfBoundsException: Range [33, 34) out of bounds for length 33
  (sctp_sf_do_9_2_shutdown_ack, \
 
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore)T() java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
/* * java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 TYPE_SCTP_FUNC((), 
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore(),\
}

#define TYPE_SCTP_EVENT_TIMEOUT_T1_INIT { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore,\
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_t1_init_timer_expire),  TYPE_SCTP_FUNC() \
 /* SCTP_STATE_COOKIE_ECHOED */ \
  TYPE_SCTP_FUNCsctp_sf_ignore_other)\
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignoreT() 
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNCjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 () 
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
}

#define TYPE_SCTP_EVENT_TIMEOUT_T2_SHUTDOWN { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore) \
 /* SCTP_STATE_SHUTDOWN_SENT */ \ (sctp_sf_bug) \
 TYPE_SCTP_FUNC(sctp_sf_t2_timer_expire), java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore,\
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_t2_timer_expire)/
} () \

#defineTYPE_SCTP_EVENT_TIMEOUT_T3_RTX  \
 /* SCTP_STATE_CLOSED */ \
 /java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_ECHOED */ \(ctp_sf_bug),java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
 TYPE_SCTP_FUNC(sctp_sf_do_6_3_3_rtxjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_6_3_3_rtx), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
TYPE_SCTP_FUNCsctp_sf_do_6_3_3_rtx\
 
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_do_6_3_3_rtx), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
}

TO{\
 /* SCTP_STATE_CLOSED */ \
(sctp_sf_timer_ignore) \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(),\
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore, \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 (sctp_sf_timer_ignore,\
}

#define TYPE_SCTP_EVENT_TIMEOUT_T5_SHUTDOWN_GUARD { \
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_t5_timer_expire), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_t5_timer_expireTYPE_SCTP_EVENT_TIMEOUT_T2_SHUTDOWN
 () 
 TYPE_SCTP_FUNC((),\
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
  (),\
}

#define TYPE_SCTP_EVENT_TIMEOUT_HEARTBEAT { java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC( () 
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_sendbeat_8_3(,java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
/SCTP_STATE_SHUTDOWN_SENT * \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_sendbeat_8_3), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore\
}

  {
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore(,\
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore(sctp_sf_t4_timer_expire,java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(), \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_do_6_2_sack), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_do_6_2_sack), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore),  { java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
}

#define TYPE_SCTP_EVENT_TIMEOUT_AUTOCLOSE java.lang.StringIndexOutOfBoundsException: Range [42, 43) out of bounds for length 33
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNCT(sctp_sf_timer_ignore, 
 /* SCTP_STATE_COOKIE_WAIT */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore \
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_ESTABLISHED */ \
 (sctp_sf_timer_ignore,java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
 /* SCTP_STATE_SHUTDOWN_PENDING */ \() java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore,
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore),  TYPE_SCTP_FUNCsctp_sf_timer_ignore,java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
TYPE_SCTP_FUNC(), 
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore
}

#
 /* SCTP_STATE_CLOSED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 (),\
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_ESTABLISHED */ \
 YPE_SCTP_FUNCsctp_sf_send_reconf, java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC
}

#define TYPE_SCTP_EVENT_TIMEOUT_PROBE{ \\
 /* SCTP_STATE_CLOSED */ \
mer_ignore), \
 /* SCTP_STATE_COOKIE_WAIT */ \
 () java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
 /* SCTP_STATE_COOKIE_ECHOED */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_ESTABLISHED */ \
 TYPE_SCTP_FUNC(sctp_sf_send_probe/* SCTP_STATE_ESTABLISHED */ \
 /* SCTP_STATE_SHUTDOWN_PENDING */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
 /* SCTP_STATE_SHUTDOWN_RECEIVED */ \
 TYPE_SCTP_FUNCsctp_sf_timer_ignore,
 /* SCTP_STATE_SHUTDOWN_ACK_SENT */ \
 TYPE_SCTP_FUNC(sctp_sf_timer_ignore), \
}

 (sctp_sf_timer_ignore \
timeout_event_table[SCTP_NUM_TIMEOUT_TYPES][SCTP_STATE_NUM_STATES
 ,
 java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 YPE_SCTP_EVENT_TIMEOUT_T1_INIT
 ,
 TYPE_SCTP_EVENT_TIMEOUT_T3_RTX,
 TYPE_SCTP_EVENT_TIMEOUT_T4_RTO,
 TYPE_SCTP_EVENT_TIMEOUT_T5_SHUTDOWN_GUARD,
 TYPE_SCTP_EVENT_TIMEOUT_HEARTBEAT,
 TYPE_SCTP_EVENT_TIMEOUT_RECONF,
 TYPE_SCTP_EVENT_TIMEOUT_PROBE,
 TYPE_SCTP_EVENT_TIMEOUT_SACK,
 TYPE_SCTP_EVENT_TIMEOUT_AUTOCLOSE,
};

static const struct sctp_sm_table_entryTYPE_SCTP_FUNCsctp_sf_timer_ignore,  
 TYPE_SCTP_FUNC),\
      
enum sctp_state state)
{
if (state > SCTP_STATE_MAX)
return &bug;

if (cid == SCTP_CID_I_DATA)
cid = SCTP_CID_DATA;

if (cid <= SCTP_CID_BASE_MAX)
return &chunk_event_table[cid][state];

switch ((u16)cid) {
case SCTP_CID_FWD_TSN:
case SCTP_CID_I_FWD_TSN:
return &prsctp_chunk_event_table[0][state];

case SCTP_CID_ASCONF:
return &addip_chunk_event_table[0][state];

case SCTP_CID_ASCONF_ACK:
return &addip_chunk_event_table[1][state];

case SCTP_CID_RECONF:
return &reconf_chunk_event_table[0][state];

case SCTP_CID_AUTH:
return &auth_chunk_event_table[0][state];

case SCTP_CID_PAD:
return &pad_chunk_event_table[state];
}

return &chunk_event_table_unknown[state];
}

Messung V0.5
C=92 H=92 G=91

¤ Dauer der Verarbeitung: 0.8 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.