mod.rs 89.6 KB
Newer Older
1
2
#[allow(unused)]

Bharat Garhewal's avatar
Bharat Garhewal committed
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
pub const TCP_FREEBSD_SERVER: &str = r#"
digraph G {
label=""
s0 [color="red"]
s1
s2
s3
s4
s5
s6
s7
s8
s9
s10
s11
s12
s13
s14
s15
s16
s17
s18
s19
s20
s21
s22
s23
s24
s25
s26
s27
s28
s29
s30
s31
s32
s33
s34
s35
s36
s37
s38
s39
s40
s41
s42
s43
s44
s45
s46
s47
s48
s49
s50
s51
s52
s53
s54
s0 [label="s0"];
s0 -> s0[label=" CLOSECONNECTION / TIMEOUT "]
s0 -> s0[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s0 -> s0[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s0 -> s0[label=" RST(V,V,0) / TIMEOUT "]
s0 -> s0[label=" ACCEPT / TIMEOUT "]
s0 -> s0[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s0 -> s1[label=" LISTEN / TIMEOUT "]
s0 -> s0[label=" SYN(V,V,0) / ACK+RST(ZERO,NEXT,0) "]
s0 -> s0[label=" RCV / TIMEOUT "]
s0 -> s0[label=" ACK+RST(V,V,0) / TIMEOUT "]
s0 -> s2[label=" CLOSE / TIMEOUT "]
s0 -> s0[label=" SEND / TIMEOUT "]
s0 -> s0[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s1 [label="s1"];
s1 -> s1[label=" CLOSECONNECTION / TIMEOUT "]
s1 -> s1[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s1 -> s1[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s1 -> s1[label=" RST(V,V,0) / TIMEOUT "]
s1 -> s4[label=" ACCEPT / TIMEOUT "]
s1 -> s1[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s1 -> s1[label=" LISTEN / TIMEOUT "]
s1 -> s3[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s1 -> s1[label=" RCV / TIMEOUT "]
s1 -> s1[label=" ACK+RST(V,V,0) / TIMEOUT "]
s1 -> s2[label=" CLOSE / TIMEOUT "]
s1 -> s1[label=" SEND / TIMEOUT "]
s1 -> s1[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s2 [label="s2"];
s2 -> s2[label=" CLOSECONNECTION / TIMEOUT "]
s2 -> s2[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s2 -> s2[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s2 -> s2[label=" RST(V,V,0) / TIMEOUT "]
s2 -> s2[label=" ACCEPT / TIMEOUT "]
s2 -> s2[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s2 -> s2[label=" LISTEN / TIMEOUT "]
s2 -> s2[label=" SYN(V,V,0) / ACK+RST(ZERO,NEXT,0) "]
s2 -> s2[label=" RCV / TIMEOUT "]
s2 -> s2[label=" ACK+RST(V,V,0) / TIMEOUT "]
s2 -> s2[label=" CLOSE / TIMEOUT "]
s2 -> s2[label=" SEND / TIMEOUT "]
s2 -> s2[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s3 [label="s3"];
s3 -> s3[label=" CLOSECONNECTION / TIMEOUT "]
s3 -> s8[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s3 -> s6[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s3 -> s1[label=" RST(V,V,0) / TIMEOUT "]
s3 -> s9[label=" ACCEPT / TIMEOUT "]
s3 -> s7[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s3 -> s3[label=" LISTEN / TIMEOUT "]
s3 -> s3[label=" SYN(V,V,0) / TIMEOUT "]
s3 -> s3[label=" RCV / TIMEOUT "]
s3 -> s10[label=" ACK+RST(V,V,0) / TIMEOUT "]
s3 -> s5[label=" CLOSE / TIMEOUT "]
s3 -> s3[label=" SEND / TIMEOUT "]
s3 -> s8[label=" ACK(V,V,0) / TIMEOUT "]
s4 [label="s4"];
s4 -> s1[label=" CLOSECONNECTION / TIMEOUT "]
s4 -> s4[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s4 -> s4[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s4 -> s4[label=" RST(V,V,0) / TIMEOUT "]
s4 -> s4[label=" ACCEPT / TIMEOUT "]
s4 -> s4[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s4 -> s4[label=" LISTEN / TIMEOUT "]
s4 -> s9[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s4 -> s4[label=" RCV / TIMEOUT "]
s4 -> s4[label=" ACK+RST(V,V,0) / TIMEOUT "]
s4 -> s2[label=" CLOSE / TIMEOUT "]
s4 -> s4[label=" SEND / TIMEOUT "]
s4 -> s4[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s5 [label="s5"];
s5 -> s5[label=" CLOSECONNECTION / TIMEOUT "]
s5 -> s2[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s5 -> s5[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s5 -> s2[label=" RST(V,V,0) / TIMEOUT "]
s5 -> s5[label=" ACCEPT / TIMEOUT "]
s5 -> s2[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s5 -> s5[label=" LISTEN / TIMEOUT "]
s5 -> s2[label=" SYN(V,V,0) / ACK+RST(ZERO,NEXT,0) "]
s5 -> s5[label=" RCV / TIMEOUT "]
s5 -> s2[label=" ACK+RST(V,V,0) / TIMEOUT "]
s5 -> s5[label=" CLOSE / TIMEOUT "]
s5 -> s5[label=" SEND / TIMEOUT "]
s5 -> s2[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s6 [label="s6"];
s6 -> s6[label=" CLOSECONNECTION / TIMEOUT "]
s6 -> s1[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s6 -> s6[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s6 -> s1[label=" RST(V,V,0) / TIMEOUT "]
s6 -> s11[label=" ACCEPT / TIMEOUT "]
s6 -> s1[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s6 -> s6[label=" LISTEN / TIMEOUT "]
s6 -> s3[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s6 -> s6[label=" RCV / TIMEOUT "]
s6 -> s1[label=" ACK+RST(V,V,0) / TIMEOUT "]
s6 -> s5[label=" CLOSE / TIMEOUT "]
s6 -> s6[label=" SEND / TIMEOUT "]
s6 -> s1[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s7 [label="s7"];
s7 -> s7[label=" CLOSECONNECTION / TIMEOUT "]
s7 -> s7[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s7 -> s12[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s7 -> s12[label=" RST(V,V,0) / TIMEOUT "]
s7 -> s13[label=" ACCEPT / TIMEOUT "]
s7 -> s7[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s7 -> s7[label=" LISTEN / TIMEOUT "]
s7 -> s12[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s7 -> s7[label=" RCV / TIMEOUT "]
s7 -> s12[label=" ACK+RST(V,V,0) / TIMEOUT "]
s7 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s7 -> s7[label=" SEND / TIMEOUT "]
s7 -> s7[label=" ACK(V,V,0) / TIMEOUT "]
s8 [label="s8"];
s8 -> s8[label=" CLOSECONNECTION / TIMEOUT "]
s8 -> s8[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s8 -> s12[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s8 -> s12[label=" RST(V,V,0) / TIMEOUT "]
s8 -> s14[label=" ACCEPT / TIMEOUT "]
s8 -> s7[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s8 -> s8[label=" LISTEN / TIMEOUT "]
s8 -> s12[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s8 -> s8[label=" RCV / TIMEOUT "]
s8 -> s12[label=" ACK+RST(V,V,0) / TIMEOUT "]
s8 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s8 -> s8[label=" SEND / TIMEOUT "]
s8 -> s8[label=" ACK(V,V,0) / TIMEOUT "]
s9 [label="s9"];
s9 -> s3[label=" CLOSECONNECTION / TIMEOUT "]
s9 -> s14[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s9 -> s11[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s9 -> s4[label=" RST(V,V,0) / TIMEOUT "]
s9 -> s9[label=" ACCEPT / TIMEOUT "]
s9 -> s13[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s9 -> s9[label=" LISTEN / TIMEOUT "]
s9 -> s9[label=" SYN(V,V,0) / TIMEOUT "]
s9 -> s9[label=" RCV / TIMEOUT "]
s9 -> s15[label=" ACK+RST(V,V,0) / TIMEOUT "]
s9 -> s5[label=" CLOSE / TIMEOUT "]
s9 -> s9[label=" SEND / TIMEOUT "]
s9 -> s14[label=" ACK(V,V,0) / TIMEOUT "]
s10 [label="s10"];
s10 -> s10[label=" CLOSECONNECTION / TIMEOUT "]
s10 -> s1[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s10 -> s1[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s10 -> s10[label=" RST(V,V,0) / TIMEOUT "]
s10 -> s15[label=" ACCEPT / TIMEOUT "]
s10 -> s1[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s10 -> s10[label=" LISTEN / TIMEOUT "]
s10 -> s10[label=" SYN(V,V,0) / TIMEOUT "]
s10 -> s10[label=" RCV / TIMEOUT "]
s10 -> s10[label=" ACK+RST(V,V,0) / TIMEOUT "]
s10 -> s2[label=" CLOSE / TIMEOUT "]
s10 -> s10[label=" SEND / TIMEOUT "]
s10 -> s1[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s11 [label="s11"];
s11 -> s6[label=" CLOSECONNECTION / TIMEOUT "]
s11 -> s4[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s11 -> s11[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s11 -> s4[label=" RST(V,V,0) / TIMEOUT "]
s11 -> s11[label=" ACCEPT / TIMEOUT "]
s11 -> s4[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s11 -> s11[label=" LISTEN / TIMEOUT "]
s11 -> s9[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s11 -> s11[label=" RCV / TIMEOUT "]
s11 -> s4[label=" ACK+RST(V,V,0) / TIMEOUT "]
s11 -> s5[label=" CLOSE / TIMEOUT "]
s11 -> s11[label=" SEND / TIMEOUT "]
s11 -> s4[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s12 [label="s12"];
s12 -> s12[label=" CLOSECONNECTION / TIMEOUT "]
s12 -> s12[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s12 -> s12[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s12 -> s12[label=" RST(V,V,0) / TIMEOUT "]
s12 -> s1[label=" ACCEPT / TIMEOUT "]
s12 -> s12[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s12 -> s12[label=" LISTEN / TIMEOUT "]
s12 -> s16[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s12 -> s12[label=" RCV / TIMEOUT "]
s12 -> s12[label=" ACK+RST(V,V,0) / TIMEOUT "]
s12 -> s2[label=" CLOSE / TIMEOUT "]
s12 -> s12[label=" SEND / TIMEOUT "]
s12 -> s12[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s13 [label="s13"];
s13 -> s18[label=" CLOSECONNECTION / ACK+FIN(NEXT,CURRENT,0) "]
s13 -> s13[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s13 -> s19[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s13 -> s19[label=" RST(V,V,0) / TIMEOUT "]
s13 -> s13[label=" ACCEPT / TIMEOUT "]
s13 -> s13[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s13 -> s13[label=" LISTEN / TIMEOUT "]
s13 -> s19[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s13 -> s13[label=" RCV / TIMEOUT "]
s13 -> s19[label=" ACK+RST(V,V,0) / TIMEOUT "]
s13 -> s17[label=" CLOSE / TIMEOUT "]
s13 -> s13[label=" SEND / ACK+PSH(NEXT,CURRENT,1) "]
s13 -> s13[label=" ACK(V,V,0) / TIMEOUT "]
s14 [label="s14"];
s14 -> s21[label=" CLOSECONNECTION / ACK+FIN(NEXT,CURRENT,0) "]
s14 -> s14[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s14 -> s19[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s14 -> s19[label=" RST(V,V,0) / TIMEOUT "]
s14 -> s14[label=" ACCEPT / TIMEOUT "]
s14 -> s13[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s14 -> s14[label=" LISTEN / TIMEOUT "]
s14 -> s19[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s14 -> s14[label=" RCV / TIMEOUT "]
s14 -> s19[label=" ACK+RST(V,V,0) / TIMEOUT "]
s14 -> s20[label=" CLOSE / TIMEOUT "]
s14 -> s14[label=" SEND / ACK+PSH(NEXT,CURRENT,1) "]
s14 -> s14[label=" ACK(V,V,0) / TIMEOUT "]
s15 [label="s15"];
s15 -> s10[label=" CLOSECONNECTION / TIMEOUT "]
s15 -> s4[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s15 -> s4[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s15 -> s15[label=" RST(V,V,0) / TIMEOUT "]
s15 -> s15[label=" ACCEPT / TIMEOUT "]
s15 -> s4[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s15 -> s15[label=" LISTEN / TIMEOUT "]
s15 -> s15[label=" SYN(V,V,0) / TIMEOUT "]
s15 -> s15[label=" RCV / TIMEOUT "]
s15 -> s15[label=" ACK+RST(V,V,0) / TIMEOUT "]
s15 -> s2[label=" CLOSE / TIMEOUT "]
s15 -> s15[label=" SEND / TIMEOUT "]
s15 -> s4[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s16 [label="s16"];
s16 -> s16[label=" CLOSECONNECTION / TIMEOUT "]
s16 -> s23[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s16 -> s22[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s16 -> s12[label=" RST(V,V,0) / TIMEOUT "]
s16 -> s3[label=" ACCEPT / TIMEOUT "]
s16 -> s24[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s16 -> s16[label=" LISTEN / TIMEOUT "]
s16 -> s16[label=" SYN(V,V,0) / TIMEOUT "]
s16 -> s16[label=" RCV / TIMEOUT "]
s16 -> s25[label=" ACK+RST(V,V,0) / TIMEOUT "]
s16 -> s5[label=" CLOSE / TIMEOUT "]
s16 -> s16[label=" SEND / TIMEOUT "]
s16 -> s23[label=" ACK(V,V,0) / TIMEOUT "]
s17 [label="s17"];
s17 -> s26[label=" CLOSECONNECTION / ACK+FIN(NEXT,CURRENT,0) "]
s17 -> s17[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s17 -> s2[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s17 -> s2[label=" RST(V,V,0) / TIMEOUT "]
s17 -> s17[label=" ACCEPT / TIMEOUT "]
s17 -> s17[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s17 -> s17[label=" LISTEN / TIMEOUT "]
s17 -> s2[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s17 -> s17[label=" RCV / TIMEOUT "]
s17 -> s2[label=" ACK+RST(V,V,0) / TIMEOUT "]
s17 -> s17[label=" CLOSE / TIMEOUT "]
s17 -> s17[label=" SEND / ACK+PSH(NEXT,CURRENT,1) "]
s17 -> s17[label=" ACK(V,V,0) / TIMEOUT "]
s18 [label="s18"];
s18 -> s18[label=" CLOSECONNECTION / TIMEOUT "]
s18 -> s1[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s18 -> s1[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s18 -> s1[label=" RST(V,V,0) / TIMEOUT "]
s18 -> s27[label=" ACCEPT / TIMEOUT "]
s18 -> s6[label=" FIN+ACK(V,V,0) / TIMEOUT "]
s18 -> s18[label=" LISTEN / TIMEOUT "]
s18 -> s1[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s18 -> s18[label=" RCV / TIMEOUT "]
s18 -> s1[label=" ACK+RST(V,V,0) / TIMEOUT "]
s18 -> s26[label=" CLOSE / TIMEOUT "]
s18 -> s18[label=" SEND / TIMEOUT "]
s18 -> s6[label=" ACK(V,V,0) / TIMEOUT "]
s19 [label="s19"];
s19 -> s1[label=" CLOSECONNECTION / TIMEOUT "]
s19 -> s19[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s19 -> s19[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s19 -> s19[label=" RST(V,V,0) / TIMEOUT "]
s19 -> s19[label=" ACCEPT / TIMEOUT "]
s19 -> s19[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s19 -> s19[label=" LISTEN / TIMEOUT "]
s19 -> s28[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s19 -> s19[label=" RCV / TIMEOUT "]
s19 -> s19[label=" ACK+RST(V,V,0) / TIMEOUT "]
s19 -> s2[label=" CLOSE / TIMEOUT "]
s19 -> s19[label=" SEND / TIMEOUT "]
s19 -> s19[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s20 [label="s20"];
s20 -> s29[label=" CLOSECONNECTION / ACK+FIN(NEXT,CURRENT,0) "]
s20 -> s20[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s20 -> s2[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s20 -> s2[label=" RST(V,V,0) / TIMEOUT "]
s20 -> s20[label=" ACCEPT / TIMEOUT "]
s20 -> s17[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s20 -> s20[label=" LISTEN / TIMEOUT "]
s20 -> s2[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s20 -> s20[label=" RCV / TIMEOUT "]
s20 -> s2[label=" ACK+RST(V,V,0) / TIMEOUT "]
s20 -> s20[label=" CLOSE / TIMEOUT "]
s20 -> s20[label=" SEND / ACK+PSH(NEXT,CURRENT,1) "]
s20 -> s20[label=" ACK(V,V,0) / TIMEOUT "]
s21 [label="s21"];
s21 -> s21[label=" CLOSECONNECTION / TIMEOUT "]
s21 -> s1[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s21 -> s1[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s21 -> s1[label=" RST(V,V,0) / TIMEOUT "]
s21 -> s30[label=" ACCEPT / TIMEOUT "]
s21 -> s31[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s21 -> s21[label=" LISTEN / TIMEOUT "]
s21 -> s1[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s21 -> s21[label=" RCV / TIMEOUT "]
s21 -> s1[label=" ACK+RST(V,V,0) / TIMEOUT "]
s21 -> s29[label=" CLOSE / TIMEOUT "]
s21 -> s21[label=" SEND / TIMEOUT "]
s21 -> s21[label=" ACK(V,V,0) / TIMEOUT "]
s22 [label="s22"];
s22 -> s22[label=" CLOSECONNECTION / TIMEOUT "]
s22 -> s12[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s22 -> s22[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s22 -> s12[label=" RST(V,V,0) / TIMEOUT "]
s22 -> s6[label=" ACCEPT / TIMEOUT "]
s22 -> s12[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s22 -> s22[label=" LISTEN / TIMEOUT "]
s22 -> s16[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s22 -> s22[label=" RCV / TIMEOUT "]
s22 -> s12[label=" ACK+RST(V,V,0) / TIMEOUT "]
s22 -> s5[label=" CLOSE / TIMEOUT "]
s22 -> s22[label=" SEND / TIMEOUT "]
s22 -> s12[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s23 [label="s23"];
s23 -> s23[label=" CLOSECONNECTION / TIMEOUT "]
s23 -> s23[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s23 -> s32[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s23 -> s32[label=" RST(V,V,0) / TIMEOUT "]
s23 -> s8[label=" ACCEPT / TIMEOUT "]
s23 -> s24[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s23 -> s23[label=" LISTEN / TIMEOUT "]
s23 -> s32[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s23 -> s23[label=" RCV / TIMEOUT "]
s23 -> s32[label=" ACK+RST(V,V,0) / TIMEOUT "]
s23 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s23 -> s23[label=" SEND / TIMEOUT "]
s23 -> s23[label=" ACK(V,V,0) / TIMEOUT "]
s24 [label="s24"];
s24 -> s24[label=" CLOSECONNECTION / TIMEOUT "]
s24 -> s24[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s24 -> s32[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s24 -> s32[label=" RST(V,V,0) / TIMEOUT "]
s24 -> s7[label=" ACCEPT / TIMEOUT "]
s24 -> s24[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s24 -> s24[label=" LISTEN / TIMEOUT "]
s24 -> s32[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s24 -> s24[label=" RCV / TIMEOUT "]
s24 -> s32[label=" ACK+RST(V,V,0) / TIMEOUT "]
s24 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s24 -> s24[label=" SEND / TIMEOUT "]
s24 -> s24[label=" ACK(V,V,0) / TIMEOUT "]
s25 [label="s25"];
s25 -> s25[label=" CLOSECONNECTION / TIMEOUT "]
s25 -> s12[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s25 -> s12[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s25 -> s25[label=" RST(V,V,0) / TIMEOUT "]
s25 -> s10[label=" ACCEPT / TIMEOUT "]
s25 -> s12[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s25 -> s25[label=" LISTEN / TIMEOUT "]
s25 -> s25[label=" SYN(V,V,0) / TIMEOUT "]
s25 -> s25[label=" RCV / TIMEOUT "]
s25 -> s25[label=" ACK+RST(V,V,0) / TIMEOUT "]
s25 -> s2[label=" CLOSE / TIMEOUT "]
s25 -> s25[label=" SEND / TIMEOUT "]
s25 -> s12[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s26 [label="s26"];
s26 -> s26[label=" CLOSECONNECTION / TIMEOUT "]
s26 -> s2[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s26 -> s2[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s26 -> s2[label=" RST(V,V,0) / TIMEOUT "]
s26 -> s26[label=" ACCEPT / TIMEOUT "]
s26 -> s5[label=" FIN+ACK(V,V,0) / TIMEOUT "]
s26 -> s26[label=" LISTEN / TIMEOUT "]
s26 -> s2[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s26 -> s26[label=" RCV / TIMEOUT "]
s26 -> s2[label=" ACK+RST(V,V,0) / TIMEOUT "]
s26 -> s26[label=" CLOSE / TIMEOUT "]
s26 -> s26[label=" SEND / TIMEOUT "]
s26 -> s5[label=" ACK(V,V,0) / TIMEOUT "]
s27 [label="s27"];
s27 -> s18[label=" CLOSECONNECTION / TIMEOUT "]
s27 -> s4[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s27 -> s4[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s27 -> s4[label=" RST(V,V,0) / TIMEOUT "]
s27 -> s27[label=" ACCEPT / TIMEOUT "]
s27 -> s11[label=" FIN+ACK(V,V,0) / TIMEOUT "]
s27 -> s27[label=" LISTEN / TIMEOUT "]
s27 -> s4[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s27 -> s27[label=" RCV / TIMEOUT "]
s27 -> s4[label=" ACK+RST(V,V,0) / TIMEOUT "]
s27 -> s26[label=" CLOSE / TIMEOUT "]
s27 -> s27[label=" SEND / TIMEOUT "]
s27 -> s11[label=" ACK(V,V,0) / TIMEOUT "]
s28 [label="s28"];
s28 -> s3[label=" CLOSECONNECTION / TIMEOUT "]
s28 -> s34[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s28 -> s36[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s28 -> s19[label=" RST(V,V,0) / TIMEOUT "]
s28 -> s28[label=" ACCEPT / TIMEOUT "]
s28 -> s33[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s28 -> s28[label=" LISTEN / TIMEOUT "]
s28 -> s28[label=" SYN(V,V,0) / TIMEOUT "]
s28 -> s28[label=" RCV / TIMEOUT "]
s28 -> s35[label=" ACK+RST(V,V,0) / TIMEOUT "]
s28 -> s5[label=" CLOSE / TIMEOUT "]
s28 -> s28[label=" SEND / TIMEOUT "]
s28 -> s34[label=" ACK(V,V,0) / TIMEOUT "]
s29 [label="s29"];
s29 -> s29[label=" CLOSECONNECTION / TIMEOUT "]
s29 -> s2[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s29 -> s2[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s29 -> s2[label=" RST(V,V,0) / TIMEOUT "]
s29 -> s29[label=" ACCEPT / TIMEOUT "]
s29 -> s37[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s29 -> s29[label=" LISTEN / TIMEOUT "]
s29 -> s2[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s29 -> s29[label=" RCV / TIMEOUT "]
s29 -> s2[label=" ACK+RST(V,V,0) / TIMEOUT "]
s29 -> s29[label=" CLOSE / TIMEOUT "]
s29 -> s29[label=" SEND / TIMEOUT "]
s29 -> s29[label=" ACK(V,V,0) / TIMEOUT "]
s30 [label="s30"];
s30 -> s21[label=" CLOSECONNECTION / TIMEOUT "]
s30 -> s4[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s30 -> s4[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s30 -> s4[label=" RST(V,V,0) / TIMEOUT "]
s30 -> s30[label=" ACCEPT / TIMEOUT "]
s30 -> s38[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s30 -> s30[label=" LISTEN / TIMEOUT "]
s30 -> s4[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s30 -> s30[label=" RCV / TIMEOUT "]
s30 -> s4[label=" ACK+RST(V,V,0) / TIMEOUT "]
s30 -> s29[label=" CLOSE / TIMEOUT "]
s30 -> s30[label=" SEND / TIMEOUT "]
s30 -> s30[label=" ACK(V,V,0) / TIMEOUT "]
s31 [label="s31"];
s31 -> s31[label=" CLOSECONNECTION / TIMEOUT "]
s31 -> s31[label=" ACK+PSH(V,V,1) / ACK(NEXT,CURRENT,0) "]
s31 -> s31[label=" SYN+ACK(V,V,0) / ACK(NEXT,CURRENT,0) "]
s31 -> s39[label=" RST(V,V,0) / TIMEOUT "]
s31 -> s38[label=" ACCEPT / TIMEOUT "]
s31 -> s31[label=" FIN+ACK(V,V,0) / ACK(NEXT,CURRENT,0) "]
s31 -> s31[label=" LISTEN / TIMEOUT "]
s31 -> s31[label=" SYN(V,V,0) / TIMEOUT "]
s31 -> s31[label=" RCV / TIMEOUT "]
s31 -> s39[label=" ACK+RST(V,V,0) / TIMEOUT "]
s31 -> s37[label=" CLOSE / TIMEOUT "]
s31 -> s31[label=" SEND / TIMEOUT "]
s31 -> s31[label=" ACK(V,V,0) / TIMEOUT "]
s32 [label="s32"];
s32 -> s32[label=" CLOSECONNECTION / TIMEOUT "]
s32 -> s32[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s32 -> s32[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s32 -> s32[label=" RST(V,V,0) / TIMEOUT "]
s32 -> s12[label=" ACCEPT / TIMEOUT "]
s32 -> s32[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s32 -> s32[label=" LISTEN / TIMEOUT "]
s32 -> s40[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s32 -> s32[label=" RCV / TIMEOUT "]
s32 -> s32[label=" ACK+RST(V,V,0) / TIMEOUT "]
s32 -> s2[label=" CLOSE / TIMEOUT "]
s32 -> s32[label=" SEND / TIMEOUT "]
s32 -> s32[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s33 [label="s33"];
s33 -> s7[label=" CLOSECONNECTION / TIMEOUT "]
s33 -> s33[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s33 -> s41[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s33 -> s41[label=" RST(V,V,0) / TIMEOUT "]
s33 -> s33[label=" ACCEPT / TIMEOUT "]
s33 -> s33[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s33 -> s33[label=" LISTEN / TIMEOUT "]
s33 -> s41[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s33 -> s33[label=" RCV / TIMEOUT "]
s33 -> s41[label=" ACK+RST(V,V,0) / TIMEOUT "]
s33 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s33 -> s33[label=" SEND / TIMEOUT "]
s33 -> s33[label=" ACK(V,V,0) / TIMEOUT "]
s34 [label="s34"];
s34 -> s8[label=" CLOSECONNECTION / TIMEOUT "]
s34 -> s34[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s34 -> s41[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s34 -> s41[label=" RST(V,V,0) / TIMEOUT "]
s34 -> s34[label=" ACCEPT / TIMEOUT "]
s34 -> s33[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s34 -> s34[label=" LISTEN / TIMEOUT "]
s34 -> s41[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s34 -> s34[label=" RCV / TIMEOUT "]
s34 -> s41[label=" ACK+RST(V,V,0) / TIMEOUT "]
s34 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s34 -> s34[label=" SEND / TIMEOUT "]
s34 -> s34[label=" ACK(V,V,0) / TIMEOUT "]
s35 [label="s35"];
s35 -> s10[label=" CLOSECONNECTION / TIMEOUT "]
s35 -> s19[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s35 -> s19[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s35 -> s35[label=" RST(V,V,0) / TIMEOUT "]
s35 -> s35[label=" ACCEPT / TIMEOUT "]
s35 -> s19[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s35 -> s35[label=" LISTEN / TIMEOUT "]
s35 -> s35[label=" SYN(V,V,0) / TIMEOUT "]
s35 -> s35[label=" RCV / TIMEOUT "]
s35 -> s35[label=" ACK+RST(V,V,0) / TIMEOUT "]
s35 -> s2[label=" CLOSE / TIMEOUT "]
s35 -> s35[label=" SEND / TIMEOUT "]
s35 -> s19[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s36 [label="s36"];
s36 -> s6[label=" CLOSECONNECTION / TIMEOUT "]
s36 -> s19[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s36 -> s36[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s36 -> s19[label=" RST(V,V,0) / TIMEOUT "]
s36 -> s36[label=" ACCEPT / TIMEOUT "]
s36 -> s19[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s36 -> s36[label=" LISTEN / TIMEOUT "]
s36 -> s28[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s36 -> s36[label=" RCV / TIMEOUT "]
s36 -> s19[label=" ACK+RST(V,V,0) / TIMEOUT "]
s36 -> s5[label=" CLOSE / TIMEOUT "]
s36 -> s36[label=" SEND / TIMEOUT "]
s36 -> s19[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s37 [label="s37"];
s37 -> s37[label=" CLOSECONNECTION / TIMEOUT "]
s37 -> s37[label=" ACK+PSH(V,V,1) / ACK(NEXT,CURRENT,0) "]
s37 -> s37[label=" SYN+ACK(V,V,0) / ACK(NEXT,CURRENT,0) "]
s37 -> s42[label=" RST(V,V,0) / TIMEOUT "]
s37 -> s37[label=" ACCEPT / TIMEOUT "]
s37 -> s37[label=" FIN+ACK(V,V,0) / ACK(NEXT,CURRENT,0) "]
s37 -> s37[label=" LISTEN / TIMEOUT "]
s37 -> s37[label=" SYN(V,V,0) / TIMEOUT "]
s37 -> s37[label=" RCV / TIMEOUT "]
s37 -> s42[label=" ACK+RST(V,V,0) / TIMEOUT "]
s37 -> s37[label=" CLOSE / TIMEOUT "]
s37 -> s37[label=" SEND / TIMEOUT "]
s37 -> s37[label=" ACK(V,V,0) / TIMEOUT "]
s38 [label="s38"];
s38 -> s31[label=" CLOSECONNECTION / TIMEOUT "]
s38 -> s38[label=" ACK+PSH(V,V,1) / ACK(NEXT,CURRENT,0) "]
s38 -> s38[label=" SYN+ACK(V,V,0) / ACK(NEXT,CURRENT,0) "]
s38 -> s43[label=" RST(V,V,0) / TIMEOUT "]
s38 -> s38[label=" ACCEPT / TIMEOUT "]
s38 -> s38[label=" FIN+ACK(V,V,0) / ACK(NEXT,CURRENT,0) "]
s38 -> s38[label=" LISTEN / TIMEOUT "]
s38 -> s38[label=" SYN(V,V,0) / TIMEOUT "]
s38 -> s38[label=" RCV / TIMEOUT "]
s38 -> s43[label=" ACK+RST(V,V,0) / TIMEOUT "]
s38 -> s37[label=" CLOSE / TIMEOUT "]
s38 -> s38[label=" SEND / TIMEOUT "]
s38 -> s38[label=" ACK(V,V,0) / TIMEOUT "]
s39 [label="s39"];
s39 -> s39[label=" CLOSECONNECTION / TIMEOUT "]
s39 -> s39[label=" ACK+PSH(V,V,1) / ACK(FRESH,FRESH,0) "]
s39 -> s39[label=" SYN+ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s39 -> s39[label=" RST(V,V,0) / TIMEOUT "]
s39 -> s43[label=" ACCEPT / TIMEOUT "]
s39 -> s39[label=" FIN+ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s39 -> s39[label=" LISTEN / TIMEOUT "]
s39 -> s3[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s39 -> s39[label=" RCV / TIMEOUT "]
s39 -> s39[label=" ACK+RST(V,V,0) / TIMEOUT "]
s39 -> s42[label=" CLOSE / TIMEOUT "]
s39 -> s39[label=" SEND / TIMEOUT "]
s39 -> s39[label=" ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s40 [label="s40"];
s40 -> s40[label=" CLOSECONNECTION / TIMEOUT "]
s40 -> s32[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s40 -> s44[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s40 -> s32[label=" RST(V,V,0) / TIMEOUT "]
s40 -> s16[label=" ACCEPT / TIMEOUT "]
s40 -> s32[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s40 -> s40[label=" LISTEN / TIMEOUT "]
s40 -> s40[label=" SYN(V,V,0) / TIMEOUT "]
s40 -> s40[label=" RCV / TIMEOUT "]
s40 -> s45[label=" ACK+RST(V,V,0) / TIMEOUT "]
s40 -> s5[label=" CLOSE / TIMEOUT "]
s40 -> s40[label=" SEND / TIMEOUT "]
s40 -> s32[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s41 [label="s41"];
s41 -> s12[label=" CLOSECONNECTION / TIMEOUT "]
s41 -> s41[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s41 -> s41[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s41 -> s41[label=" RST(V,V,0) / TIMEOUT "]
s41 -> s41[label=" ACCEPT / TIMEOUT "]
s41 -> s41[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s41 -> s41[label=" LISTEN / TIMEOUT "]
s41 -> s46[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s41 -> s41[label=" RCV / TIMEOUT "]
s41 -> s41[label=" ACK+RST(V,V,0) / TIMEOUT "]
s41 -> s2[label=" CLOSE / TIMEOUT "]
s41 -> s41[label=" SEND / TIMEOUT "]
s41 -> s41[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s42 [label="s42"];
s42 -> s42[label=" CLOSECONNECTION / TIMEOUT "]
s42 -> s42[label=" ACK+PSH(V,V,1) / ACK(FRESH,FRESH,0) "]
s42 -> s42[label=" SYN+ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s42 -> s42[label=" RST(V,V,0) / TIMEOUT "]
s42 -> s42[label=" ACCEPT / TIMEOUT "]
s42 -> s42[label=" FIN+ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s42 -> s42[label=" LISTEN / TIMEOUT "]
s42 -> s2[label=" SYN(V,V,0) / ACK+RST(ZERO,NEXT,0) "]
s42 -> s42[label=" RCV / TIMEOUT "]
s42 -> s42[label=" ACK+RST(V,V,0) / TIMEOUT "]
s42 -> s42[label=" CLOSE / TIMEOUT "]
s42 -> s42[label=" SEND / TIMEOUT "]
s42 -> s42[label=" ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s43 [label="s43"];
s43 -> s39[label=" CLOSECONNECTION / TIMEOUT "]
s43 -> s43[label=" ACK+PSH(V,V,1) / ACK(FRESH,FRESH,0) "]
s43 -> s43[label=" SYN+ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s43 -> s43[label=" RST(V,V,0) / TIMEOUT "]
s43 -> s43[label=" ACCEPT / TIMEOUT "]
s43 -> s43[label=" FIN+ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s43 -> s43[label=" LISTEN / TIMEOUT "]
s43 -> s9[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s43 -> s43[label=" RCV / TIMEOUT "]
s43 -> s43[label=" ACK+RST(V,V,0) / TIMEOUT "]
s43 -> s42[label=" CLOSE / TIMEOUT "]
s43 -> s43[label=" SEND / TIMEOUT "]
s43 -> s43[label=" ACK(V,V,0) / ACK(FRESH,FRESH,0) "]
s44 [label="s44"];
s44 -> s44[label=" CLOSECONNECTION / TIMEOUT "]
s44 -> s32[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s44 -> s44[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s44 -> s32[label=" RST(V,V,0) / TIMEOUT "]
s44 -> s22[label=" ACCEPT / TIMEOUT "]
s44 -> s32[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s44 -> s44[label=" LISTEN / TIMEOUT "]
s44 -> s40[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s44 -> s44[label=" RCV / TIMEOUT "]
s44 -> s32[label=" ACK+RST(V,V,0) / TIMEOUT "]
s44 -> s5[label=" CLOSE / TIMEOUT "]
s44 -> s44[label=" SEND / TIMEOUT "]
s44 -> s32[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s45 [label="s45"];
s45 -> s45[label=" CLOSECONNECTION / TIMEOUT "]
s45 -> s32[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s45 -> s32[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s45 -> s45[label=" RST(V,V,0) / TIMEOUT "]
s45 -> s25[label=" ACCEPT / TIMEOUT "]
s45 -> s32[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s45 -> s45[label=" LISTEN / TIMEOUT "]
s45 -> s45[label=" SYN(V,V,0) / TIMEOUT "]
s45 -> s45[label=" RCV / TIMEOUT "]
s45 -> s45[label=" ACK+RST(V,V,0) / TIMEOUT "]
s45 -> s2[label=" CLOSE / TIMEOUT "]
s45 -> s45[label=" SEND / TIMEOUT "]
s45 -> s32[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s46 [label="s46"];
s46 -> s16[label=" CLOSECONNECTION / TIMEOUT "]
s46 -> s48[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s46 -> s49[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s46 -> s41[label=" RST(V,V,0) / TIMEOUT "]
s46 -> s46[label=" ACCEPT / TIMEOUT "]
s46 -> s50[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s46 -> s46[label=" LISTEN / TIMEOUT "]
s46 -> s46[label=" SYN(V,V,0) / TIMEOUT "]
s46 -> s46[label=" RCV / TIMEOUT "]
s46 -> s47[label=" ACK+RST(V,V,0) / TIMEOUT "]
s46 -> s5[label=" CLOSE / TIMEOUT "]
s46 -> s46[label=" SEND / TIMEOUT "]
s46 -> s48[label=" ACK(V,V,0) / TIMEOUT "]
s47 [label="s47"];
s47 -> s25[label=" CLOSECONNECTION / TIMEOUT "]
s47 -> s41[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s47 -> s41[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s47 -> s47[label=" RST(V,V,0) / TIMEOUT "]
s47 -> s47[label=" ACCEPT / TIMEOUT "]
s47 -> s41[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s47 -> s47[label=" LISTEN / TIMEOUT "]
s47 -> s47[label=" SYN(V,V,0) / TIMEOUT "]
s47 -> s47[label=" RCV / TIMEOUT "]
s47 -> s47[label=" ACK+RST(V,V,0) / TIMEOUT "]
s47 -> s2[label=" CLOSE / TIMEOUT "]
s47 -> s47[label=" SEND / TIMEOUT "]
s47 -> s41[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s48 [label="s48"];
s48 -> s23[label=" CLOSECONNECTION / TIMEOUT "]
s48 -> s48[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s48 -> s51[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s48 -> s51[label=" RST(V,V,0) / TIMEOUT "]
s48 -> s48[label=" ACCEPT / TIMEOUT "]
s48 -> s50[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s48 -> s48[label=" LISTEN / TIMEOUT "]
s48 -> s51[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s48 -> s48[label=" RCV / TIMEOUT "]
s48 -> s51[label=" ACK+RST(V,V,0) / TIMEOUT "]
s48 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s48 -> s48[label=" SEND / TIMEOUT "]
s48 -> s48[label=" ACK(V,V,0) / TIMEOUT "]
s49 [label="s49"];
s49 -> s22[label=" CLOSECONNECTION / TIMEOUT "]
s49 -> s41[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s49 -> s49[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s49 -> s41[label=" RST(V,V,0) / TIMEOUT "]
s49 -> s49[label=" ACCEPT / TIMEOUT "]
s49 -> s41[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s49 -> s49[label=" LISTEN / TIMEOUT "]
s49 -> s46[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s49 -> s49[label=" RCV / TIMEOUT "]
s49 -> s41[label=" ACK+RST(V,V,0) / TIMEOUT "]
s49 -> s5[label=" CLOSE / TIMEOUT "]
s49 -> s49[label=" SEND / TIMEOUT "]
s49 -> s41[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s50 [label="s50"];
s50 -> s24[label=" CLOSECONNECTION / TIMEOUT "]
s50 -> s50[label=" ACK+PSH(V,V,1) / ACK(NEXT,NEXT,0) "]
s50 -> s51[label=" SYN+ACK(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s50 -> s51[label=" RST(V,V,0) / TIMEOUT "]
s50 -> s50[label=" ACCEPT / TIMEOUT "]
s50 -> s50[label=" FIN+ACK(V,V,0) / ACK(NEXT,NEXT,0) "]
s50 -> s50[label=" LISTEN / TIMEOUT "]
s50 -> s51[label=" SYN(V,V,0) / ACK+RST(NEXT,CURRENT,0) "]
s50 -> s50[label=" RCV / TIMEOUT "]
s50 -> s51[label=" ACK+RST(V,V,0) / TIMEOUT "]
s50 -> s2[label=" CLOSE / ACK+RST(NEXT,CURRENT,0) "]
s50 -> s50[label=" SEND / TIMEOUT "]
s50 -> s50[label=" ACK(V,V,0) / TIMEOUT "]
s51 [label="s51"];
s51 -> s32[label=" CLOSECONNECTION / TIMEOUT "]
s51 -> s51[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s51 -> s51[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s51 -> s51[label=" RST(V,V,0) / TIMEOUT "]
s51 -> s51[label=" ACCEPT / TIMEOUT "]
s51 -> s51[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s51 -> s51[label=" LISTEN / TIMEOUT "]
s51 -> s52[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s51 -> s51[label=" RCV / TIMEOUT "]
s51 -> s51[label=" ACK+RST(V,V,0) / TIMEOUT "]
s51 -> s2[label=" CLOSE / TIMEOUT "]
s51 -> s51[label=" SEND / TIMEOUT "]
s51 -> s51[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s52 [label="s52"];
s52 -> s40[label=" CLOSECONNECTION / TIMEOUT "]
s52 -> s51[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s52 -> s53[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s52 -> s51[label=" RST(V,V,0) / TIMEOUT "]
s52 -> s52[label=" ACCEPT / TIMEOUT "]
s52 -> s51[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s52 -> s52[label=" LISTEN / TIMEOUT "]
s52 -> s52[label=" SYN(V,V,0) / TIMEOUT "]
s52 -> s52[label=" RCV / TIMEOUT "]
s52 -> s54[label=" ACK+RST(V,V,0) / TIMEOUT "]
s52 -> s5[label=" CLOSE / TIMEOUT "]
s52 -> s52[label=" SEND / TIMEOUT "]
s52 -> s51[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s53 [label="s53"];
s53 -> s44[label=" CLOSECONNECTION / TIMEOUT "]
s53 -> s51[label=" ACK+PSH(V,V,1) / RST(NEXT,ZERO,0) "]
s53 -> s53[label=" SYN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s53 -> s51[label=" RST(V,V,0) / TIMEOUT "]
s53 -> s53[label=" ACCEPT / TIMEOUT "]
s53 -> s51[label=" FIN+ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s53 -> s53[label=" LISTEN / TIMEOUT "]
s53 -> s52[label=" SYN(V,V,0) / ACK+SYN(FRESH,NEXT,0) "]
s53 -> s53[label=" RCV / TIMEOUT "]
s53 -> s51[label=" ACK+RST(V,V,0) / TIMEOUT "]
s53 -> s5[label=" CLOSE / TIMEOUT "]
s53 -> s53[label=" SEND / TIMEOUT "]
s53 -> s51[label=" ACK(V,V,0) / RST(NEXT,ZERO,0) "]
s54 [label="s54"];
s54 -> s45[label=" CLOSECONNECTION / TIMEOUT "]
s54 -> s51[label=" ACK+PSH(V,V,1) / RST(ZERO,ZERO,0) "]
s54 -> s51[label=" SYN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s54 -> s54[label=" RST(V,V,0) / TIMEOUT "]
s54 -> s54[label=" ACCEPT / TIMEOUT "]
s54 -> s51[label=" FIN+ACK(V,V,0) / RST(ZERO,ZERO,0) "]
s54 -> s54[label=" LISTEN / TIMEOUT "]
s54 -> s54[label=" SYN(V,V,0) / TIMEOUT "]
s54 -> s54[label=" RCV / TIMEOUT "]
s54 -> s54[label=" ACK+RST(V,V,0) / TIMEOUT "]
s54 -> s2[label=" CLOSE / TIMEOUT "]
s54 -> s54[label=" SEND / TIMEOUT "]
s54 -> s51[label=" ACK(V,V,0) / RST(ZERO,ZERO,0) "]
}
"#;

#[allow(unused)]
Bharat's avatar
Bharat committed
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
pub const OPENSSH: &str = r#"
digraph G {
label=""
s0
s1
s2
s3
s4
s5
s6
s7
s8
s9
s10
s11
s12
s13
s14
s15
s16
s17
s18
s19
s20
s21
s22
s23
s24
s25
s26
s27
s28
s29
s30
s0 [label="s0"];
s0 -> s2[label="DISCONNECT / KEXINIT "]
s0 -> s3[label="KEXINIT / KEXINIT "]
s0 -> s3[label="SERVICE_REQUEST_AUTH / KEXINIT "]
s0 -> s0[label="CH_WINDOW_ADJUST / CH_NONE "]
s0 -> s3[label="DEBUG / KEXINIT "]
s0 -> s2[label="UA_PK_OK / KEXINIT+DISCONNECT "]
s0 -> s3[label="SERVICE_REQUEST_CONN / KEXINIT "]
s0 -> s2[label="UA_NONE / KEXINIT+DISCONNECT "]
s0 -> s0[label="CH_EXTENDED_DATA / CH_NONE "]
s0 -> s2[label="NEWKEYS / KEXINIT "]
s0 -> s2[label="UA_PK_NOK / KEXINIT+DISCONNECT "]
s0 -> s4[label="CH_OPEN / KEXINIT+DISCONNECT "]
s0 -> s0[label="CH_CLOSE / CH_NONE "]
s0 -> s0[label="CH_REQUEST_PTY / CH_NONE "]
s0 -> s3[label="KEX30 / KEXINIT "]
s0 -> s3[label="IGNORE / KEXINIT "]
s0 -> s0[label="CH_EOF / CH_NONE "]
s0 -> s0[label="CH_DATA / CH_NONE "]
s0 -> s3[label="UNIMPLEMENTED / KEXINIT "]
s0 -> s2[label="UA_PW_OK / KEXINIT+DISCONNECT "]
s0 -> s2[label="UA_PW_NOK / KEXINIT+DISCONNECT "]
s0 -> s1[label="REKEY / KEXINIT|KEX31+NEWKEYS|NO_RESP "]
s1 [label="s1"];
s1 -> s2[label="DISCONNECT / NO_CONN "]
s1 -> s1[label="KEXINIT / UNIMPLEMENTED "]
s1 -> s5[label="SERVICE_REQUEST_AUTH / SERVICE_ACCEPT "]
s1 -> s1[label="CH_WINDOW_ADJUST / CH_NONE "]
s1 -> s1[label="DEBUG / NO_RESP "]
s1 -> s1[label="UA_PK_OK / UNIMPLEMENTED "]
s1 -> s2[label="SERVICE_REQUEST_CONN / DISCONNECT "]
s1 -> s1[label="UA_NONE / UNIMPLEMENTED "]
s1 -> s1[label="CH_EXTENDED_DATA / CH_NONE "]
s1 -> s2[label="NEWKEYS / NO_CONN "]
s1 -> s1[label="UA_PK_NOK / UNIMPLEMENTED "]
s1 -> s6[label="CH_OPEN / UNIMPLEMENTED "]
s1 -> s1[label="CH_CLOSE / CH_NONE "]
s1 -> s1[label="CH_REQUEST_PTY / CH_NONE "]
s1 -> s1[label="KEX30 / UNIMPLEMENTED "]
s1 -> s1[label="IGNORE / NO_RESP "]
s1 -> s1[label="CH_EOF / CH_NONE "]
s1 -> s1[label="CH_DATA / CH_NONE "]
s1 -> s1[label="UNIMPLEMENTED / NO_RESP "]
s1 -> s1[label="UA_PW_OK / UNIMPLEMENTED "]
s1 -> s1[label="UA_PW_NOK / UNIMPLEMENTED "]
s1 -> s2[label="REKEY / UNIMPLEMENTED|UNIMPLEMENTED|NO_CONN "]
s2 [label="s2"];
s2 -> s2[label="DISCONNECT / NO_CONN "]
s2 -> s2[label="KEXINIT / NO_CONN "]
s2 -> s2[label="SERVICE_REQUEST_AUTH / NO_CONN "]
s2 -> s2[label="CH_WINDOW_ADJUST / CH_NONE "]
s2 -> s2[label="DEBUG / NO_CONN "]
s2 -> s2[label="UA_PK_OK / NO_CONN "]
s2 -> s2[label="SERVICE_REQUEST_CONN / NO_CONN "]
s2 -> s2[label="UA_NONE / NO_CONN "]
s2 -> s2[label="CH_EXTENDED_DATA / CH_NONE "]
s2 -> s2[label="NEWKEYS / NO_CONN "]
s2 -> s2[label="UA_PK_NOK / NO_CONN "]
s2 -> s4[label="CH_OPEN / NO_CONN "]
s2 -> s2[label="CH_CLOSE / CH_NONE "]
s2 -> s2[label="CH_REQUEST_PTY / CH_NONE "]
s2 -> s2[label="KEX30 / NO_CONN "]
s2 -> s2[label="IGNORE / NO_CONN "]
s2 -> s2[label="CH_EOF / CH_NONE "]
s2 -> s2[label="CH_DATA / CH_NONE "]
s2 -> s2[label="UNIMPLEMENTED / NO_CONN "]
s2 -> s2[label="UA_PW_OK / NO_CONN "]
s2 -> s2[label="UA_PW_NOK / NO_CONN "]
s2 -> s2[label="REKEY / NO_CONN|NO_CONN|NO_CONN "]
s3 [label="s3"];
s3 -> s2[label="DISCONNECT / NO_CONN "]
s3 -> s2[label="KEXINIT / DISCONNECT "]
s3 -> s2[label="SERVICE_REQUEST_AUTH / DISCONNECT "]
s3 -> s3[label="CH_WINDOW_ADJUST / CH_NONE "]
s3 -> s3[label="DEBUG / NO_RESP "]
s3 -> s2[label="UA_PK_OK / DISCONNECT "]
s3 -> s2[label="SERVICE_REQUEST_CONN / DISCONNECT "]
s3 -> s2[label="UA_NONE / DISCONNECT "]
s3 -> s3[label="CH_EXTENDED_DATA / CH_NONE "]
s3 -> s2[label="NEWKEYS / NO_CONN "]
s3 -> s2[label="UA_PK_NOK / DISCONNECT "]
s3 -> s4[label="CH_OPEN / DISCONNECT "]
s3 -> s3[label="CH_CLOSE / CH_NONE "]
s3 -> s3[label="CH_REQUEST_PTY / CH_NONE "]
s3 -> s7[label="KEX30 / KEX31+NEWKEYS "]
s3 -> s3[label="IGNORE / NO_RESP "]
s3 -> s3[label="CH_EOF / CH_NONE "]
s3 -> s3[label="CH_DATA / CH_NONE "]
s3 -> s3[label="UNIMPLEMENTED / NO_RESP "]
s3 -> s2[label="UA_PW_OK / DISCONNECT "]
s3 -> s2[label="UA_PW_NOK / DISCONNECT "]
s3 -> s2[label="REKEY / DISCONNECT|NO_CONN|NO_CONN "]
s4 [label="s4"];
s4 -> s4[label="DISCONNECT / NO_CONN "]
s4 -> s4[label="KEXINIT / NO_CONN "]
s4 -> s4[label="SERVICE_REQUEST_AUTH / NO_CONN "]
s4 -> s4[label="CH_WINDOW_ADJUST / NO_CONN "]
s4 -> s4[label="DEBUG / NO_CONN "]
s4 -> s4[label="UA_PK_OK / NO_CONN "]
s4 -> s4[label="SERVICE_REQUEST_CONN / NO_CONN "]
s4 -> s4[label="UA_NONE / NO_CONN "]
s4 -> s4[label="CH_EXTENDED_DATA / NO_CONN "]
s4 -> s4[label="NEWKEYS / NO_CONN "]
s4 -> s4[label="UA_PK_NOK / NO_CONN "]
s4 -> s4[label="CH_OPEN / CH_MAX "]
s4 -> s2[label="CH_CLOSE / NO_CONN "]
s4 -> s4[label="CH_REQUEST_PTY / NO_CONN "]
s4 -> s4[label="KEX30 / NO_CONN "]
s4 -> s4[label="IGNORE / NO_CONN "]
s4 -> s4[label="CH_EOF / NO_CONN "]
s4 -> s4[label="CH_DATA / NO_CONN "]
s4 -> s4[label="UNIMPLEMENTED / NO_CONN "]
s4 -> s4[label="UA_PW_OK / NO_CONN "]
s4 -> s4[label="UA_PW_NOK / NO_CONN "]
s4 -> s4[label="REKEY / NO_CONN|NO_CONN|NO_CONN "]
s5 [label="s5"];
s5 -> s2[label="DISCONNECT / NO_CONN "]
s5 -> s5[label="KEXINIT / UNIMPLEMENTED "]
s5 -> s5[label="SERVICE_REQUEST_AUTH / SERVICE_ACCEPT "]
s5 -> s5[label="CH_WINDOW_ADJUST / CH_NONE "]
s5 -> s5[label="DEBUG / NO_RESP "]
s5 -> s8[label="UA_PK_OK / UA_SUCCESS "]
s5 -> s2[label="SERVICE_REQUEST_CONN / DISCONNECT "]
s5 -> s10[label="UA_NONE / UA_FAILURE "]
s5 -> s5[label="CH_EXTENDED_DATA / CH_NONE "]
s5 -> s2[label="NEWKEYS / NO_CONN "]
s5 -> s11[label="UA_PK_NOK / UA_FAILURE "]
s5 -> s12[label="CH_OPEN / UNIMPLEMENTED "]
s5 -> s5[label="CH_CLOSE / CH_NONE "]
s5 -> s5[label="CH_REQUEST_PTY / CH_NONE "]
s5 -> s5[label="KEX30 / UNIMPLEMENTED "]
s5 -> s5[label="IGNORE / NO_RESP "]
For faster browsing, not all history is shown. View entire blame