added support for \0 in strings
[swftools.git] / lib / as3 / code.c
1 /* code.c
2
3    Routines for handling Flash2 AVM2 ABC Actionscript
4
5    Extension module for the rfxswf library.
6    Part of the swftools package.
7
8    Copyright (c) 2008 Matthias Kramm <kramm@quiss.org>
9  
10    This program is free software; you can redistribute it and/or modify
11    it under the terms of the GNU General Public License as published by
12    the Free Software Foundation; either version 2 of the License, or
13    (at your option) any later version.
14
15    This program is distributed in the hope that it will be useful,
16    but WITHOUT ANY WARRANTY; without even the implied warranty of
17    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18    GNU General Public License for more details.
19
20    You should have received a copy of the GNU General Public License
21    along with this program; if not, write to the Free Software
22    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */
23
24 #include <assert.h>
25 #include "code.h"
26 #include "pool.h"
27
28 #define OP_REGISTER 1
29 #define OP_STACK_ARGS 2
30 #define OP_STACK_NS 4
31 #define OP_SET_DXNS 8
32 #define OP_RETURN 16
33 #define OP_THROW 32
34 #define OP_BRANCH 64
35 #define OP_JUMP 128
36 #define OP_LABEL 256
37 #define OP_LOOKUPSWITCH 512
38 #define OP_NEED_ACTIVATION 1024
39 #define OP_STACK_ARGS2 2048
40
41 /* 2 = u30 index into multiname
42    m = u30 index into method
43    n = u30 number of params
44    i = u30 index into method info
45    b = byte
46    c = u30 index into class
47    s = string (u30 index into strings)
48    S = switch
49    u = u30
50    r = register
51 */
52
53 opcode_t opcodes[]={
54 {0xa0, "add", "",              -2, 1, 0, 0},
55 {0xc5, "add_i", "",            -2, 1, 0, 0},
56 {0x86, "astype", "2",          -1, 1, 0, 0},
57 {0x87, "astypelate", "",       -2, 1, 0, 0},
58 {0xA8, "bitand", "",           -2, 1, 0, 0},
59 {0x97, "bitnot", "",           -1, 1, 0, 0},
60 {0xa9, "bitor", "",            -2, 1, 0, 0},
61 {0xaa, "bitxor", "",           -2, 1, 0, 0},
62 {0x41, "call", "n",            -2, 1, 0, OP_STACK_ARGS},
63 {0x43, "callmethod", "mn",     -1, 1, 0, OP_STACK_ARGS},
64 {0x4c, "callproplex", "2n",    -1, 1, 0, OP_STACK_ARGS|OP_STACK_NS},
65 {0x46, "callproperty", "2n",   -1, 1, 0, OP_STACK_ARGS|OP_STACK_NS},
66 {0x4f, "callpropvoid", "2n",   -1, 0, 0, OP_STACK_ARGS|OP_STACK_NS},
67 {0x44, "callstatic", "in",     -1, 1, 0, OP_STACK_ARGS},
68 {0x45, "callsuper", "2n",      -1, 1, 0, OP_STACK_ARGS|OP_STACK_NS},
69 {0x4e, "callsupervoid", "2n",  -1, 0, 0, OP_STACK_ARGS|OP_STACK_NS},
70 {0x78, "checkfilter", "",      -1, 1, 0, 0},
71 {0x80, "coerce", "2",          -1, 1, 0, 0},
72 {0x82, "coerce_a", "",         -1, 1, 0, 0},
73 {0x85, "coerce_s", "",         -1, 1, 0, 0},
74 {0x42, "construct", "n",       -1, 1, 0, OP_STACK_ARGS},
75 {0x4a, "constructprop", "2n",  -1, 1, 0, OP_STACK_ARGS|OP_STACK_NS},
76 {0x49, "constructsuper", "n",  -1, 0, 0, OP_STACK_ARGS},
77 {0x76, "convert_b", "",        -1, 1, 0, 0},
78 {0x73, "convert_i", "",        -1, 1, 0, 0},
79 {0x75, "convert_d", "",        -1, 1, 0, 0},
80 {0x77, "convert_o", "",        -1, 1, 0, 0},
81 {0x74, "convert_u", "",        -1, 1, 0, 0},
82 {0x70, "convert_s", "",        -1, 1, 0, 0},
83 {0xef, "debug", "D",            0, 0, 0, 0},
84 {0xf1, "debugfile", "s",        0, 0, 0, 0},
85 {0xf0, "debugline", "u",        0, 0, 0, 0},
86 {0x94, "declocal", "r",         0, 0, 0, OP_REGISTER},
87 {0xc3, "declocal_i", "r",       0, 0, 0, OP_REGISTER},
88 {0x93, "decrement", "",        -1, 1, 0, 0}, 
89 {0xc1, "decrement_i", "",      -1, 1, 0, 0},
90 {0x6a, "deleteproperty", "2",  -1, 1, 0, OP_STACK_NS},
91 {0xa3, "divide", "",           -2, 1, 0, 0},
92 {0x2a, "dup", "",              -1, 2, 0, 0},
93 {0x06, "dxns", "s",             0, 0, 0, OP_SET_DXNS},
94 {0x07, "dxnslate", "",         -1, 0, 0, OP_SET_DXNS},
95 {0xab, "equals", "",           -2, 1, 0, 0},
96 {0x72, "esc_xattr", "",        -1, 1, 0, 0},
97 {0x71, "esc_xelem", "",        -1, 1, 0, 0},
98 {0x5e, "findproperty", "2",     0, 1, 0, OP_STACK_NS},
99 {0x5d, "findpropstrict", "2",   0, 1, 0, OP_STACK_NS},
100 {0x59, "getdescendants", "2",  -1, 1, 0, OP_STACK_NS},
101 {0x64, "getglobalscope", "",    0, 1, 0, 0},
102 {0x6e, "getglobalslot", "u",    0, 1, 0, 0},
103 {0x60, "getlex", "2",           0, 1, 0, 0}, //multiname may not be runtime
104 {0x62, "getlocal", "r",         0, 1, 0, OP_REGISTER},
105 {0xd0, "getlocal_0", "",        0, 1, 0, OP_REGISTER},
106 {0xd1, "getlocal_1", "",        0, 1, 0, OP_REGISTER},
107 {0xd2, "getlocal_2", "",        0, 1, 0, OP_REGISTER},
108 {0xd3, "getlocal_3", "",        0, 1, 0, OP_REGISTER},
109 {0x66, "getproperty", "2",     -1, 1, 0, OP_STACK_NS},
110 {0x65, "getscopeobject", "u",   0, 1, 0, 0}, // u = index into scope stack
111 {0x6c, "getslot", "u",         -1, 1, 0, 0},
112 {0x04, "getsuper", "2",        -1, 1, 0, OP_STACK_NS},
113 {0xaf, "greaterthan", "",      -2, 1, 0, 0},
114 {0xb0, "greaterequals", "",    -2, 1, 0, 0},
115 {0x1f, "hasnext", "",          -2, 1, 0, 0},
116 {0x32, "hasnext2", "rr",        0, 1, 0, OP_REGISTER},
117 {0x13, "ifeq", "j",            -2, 0, 0, OP_BRANCH},
118 {0x12, "iffalse", "j",         -1, 0, 0, OP_BRANCH},
119 {0x18, "ifge", "j",            -2, 0, 0, OP_BRANCH},
120 {0x17, "ifgt", "j",            -2, 0, 0, OP_BRANCH},
121 {0x16, "ifle", "j",            -2, 0, 0, OP_BRANCH},
122 {0x15, "iflt", "j",            -2, 0, 0, OP_BRANCH},
123 {0x0f, "ifnge", "j",           -2, 0, 0, OP_BRANCH},
124 {0x0e, "ifngt", "j",           -2, 0, 0, OP_BRANCH},
125 {0x0d, "ifnle", "j",           -2, 0, 0, OP_BRANCH},
126 {0x0c, "ifnlt", "j",           -2, 0, 0, OP_BRANCH},
127 {0x14, "ifne", "j",            -2, 0, 0, OP_BRANCH},
128 {0x19, "ifstricteq", "j",      -2, 0, 0, OP_BRANCH},
129 {0x1a, "ifstrictne", "j",      -2, 0, 0, OP_BRANCH},
130 {0x11, "iftrue", "j",          -1, 0, 0, OP_BRANCH},
131 {0xb4, "in", "",               -2, 1, 0, 0},
132 {0x92, "inclocal", "r",         0, 0, 0, OP_REGISTER},
133 {0xc2, "inclocal_i", "r",       0, 0, 0, OP_REGISTER},
134 {0x91, "increment", "",        -1, 1, 0, 0},
135 {0xc0, "increment_i", "",      -1, 1, 0, 0},
136 {0x68, "initproperty", "2",    -2, 0, 0, OP_STACK_NS},
137 {0xb1, "instanceof", "",       -2, 1, 0, 0},
138 {0xb2, "istype", "2",          -1, 1, 0, 0}, // may not be a runtime multiname
139 {0xb3, "istypelate", "",       -2, 1, 0, 0},
140 {0x10, "jump", "j",             0, 0, 0, OP_JUMP},
141 {0x08, "kill", "r",             0, 0, 0, OP_REGISTER},
142 {0x09, "label", "",             0, 0, 0, OP_LABEL},
143 {0xae, "lessequals", "",       -2, 1, 0, 0},
144 {0xad, "lessthan", "",         -2, 1, 0, 0},
145 {0x1b, "lookupswitch", "S",    -1, 0, 0, OP_LOOKUPSWITCH},
146 {0xa5, "lshift", "",           -2, 1, 0, 0},
147 {0xa4, "modulo", "",           -2, 1, 0, 0},
148 {0xa2, "multiply", "",         -2, 1, 0, 0},
149 {0xc7, "multiply_i", "",       -2, 1, 0, 0},
150 {0x90, "negate", "",           -1, 1, 0, 0},
151 {0xc4, "negate_i", "",         -1, 1, 0, 0},
152 {0x57, "newactivation", "",     0, 1, 0, OP_NEED_ACTIVATION},
153 {0x56, "newarray", "n",         0, 1, 0, OP_STACK_ARGS},
154 {0x5a, "newcatch", "u",         0, 1, 0, 0}, //u = index into exception_info
155 #define OP_NEWCLASS 0x58
156 {0x58, "newclass", "c",        -1, 1, 0, 0}, //c = index into class_info
157 #define OP_NEWFUNCTION 0x40
158 {0x40, "newfunction", "m",      0, 1, 0, 0}, //i = index into method_info
159 {0x55, "newobject", "n",        0, 1, 0, OP_STACK_ARGS2},
160 {0x1e, "nextname", "",         -2, 1, 0, 0},
161 {0x23, "nextvalue", "",        -2, 1, 0, 0},
162 {0x02, "nop", "",               0, 0, 0, 0},
163 {0x96, "not", "",              -1, 1, 0 ,0},
164 {0x29, "pop", "",              -1, 0, 0, 0},
165 {0x1d, "popscope", "",          0, 0,-1, 0},
166 {0x24, "pushbyte", "b",         0, 1, 0, 0},
167 {0x2f, "pushdouble", "f",       0, 1, 0, 0}, //index into floats
168 {0x27, "pushfalse", "",         0, 1, 0, 0},
169 {0x2d, "pushint", "I",          0, 1, 0, 0}, //index into ints
170 {0x31, "pushnamespace", "u",    0, 1, 0, 0}, //index into namespace TODO
171 {0x28, "pushnan", "",           0, 1, 0, 0},
172 {0x20, "pushnull", "",          0, 1, 0, 0},
173 {0x30, "pushscope", "",        -1, 0, 1, 0},
174 {0x25, "pushshort", "u",        0, 1, 0, 0},
175 {0x2c, "pushstring", "s",       0, 1, 0, 0},
176 {0x26, "pushtrue", "",          0, 1, 0, 0},
177 {0x2e, "pushuint", "U",         0, 1, 0, 0}, //index into uints
178 {0x21, "pushundefined", "",     0, 1, 0, 0},
179 {0x1c, "pushwith", "",         -1, 0, 1, 0},
180 {0x48, "returnvalue", "",      -1, 0, 0, OP_RETURN},
181 {0x47, "returnvoid", "",        0, 0, 0, OP_RETURN},
182 {0xa6, "rshift", "",           -2, 1, 0, 0},
183 {0x63, "setlocal", "r",        -1, 0, 0, OP_REGISTER},
184 {0xd4, "setlocal_0", "",       -1, 0, 0, OP_REGISTER},
185 {0xd5, "setlocal_1", "",       -1, 0, 0, OP_REGISTER},
186 {0xd6, "setlocal_2", "",       -1, 0, 0, OP_REGISTER},
187 {0xd7, "setlocal_3", "",       -1, 0, 0, OP_REGISTER},
188 {0x6f, "setglobalslot", "u",   -1, 0, 0, 0},
189 {0x61, "setproperty", "2",     -2, 0, 0, OP_STACK_NS},
190 {0x6d, "setslot", "u",         -2, 0, 0, 0},
191 {0x05, "setsuper", "2",        -2, 0, 0, OP_STACK_NS},
192 {0xac, "strictequals", "",     -2, 1, 0, 0},
193 {0xa1, "subtract", "",         -2, 1, 0, 0},
194 {0xc6, "subtract_i", "",       -2, 1, 0, 0},
195 {0x2b, "swap", "",             -2, 2, 0, 0},
196 {0x03, "throw", "",            -1, 0, 0, OP_THROW},
197 {0x95, "typeof", "",           -1, 1, 0, 0},
198 {0xa7, "urshift", "",          -2, 1, 0, 0},
199
200 /* dummy instruction. Warning: this one are not actually supported by flash */
201 {0xff, "__break__", "",             0, 0, 0, OP_RETURN},
202 };
203
204 static U8 op2index[256] = {254};
205
206 opcode_t* opcode_get(U8 op)
207 {
208     int t;
209     if(op2index[0]==254) {
210         memset(op2index, 255, sizeof(op2index));
211         for(t=0;t<sizeof(opcodes)/sizeof(opcodes[0]);t++) {
212             op2index[opcodes[t].opcode] = t;
213         }
214     }
215     if(op2index[op]!=255)
216         return &opcodes[op2index[op]];
217     return 0;
218 }
219
220 static code_t*pos2code(code_t**bytepos, code_t*c, int pos, int len)
221 {
222     if(c) {
223         pos+=c->pos;
224     }
225     if(pos < 0 ||
226        pos > len ||
227       (pos!=len && !bytepos[pos])) {
228         /* flex likes to generate these. yuck. */
229         if(c) {
230             opcode_t*op = opcode_get(c->opcode);
231             fprintf(stderr, "Warning: Invalid jump instruction \"%s\" from %d to %d (%d)\n", op->name, c->pos, pos, len);
232         } else {
233             fprintf(stderr, "Warning: Invalid jump to %d (%d)\n", pos, len);
234         }
235         return 0;
236     } else {
237         if(pos==len) {
238             //opcode_t*op = opcode_get(c->opcode);
239             //fprintf(stderr, "Warning: jump beyond end of code in instruction %s at position %d\n", op->name, c->pos);
240             return 0;
241         } else {
242             return bytepos[pos];
243         }
244     }
245 }
246 code_t* code_atposition(codelookup_t*l, int pos)
247 {
248     return pos2code(l->bytepos, 0, pos, l->len);
249 }
250
251 void lookupswitch_print(lookupswitch_t*l)
252 {
253     printf("default: %08x\n", l->def);
254     code_list_t*t = l->targets;
255     while(t) {
256         printf("target: %08x\n", t->code);
257         t = t->next;
258     }
259 }
260
261 code_t*code_parse(TAG*tag, int len, abc_file_t*file, pool_t*pool, codelookup_t**codelookup)
262 {
263     code_t*head=0;
264     code_t*code=0;
265     int start=tag->pos;
266     int end=tag->pos+len;
267     //printf("-->\n");fflush(stdout);
268
269     code_t**bytepos = rfx_calloc(sizeof(code_t*)*len);
270         
271     while(tag->pos<end) {
272         int codepos = tag->pos-start;
273         U8 opcode = swf_GetU8(tag);
274         opcode_t*op = opcode_get(opcode);
275         if(!op) {
276             fprintf(stderr, "Can't parse opcode %02x\n", opcode);
277             return head;
278         }
279         //printf("%s\n", op->name);fflush(stdout);
280         NEW(code_t,c);
281         c->pos = codepos;
282
283         bytepos[codepos] = c;
284
285         if(!head) {
286             head = code = c;
287         } else {
288             code->next = c;
289             code = c;
290         }
291
292         c->opcode = opcode;
293
294         char*p = op->params;
295         int pos = 0;
296         while(*p) {
297             void*data = 0;
298             if(*p == 'n') { // number
299                 data = (void*)(ptroff_t)swf_GetU30(tag);
300             } else if(*p == '2') { //multiname
301                 data = multiname_clone(pool_lookup_multiname(pool, swf_GetU30(tag)));
302             } else if(*p == 'U') { //uint
303                 data = (void*)(ptroff_t)pool_lookup_uint(pool, swf_GetU30(tag));
304             } else if(*p == 'I') { //int
305                 data = (void*)(ptroff_t)pool_lookup_int(pool, swf_GetU30(tag));
306             } else if(*p == 'f') { //int
307                 double*fp = malloc(sizeof(double));
308                 *fp = pool_lookup_float(pool, swf_GetU30(tag));
309                 data = fp;
310             } else if(*p == 'm') { //method
311                 data = array_getvalue(file->methods, swf_GetU30(tag));
312             } else if(*p == 'c') { //classinfo
313                 data = array_getvalue(file->classes, swf_GetU30(tag));
314             } else if(*p == 'i') {
315                 data = array_getvalue(file->method_bodies, swf_GetU30(tag));
316             } else if(*p == 'u') { // generic integer
317                 data = (void*)(ptroff_t)swf_GetU30(tag);
318             } else if(*p == 'r') { // local register
319                 data = (void*)(ptroff_t)swf_GetU30(tag);
320             } else if(*p == 'b') { // byte
321                 data = (void*)(ptroff_t)swf_GetU8(tag);
322             } else if(*p == 'j') { // jump
323                 int j = swf_GetS24(tag);
324                 data = (void*)(ptroff_t)j;
325             } else if(*p == 's') { // string
326                 data = strdup((char*)pool_lookup_string(pool, swf_GetU30(tag)));
327             } else if(*p == 'D') { // debug
328                 /*type, usually 1*/
329                 U8 type = swf_GetU8(tag);
330                 if(type!=1) 
331                     fprintf(stderr, "Unknown debug type: %02x\n", type);
332                 /*register name*/
333                 code->data[0] = strdup((char*)pool_lookup_string(pool, swf_GetU30(tag)));
334                 /*register index*/
335                 code->data[1] = (void*)(ptroff_t)swf_GetU8(tag);
336                 /*unused*/
337                 swf_GetU30(tag);
338             } else if(*p == 'S') { // switch statement
339                 lookupswitch_t*l = malloc(sizeof(lookupswitch_t));
340                 l->def = (code_t*)(ptroff_t)swf_GetS24(tag);
341                 l->targets = list_new();
342                 int num = swf_GetU30(tag)+1;
343                 int t;
344                 for(t=0;t<num;t++) 
345                     list_append(l->targets, (code_t*)(ptroff_t)swf_GetS24(tag));
346                 data = l;
347             } else {
348                 printf("Can't parse opcode param type \"%c\" (for op %02x %s).\n", *p, code->opcode, op->name);
349                 return 0;
350             }
351             if(data)
352                 code->data[pos++] = data;
353             p++;
354         }
355     }
356
357 //#define DEBUG_BYTES
358 #ifdef DEBUG_BYTES
359     int t;
360     for(t=0;t<len;t++) {
361         code_t*c = bytepos[t];
362         if(c) {
363             opcode_t*op = opcode_get(c->opcode);
364             if(op->flags & (OP_JUMP|OP_BRANCH)) {
365                 printf("%5d) %02x %s %d\n", t, tag->data[start+t], op->name, c->data[0]);
366             } else {
367                 printf("%5d) %02x %s\n", t, tag->data[start+t], op->name);
368             }
369         } else {
370             printf("%5d) %02x\n", t, tag->data[start+t]);
371         }
372     }
373     //printf("%5d) %02x\n", t, tag->data[start+t]);
374 #endif
375
376     code_t*c = head;
377     while(c) {
378         opcode_t*op = opcode_get(c->opcode);
379         if(op->flags & (OP_JUMP|OP_BRANCH)) {
380             int j = ((int)(ptroff_t)c->data[0]);
381             c->branch = pos2code(bytepos,c,j+4,len);
382         } else if(op->flags & (OP_LOOKUPSWITCH)) {
383             lookupswitch_t*l = (lookupswitch_t*)c->data[0];
384             int offset = 0;
385             l->def = pos2code(bytepos,c,(ptroff_t)l->def+offset,len);
386             code_list_t*t=l->targets;
387             while(t) {
388                 t->code = pos2code(bytepos,c,(ptroff_t)t->code+offset,len);
389                 t = t->next;
390             }
391         }
392         c = c->next;
393     } 
394
395     if(codelookup) {
396         (*codelookup) = malloc(sizeof(codelookup_t));
397         (*codelookup)->bytepos = bytepos;
398         (*codelookup)->len = len;
399     } else {
400         free(bytepos);
401     }
402
403     return head;
404 }
405
406 void codelookup_free(codelookup_t*codelookup)
407 {
408     free(codelookup->bytepos);codelookup->bytepos=0;
409     free(codelookup);
410 }
411
412 code_t*code_find_start(code_t*c)
413 {
414     while(c && c->prev) 
415         c=c->prev;
416     return c;
417 }
418
419 void code_free(code_t*c)
420 {
421     c = code_find_start(c);
422     while(c) {
423         code_t*next = c->next;
424         opcode_t*op = opcode_get(c->opcode);
425         char*p = op?op->params:"";
426         int pos=0;
427         while(*p) {
428             void*data = c->data[pos];
429             if(*p == '2') { //multiname
430                 multiname_destroy(data);
431             } else if(strchr("sDf", *p)) {
432                 free(data);
433             } else if(strchr("S", *p)) {
434                 lookupswitch_t*l = (lookupswitch_t*)data;
435                 list_free(l->targets);l->targets=0;
436                 free(l);
437             }
438             c->data[pos]=0;
439             p++;pos++;
440         }
441         memset(c, 0, sizeof(c));
442         free(c);
443         c = next;
444     }
445 }
446
447 static int opcode_write(TAG*tag, code_t*c, pool_t*pool, abc_file_t*file, int length)
448 {
449     opcode_t*op = opcode_get(c->opcode);
450     char*p = op->params;
451     int pos = 0;
452     int len = 0;
453
454     if(tag)
455         swf_SetU8(tag, c->opcode);
456     len++;
457
458     while(*p) {
459         void*data = c->data[pos++];
460         assert(pos<=2);
461         if(*p == 'n') { // number
462             len += swf_SetU30(tag, (ptroff_t)data);
463         } else if(*p == '2') { //multiname
464             multiname_t*m = (multiname_t*)data;
465             len += swf_SetU30(tag, pool_register_multiname(pool, m));
466         } else if(*p == 'm') { //method
467             abc_method_t*m = (abc_method_t*)data;
468             len += swf_SetU30(tag, m->index);
469         } else if(*p == 'c') { //classinfo 
470             abc_class_t*cls = (abc_class_t*)data;
471             len += swf_SetU30(tag, cls->index);
472         } else if(*p == 'i') { //methodbody
473             abc_method_body_t*m = (abc_method_body_t*)data;
474             len += swf_SetU30(tag, m->index);
475         } else if(*p == 'I') { // int
476             len += swf_SetU30(tag, pool_register_int(pool, (ptroff_t)data));
477         } else if(*p == 'U') { // uint
478             len += swf_SetU30(tag, pool_register_uint(pool, (ptroff_t)data));
479         } else if(*p == 'f') { //  float
480             len += swf_SetU30(tag, pool_register_float(pool, *(double*)data));
481         } else if(*p == 'u') { // integer
482             len += swf_SetU30(tag, (ptroff_t)data);
483         } else if(*p == 'r') { // integer
484             len += swf_SetU30(tag, (ptroff_t)data);
485         } else if(*p == 'b') { // byte
486             if(tag)
487                 swf_SetU8(tag, (ptroff_t)data);
488             len++;
489         } else if(*p == 'j') { // jump
490             int skip = length-c->pos-4;
491             if(c->branch) 
492                 skip = (c->branch->pos) - c->pos - 4;
493             len += swf_SetS24(tag, skip);
494         } else if(*p == 's') { // string
495             int index = pool_register_string(pool, data);
496             len += swf_SetU30(tag, index);
497         } else if(*p == 'D') { // debug statement
498             if(tag)
499                 swf_SetU8(tag, 1);
500             len++;
501             len+=swf_SetU30(tag, pool_register_string(pool,c->data[0]));
502             if(tag)
503                 swf_SetU8(tag, (ptroff_t)c->data[1]);
504             len++;
505             len+=swf_SetU30(tag, 0);
506         } else if(*p == 'S') { // switch statement
507             lookupswitch_t*l = (lookupswitch_t*)data;
508             int offset = 0;
509             len+=swf_SetS24(tag, l->def->pos-c->pos+offset); //default
510             code_list_t*t = l->targets;
511             if(list_length(t)) {
512                 len+=swf_SetU30(tag, list_length(t)-1); //nr-1
513                 code_list_t*t = l->targets;
514                 while(t) {
515                     len+=swf_SetS24(tag, t->code->pos - c->pos+offset);
516                     t = t->next;
517                 }
518             } else {
519                 len+=swf_SetU30(tag, 0); //nr-1
520                 len+=swf_SetS24(tag, l->def->pos-c->pos+offset);
521             }
522         } else {
523             printf("Can't parse opcode param type \"%c\"\n", *p);
524         }
525         p++;
526     }
527     return len;
528 }
529
530 void code_write(TAG*tag, code_t*code, pool_t*pool, abc_file_t*file)
531 {
532     code = code_find_start(code);
533     int pos = 0;
534     int length = 0;
535     code_t*c = code;
536     while(c) {
537         c->pos = pos;
538         pos += opcode_write(0, c, pool, file, 0);
539         c = c->next;
540     }
541     length = pos;
542     swf_SetU30(tag, pos);
543     int start = tag->len;
544     c = code;
545     pos = 0;
546     while(c) {
547         opcode_t*op = opcode_get(code->opcode);
548         if(op->flags&(OP_BRANCH|OP_JUMP)) {
549             int skip = 0;
550         }
551         pos += opcode_write(tag, c, pool, file, length);
552         c = c->next;
553     }
554     assert(tag->len - start == pos);
555 }
556
557 typedef struct {
558     int stackpos;
559     int scopepos;
560     code_t*code;
561     char flags;
562     char error;
563 } stackpos_t;
564
565 typedef struct {
566     stackpos_t*stack;
567     int num;
568     int maxlocal;
569     int maxstack;
570     int maxscope;
571     int flags;
572 } currentstats_t;
573
574 static int stack_minus(code_t*c)
575 {
576     opcode_t*op = opcode_get(c->opcode);
577     if(op->stack_minus>0) {
578         fprintf(stderr, "Invalid opcode entry %02x %s\n", c->opcode, op->name);
579     }
580     int stack = op->stack_minus;
581     if(op->flags&OP_STACK_NS) {
582         multiname_t*m = (multiname_t*)c->data[0];
583         if(multiname_late_namespace(m))
584             stack--;
585         if(multiname_late_name(m))
586             stack--;
587     } 
588     if(op->flags&OP_STACK_ARGS || op->flags&OP_STACK_ARGS2) {
589         assert(strchr(op->params, 'n'));
590         int nr = (ptroff_t)(op->params[0]=='n'?c->data[0]:c->data[1]);
591         stack-=nr;
592         if(op->flags&OP_STACK_ARGS2)
593             stack-=nr;
594     }
595     return stack;
596 }
597 static void handleregister(currentstats_t*stats, int reg)
598 {
599     if(reg+1 > stats->maxlocal)
600         stats->maxlocal = reg+1;
601 }
602
603 #define FLAG_SEEN 1
604 #define FLAG_ERROR 2
605
606 static void dumpstack(currentstats_t*stats)
607 {
608     int t;
609     for(t=0;t<stats->num;t++) {
610         code_t*c = stats->stack[t].code;
611         opcode_t*op = opcode_get(c->opcode);
612         printf("%5d) %c %d:%d %s", t, (stats->stack[t].flags&FLAG_SEEN)?'x':'|', 
613                                stats->stack[t].stackpos,
614                                stats->stack[t].scopepos,
615                                op->name);
616
617         if(op->flags&(OP_BRANCH|OP_JUMP)) {
618             if(c->branch)
619                 printf(" ->%d\n", c->branch->pos);
620             else
621                 printf(" 00000000\n");
622         }
623         if(op->params[0]=='2') {
624             printf(" %s", multiname_tostring(c->data[0]));
625         }
626         printf("\n");
627     }
628 }
629
630 static char callcode(currentstats_t*stats, int pos, int stack, int scope)
631 {
632     while(pos<stats->num) {
633         if(stats->stack[pos].flags&FLAG_SEEN) {
634             if(stats->stack[pos].stackpos != stack ||
635                stats->stack[pos].scopepos != scope) {
636                 //dumpstack(stats);
637                 stats->stack[pos].flags |= FLAG_ERROR;
638                 fprintf(stderr, "Stack mismatch at pos %d\n", pos);
639                 fprintf(stderr, "Should be: %d:%d, is: %d:%d\n", stack, scope,
640                     stats->stack[pos].stackpos, stats->stack[pos].scopepos);
641                
642                 /* return error here if we do verification */
643                 //return 0;
644             }
645             return 1;
646         }
647     
648         stats->stack[pos].flags |= FLAG_SEEN;
649         stats->stack[pos].stackpos = stack;
650         stats->stack[pos].scopepos = scope;
651
652         code_t*c = stats->stack[pos].code;
653         opcode_t*op = opcode_get(c->opcode);
654         
655         //printf("Walking %s at position %d, stack=%d, scope=%d\n", op->name, pos, stack, scope);
656
657         stack += stack_minus(c);
658
659         if(stack<0) {
660             stats->stack[pos].flags |= FLAG_ERROR;
661             fprintf(stderr, "error: stack underflow at %d (%s)\n", pos, op->name);
662            
663             /* if we would do true verification (if we would be a vm), this is 
664                where we would return the error 
665                return 0;
666              */
667         }
668
669         stack += op->stack_plus;
670         scope += op->scope_stack_plus;
671
672         if(stack > stats->maxstack)
673             stats->maxstack = stack;
674         if(scope > stats->maxscope)
675             stats->maxscope = scope;
676
677         if(op->flags & OP_SET_DXNS)
678             stats->flags |= FLAGS_SET_DXNS;
679         if(op->flags & OP_NEED_ACTIVATION)
680             stats->flags |= FLAGS_ACTIVATION;
681
682         if(c->opcode == OP_NEWCLASS) {
683             abc_class_t*cls = (abc_class_t*)(c->data[0]);
684             if(scope > cls->init_scope_depth)
685                 cls->init_scope_depth = scope;
686         }
687         if(c->opcode == OP_NEWFUNCTION) {
688             abc_method_t*m = (abc_method_t*)(c->data[0]);
689             if(m->body && scope > m->body->init_scope_depth)
690                 m->body->init_scope_depth = scope;
691         }
692         
693         if(op->flags & OP_REGISTER) {
694             char*p = op->params;
695             int pos = 0;
696             char ok=0;
697             while(*p) {
698                 if(*p=='r') {
699                     handleregister(stats, (ptroff_t)c->data[pos]);
700                     ok = 1;
701                 }
702                 p++;
703             }
704             if(!ok) {
705                 handleregister(stats, c->opcode&3);
706             }
707         }
708         if(op->flags&OP_RETURN) {
709             if(OP_RETURN==0x48/*returnvalue*/) {
710                 if(stack!=1) {
711                     stats->stack[pos].flags |= FLAG_ERROR;
712                     fprintf(stderr, "return(value) with stackposition %d\n", stack);
713                 }
714             } else if(OP_RETURN==0x47) {
715                 if(stack!=0) {
716                     stats->stack[pos].flags |= FLAG_ERROR;
717                     fprintf(stderr, "return(void) with stackposition %d\n", stack);
718                 }
719             }
720         }
721         if(op->flags & (OP_THROW|OP_RETURN))
722             return 1;
723         if(op->flags & OP_JUMP) {
724             if(!c->branch) {
725                 stats->stack[pos].flags |= FLAG_ERROR;
726                 fprintf(stderr, "Error: Invalid jump target in instruction %s at position %d.\n", op->name, pos);
727                 return 0;
728             }
729             c = c->branch;
730             pos = c->pos;
731             continue;
732         }
733         if(op->flags & OP_BRANCH) {
734             if(!c->branch) {
735                 stats->stack[pos].flags |= FLAG_ERROR;
736                 fprintf(stderr, "Error: Invalid jump target in instruction %s at position %d\n", op->name, pos);
737                 return 0;
738             }
739             int newpos = c->branch->pos;
740             if(!callcode(stats, newpos, stack, scope))
741                 return 0;
742         }
743         if(op->flags & OP_LOOKUPSWITCH) {
744             lookupswitch_t*l = c->data[0];
745             if(!l->def) {
746                 stats->stack[pos].flags |= FLAG_ERROR;
747                 fprintf(stderr, "Error: Invalid jump target in instruction %s at position %d\n", op->name, pos);
748                 return 0;
749             }
750             if(!callcode(stats, l->def->pos, stack, scope))
751                 return 0;
752             code_list_t*t = l->targets;
753             while(t) {
754                 if(!t->code) {
755                     stats->stack[pos].flags |= FLAG_ERROR;
756                     fprintf(stderr, "Error: Invalid jump target in instruction %s at position %d\n", op->name, pos);
757                     return 0;
758                 }
759                 if(!callcode(stats, t->code->pos, stack, scope))
760                     return 0;
761                 t = t->next;
762             }
763         }
764     
765         pos++;
766         if(pos<stats->num) {
767             assert(c->next == stats->stack[pos].code);
768         }
769     }
770     return 1;
771 }
772
773 static currentstats_t* code_get_stats(code_t*code, exception_list_t*exceptions) 
774 {
775     code = code_find_start(code);
776     int num = 0;
777     code_t*c = code;
778     while(c) {
779         num++;
780         c = c->next;
781     }
782     currentstats_t* current = malloc(sizeof(currentstats_t));
783     current->stack = rfx_calloc(sizeof(stackpos_t)*num);
784     current->maxlocal = 0;
785     current->maxstack = 0;
786     current->maxscope = 0;
787     current->num = num;
788     current->flags = 0;
789
790 //#define DEBUG_BYTES
791 #ifdef DEBUG_BYTES
792     int t;
793     c = code;
794     for(t=0;t<num;t++) {
795         opcode_t*op = opcode_get(c->opcode);
796         if(op->flags & (OP_JUMP|OP_BRANCH)) {
797             printf("%5d) %s %08x\n", t, op->name, c->branch);
798         } else if(op->params[0]=='2') {
799             printf("%5d) %s %s\n", t, op->name, multiname_tostring(c->data[0]));
800         } else {
801             printf("%5d) %s\n", t, op->name);
802         }
803         c = c->next;
804     }
805     //printf("%5d) %02x\n", t, tag->data[start+t]);
806 #endif
807
808     num = 0;
809     c = code;
810     while(c) {
811         //crosslink
812         current->stack[num].code = c;
813         c->pos = num;
814         num++;
815         c = c->next;
816     }
817
818     if(!callcode(current, 0, 0, 0)) {
819         free(current);
820         return 0;
821     }
822     exception_list_t*e = exceptions;
823     while(e) {
824         if(e->exception->target)
825             callcode(current, e->exception->target->pos, 1, 0);
826         e = e->next;
827     }
828
829     return current;
830 }
831
832 void stats_free(currentstats_t*stats)
833 {
834     if(stats) {
835         free(stats->stack);stats->stack=0;
836         free(stats);
837     }
838 }
839
840 int code_dump(code_t*c, exception_list_t*exceptions, abc_file_t*file, char*prefix, FILE*fo)
841 {
842     exception_list_t*e = exceptions;
843     c = code_find_start(c);
844     currentstats_t*stats =  code_get_stats(c, exceptions);
845
846     int pos = 0;
847     while(c) {
848         U8 opcode = c->opcode;
849         char found = 0;
850         opcode_t*op = opcode_get(opcode);
851
852         e = exceptions;
853         while(e) {
854             if(c==e->exception->from)
855                 fprintf(fo, "%s   TRY {\n", prefix);
856             if(c==e->exception->target) {
857                 char*s1 = multiname_tostring(e->exception->exc_type);
858                 char*s2 = multiname_tostring(e->exception->var_name);
859                 fprintf(fo, "%s   CATCH(%s %s)\n", prefix, s1, s2);
860                 free(s1);
861                 free(s2);
862             }
863             e = e->next;
864         }
865
866         if(!op) {
867             fprintf(stderr, "Can't parse opcode %02x.\n", opcode);
868             return 0;
869         } else {
870             char*p = op->params;
871             char first = 1;
872             int i=0;
873
874             if(stats) {
875                 int f = stats->stack[c->pos].flags;
876                 fprintf(fo, "%s%5d) %c %d:%d %s ", prefix, c->pos, 
877                                        (f&FLAG_ERROR)?'E':((f&FLAG_SEEN)?'+':'|'),
878                                        stats->stack[c->pos].stackpos,
879                                        stats->stack[c->pos].scopepos,
880                                        op->name);
881             } else {
882                 fprintf(fo, "%s%5d) ? ?:? %s ", prefix, c->pos, op->name);
883             }
884
885             while(*p) {
886                 void*data = c->data[i];
887                 if(i>0)
888                     printf(", ");
889
890                 if(*p == 'n') {
891                     int n = (ptroff_t)data;
892                     fprintf(fo, "%d params", n);
893                 } else if(*p == '2') {
894                     multiname_t*n = (multiname_t*)data;
895                     char* m = multiname_tostring(n);
896                     fprintf(fo, "%s", m);
897                     free(m);
898                 } else if(*p == 'm') {
899                     abc_method_t*m = (abc_method_t*)data;
900                     fprintf(fo, "[method %s]", m->name);
901                 } else if(*p == 'c') {
902                     abc_class_t*cls = (abc_class_t*)data;
903                     char*classname = multiname_tostring(cls->classname);
904                     fprintf(fo, "[classinfo %s]", classname);
905                     free(classname);
906                 } else if(*p == 'i') {
907                     abc_method_body_t*b = (abc_method_body_t*)data;
908                     fprintf(fo, "[methodbody]");
909                 } else if(*p == 'u' || *p == 'I' || *p == 'U') {
910                     int n = (ptroff_t)data;
911                     fprintf(fo, "%d", n);
912                 } else if(*p == 'f') {
913                     double f = *(double*)data;
914                     fprintf(fo, "%f", f);
915                 } else if(*p == 'r') {
916                     int n = (ptroff_t)data;
917                     fprintf(fo, "r%d", n);
918                 } else if(*p == 'b') {
919                     int b = (ptroff_t)data;
920                     fprintf(fo, "%02x", b);
921                 } else if(*p == 'j') {
922                     if(c->branch)
923                         fprintf(fo, "->%d", c->branch->pos);
924                     else
925                         fprintf(fo, "%08x", c->branch);
926                 } else if(*p == 's') {
927                     fprintf(fo, "\"%s\"", data);
928                 } else if(*p == 'D') {
929                     fprintf(fo, "[register %02x=%s]", (ptroff_t)c->data[1], (char*)c->data[0]);
930                 } else if(*p == 'S') {
931                     lookupswitch_t*l = c->data[0];
932                     fprintf(fo, "[");
933                     if(l->def)
934                         fprintf(fo, "default->%d", l->def->pos);
935                     else
936                         fprintf(fo, "default->00000000", l->def->pos);
937                     code_list_t*t = l->targets;
938                     while(t) {
939                         if(t->code)
940                             fprintf(fo, ",->%d", t->code->pos);
941                         else
942                             fprintf(fo, ",->00000000");
943                         t = t->next;
944                     }
945                     fprintf(fo, "]");
946                 } else {
947                     fprintf(stderr, "Can't parse opcode param type \"%c\"\n", *p);
948                     return 0;
949                 }
950                 p++;
951                 i++;
952                 first = 0;
953             }
954             fprintf(fo, "\n");
955         }
956         
957         e = exceptions;
958         while(e) {
959             if(c==e->exception->to) {
960                 if(e->exception->target)
961                     fprintf(fo, "%s   } // END TRY (HANDLER: %d)\n", prefix, e->exception->target->pos);
962                 else
963                     fprintf(fo, "%s   } // END TRY (HANDLER: 00000000)\n", prefix);
964             }
965             e = e->next;
966         }
967
968         pos++;
969         c = c->next;
970     }
971     stats_free(stats);
972     return 1;
973 }
974
975 codestats_t* code_get_statistics(code_t*code, exception_list_t*exceptions) 
976 {
977     currentstats_t*current = code_get_stats(code, exceptions);
978     if(!current)
979         return 0;
980     codestats_t*stats = rfx_calloc(sizeof(codestats_t));
981     stats->local_count = current->maxlocal;
982     stats->max_stack = current->maxstack;
983     stats->max_scope_depth = current->maxscope;
984     stats->flags = current->flags;
985
986     stats_free(current);current=0;
987     return stats;
988 }
989
990 void codestats_free(codestats_t*s)
991 {
992     free(s);
993 }
994
995 code_t* add_opcode(code_t*atag, U8 op)
996 {
997     code_t*tmp = (code_t*)rfx_calloc(sizeof(code_t));
998     tmp->opcode = op;
999     tmp->next = 0;
1000     if(atag) {
1001         tmp->prev = atag;
1002         tmp->next = atag->next;
1003         atag->next = tmp;
1004     } else {
1005         tmp->prev = 0;
1006     }
1007     return tmp;
1008 }
1009     
1010 void codestats_print(codestats_t*stats)
1011 {
1012     printf("max_stack: %d\n", stats->max_stack);
1013     printf("local_count: %d\n", stats->local_count);
1014     printf("scope_depth: %d\n", stats->max_scope_depth);
1015 }
1016
1017 code_t* code_end(code_t*code)
1018 {
1019     if(!code)
1020         return 0;
1021     while(code->next)
1022         code = code->next;
1023     return code;
1024 }
1025
1026 code_t* code_append(code_t*code, code_t*toappend)
1027 {
1028     if(!code)
1029         return code_end(toappend);
1030     if(!toappend)
1031         return code_end(code);
1032     //find end of first list
1033     while(code->next) {
1034         code = code->next;
1035     }
1036     code_t*start=toappend;
1037     //and start of second list
1038     while(start->prev) {
1039         start = start->prev;
1040     }
1041     code->next = start;
1042     start->prev = code;
1043     return code_end(toappend);
1044 }
1045