Rule 7: demo



Preview:

[Full Size] [dot] [eps] [pdf]


Informations
PropertyValue
States 22
Transitions 23
Static env size 8
Dynamic env size 1
Source rules/demo-rule.rule:10


State list
ID Name Line Trans. Action code
0 init 11 1 No action.
1 before_7_start 16 1 No action.
2 event_0_start 21 1 No action.
3 event_0_end 27 1 No action.
4 repeat_6_start 32 1 
0000: 04 01    | pushstatic [1]
0002: 03 00    | pop [0]
0004: 00       | end
5 repeat_6_loop 38 2 No action.
6 repeat_6_begin 45 1 No action.
7 oneamong_5_start 49 2 No action.
8 oneamong_5_start_1 55 1 No action.
9 event_1_start 59 1 No action.
10 event_1_end 65 1 No action.
11 oneamong_5_start_2 70 1 No action.
12 after_4_start 74 1 No action.
13 event_3_start 79 1 No action.
14 event_3_end 85 1 No action.
15 event_2_start 90 1 No action.
16 event_2_end 96 1 No action.
17 after_4_end 101 1 No action.
18 oneamong_5_end 106 1 
0000: 02 00    | push [0]
0002: 04 07    | pushstatic [7]
0004: 0a       | add
0005: 03 00    | pop [0]
0007: 00       | end
19 repeat_6_end 113 1 No action.
20 before_7_end 118 1 No action.


Transision list
ID Src Dst Evaluation bytecode
0 init (0) before_7_start (1) No evaluation code.
1 before_7_start (1) event_0_start (2) No evaluation code.
2 event_0_start (2) event_0_end (3) 
0000: 05 3b    | pushfield [59]
0002: 04 00    | pushstatic [0]
0004: 1f       | ceq
0005: 00       | end
3 event_0_end (3) repeat_6_start (4) No evaluation code.
4 repeat_6_start (4) repeat_6_loop (5) No evaluation code.
5 repeat_6_loop (5) repeat_6_end (19) 
0000: 02 00    | push [0]
0002: 04 02    | pushstatic [2]
0004: 26       | cge
0005: 00       | end
6 repeat_6_loop (5) repeat_6_begin (6) 
0000: 02 00    | push [0]
0002: 04 03    | pushstatic [3]
0004: 23       | clt
0005: 00       | end
7 repeat_6_begin (6) oneamong_5_start (7) No evaluation code.
8 oneamong_5_start (7) oneamong_5_start_1 (8) No evaluation code.
9 oneamong_5_start (7) oneamong_5_start_2 (11) No evaluation code.
10 oneamong_5_start_1 (8) event_1_start (9) No evaluation code.
11 event_1_start (9) event_1_end (10) 
0000: 05 3b    | pushfield [59]
0002: 04 04    | pushstatic [4]
0004: 1f       | ceq
0005: 00       | end
12 event_1_end (10) oneamong_5_end (18) No evaluation code.
13 oneamong_5_start_2 (11) after_4_start (12) No evaluation code.
14 after_4_start (12) event_3_start (13) No evaluation code.
15 event_3_start (13) event_3_end (14) 
0000: 05 3b    | pushfield [59]
0002: 04 05    | pushstatic [5]
0004: 1f       | ceq
0005: 00       | end
16 event_3_end (14) event_2_start (15) No evaluation code.
17 event_2_start (15) event_2_end (16) 
0000: 05 3b    | pushfield [59]
0002: 04 06    | pushstatic [6]
0004: 1f       | ceq
0005: 00       | end
18 event_2_end (16) after_4_end (17) No evaluation code.
19 after_4_end (17) oneamong_5_end (18) No evaluation code.
20 oneamong_5_end (18) repeat_6_loop (5) No evaluation code.
21 repeat_6_end (19) before_7_end (20) No evaluation code.
22 before_7_end (20) end (0) No evaluation code.


Static environment
ID Type Value
0 str ptrace
1 int 0
2 int 3
3 int 3
4 str poketext
5 str modprobe
6 str getregs
7 int 1


Dynamic environment
ID Variable name
0 $repeat_6_count


Synchronization environment
ID Dyn Var ID Variable name



Generated by Orchids. Thu Nov 10 19:00:12 2005