| State list |
| ID | Name | Line | Trans. | Action code |
| 0 | init | 6 | 1 | No action. |
| 1 | discover | 11 | 2 | 0000: 05 b9 | pushfield [185]
0002: 03 00 | pop [0]
0004: 04 01 | pushstatic [1]
0006: 09 01 | call [1]
0008: 00 | end
|
| 2 | alert_offer | 23 | 0 | 0000: 04 04 | pushstatic [4]
0002: 09 01 | call [1]
0004: 09 07 | call [7]
0006: 00 | end
|
| 3 | offer | 28 | 3 | 0000: 05 b8 | pushfield [184]
0002: 03 01 | pop [1]
0004: 04 05 | pushstatic [5]
0006: 09 10 | call [16]
0008: 00 | end
|
| 4 | alert_request | 45 | 0 | 0000: 04 0a | pushstatic [10]
0002: 09 01 | call [1]
0004: 09 07 | call [7]
0006: 00 | end
|
| 5 | request | 50 | 6 | 0000: 04 0b | pushstatic [11]
0002: 09 10 | call [16]
0004: 00 | end
|
| 6 | alert_client_request | 78 | 0 | 0000: 04 13 | pushstatic [19]
0002: 09 01 | call [1]
0004: 09 07 | call [7]
0006: 00 | end
|
| 7 | alert_ack | 83 | 0 | 0000: 04 14 | pushstatic [20]
0002: 09 01 | call [1]
0004: 09 07 | call [7]
0006: 00 | end
|
| 8 | alert_bad_ip | 88 | 0 | 0000: 04 15 | pushstatic [21]
0002: 09 01 | call [1]
0004: 09 07 | call [7]
0006: 00 | end
|
| Transision list |
| ID | Src | Dst | Evaluation bytecode |
| 0 | init (0) | discover (1) | 0000: 05 b7 | pushfield [183]
0002: 04 00 | pushstatic [0]
0004: 1f | ceq
0005: 00 | end
|
| 1 | discover (1) | offer (3) | 0000: 05 b7 | pushfield [183]
0002: 04 02 | pushstatic [2]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 00 | end
|
| 2 | discover (1) | alert_offer (2) | 0000: 05 b7 | pushfield [183]
0002: 04 03 | pushstatic [3]
0004: 20 | cneq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 00 | end
|
| 3 | offer (3) | request (5) | 0000: 05 b7 | pushfield [183]
0002: 04 06 | pushstatic [6]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 05 b8 | pushfield [184]
000c: 02 01 | push [1]
000e: 1f | ceq
000f: 00 | end
|
| 4 | offer (3) | release (0) | 0000: 05 b7 | pushfield [183]
0002: 04 07 | pushstatic [7]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 00 | end
|
| 5 | offer (3) | alert_request (4) | 0000: 05 b7 | pushfield [183]
0002: 04 08 | pushstatic [8]
0004: 20 | cneq
0005: 05 b7 | pushfield [183]
0007: 04 09 | pushstatic [9]
0009: 20 | cneq
000a: 05 b9 | pushfield [185]
000c: 02 00 | push [0]
000e: 1f | ceq
000f: 00 | end
|
| 6 | request (5) | offer (3) | 0000: 05 b7 | pushfield [183]
0002: 04 0c | pushstatic [12]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 05 b8 | pushfield [184]
000c: 02 01 | push [1]
000e: 1f | ceq
000f: 00 | end
|
| 7 | request (5) | request (5) | 0000: 05 b7 | pushfield [183]
0002: 04 0d | pushstatic [13]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 05 b8 | pushfield [184]
000c: 02 01 | push [1]
000e: 1f | ceq
000f: 00 | end
|
| 8 | request (5) | alert_client_request (6) | 0000: 05 b7 | pushfield [183]
0002: 04 0e | pushstatic [14]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 05 b8 | pushfield [184]
000c: 02 01 | push [1]
000e: 20 | cneq
000f: 00 | end
|
| 9 | request (5) | release (0) | 0000: 05 b7 | pushfield [183]
0002: 04 0f | pushstatic [15]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 00 | end
|
| 10 | request (5) | alert_ack (7) | 0000: 05 b7 | pushfield [183]
0002: 04 10 | pushstatic [16]
0004: 20 | cneq
0005: 05 b7 | pushfield [183]
0007: 04 11 | pushstatic [17]
0009: 20 | cneq
000a: 05 b9 | pushfield [185]
000c: 02 00 | push [0]
000e: 1f | ceq
000f: 00 | end
|
| 11 | request (5) | alert_bad_ip (8) | 0000: 05 b7 | pushfield [183]
0002: 04 12 | pushstatic [18]
0004: 1f | ceq
0005: 05 b9 | pushfield [185]
0007: 02 00 | push [0]
0009: 1f | ceq
000a: 05 b8 | pushfield [184]
000c: 02 01 | push [1]
000e: 20 | cneq
000f: 00 | end
|
