source: trunk/lib/Decompiler.class.php @ 1306

Last change on this file since 1306 was 1306, checked in by moo, 13 months ago

Decompiler, disassembler: fix catch for different PHP version; fetch hack is not necessary for PHP5.4+; update for ?: operator

  • Property svn:eol-style set to native
File size: 73.9 KB
Line 
1<?php
2
3define('INDENT', "\t");
4ini_set('error_reporting', E_ALL);
5
6function color($str, $color = 33)
7{
8    return "\x1B[{$color}m$str\x1B[0m";
9}
10
11function printBacktrace() // {{{
12{
13    $backtrace = debug_backtrace();
14    foreach ($backtrace as $stack) {
15        $args = array();
16        foreach ($stack['args'] as $arg) {
17            if (is_array($arg)) {
18                $array = array();
19                foreach ($arg as $key => $value) {
20                    $array[] = var_export($key, true) . " => " . (is_scalar($value) ? var_export($value, true) : gettype($value));
21                    if (count($array) >= 5) {
22                        $array[] = '...';
23                        break;
24                    }
25                }
26                $args[] = 'array(' . implode(', ', $array) . ')';
27            }
28            else {
29                $args[] = (string) $arg;
30            }
31        }
32        printf("%d: %s::%s(%s)" . PHP_EOL
33                , $stack['line']
34                , isset($stack['class']) ? $stack['class'] : ''
35                , $stack['function']
36                , implode(', ', $args)
37                );
38    }
39}
40// }}}
41
42function str($code, $indent = '') // {{{
43{
44    if (is_array($code)) {
45        $array = array();
46        foreach ($code as $key => $value) {
47            $array[$key] = str($value, $indent);
48        }
49        return $array;
50    }
51    if (is_object($code)) {
52        $code = foldToCode($code, $indent);
53        return $code->toCode($indent);
54    }
55
56    return (string) $code;
57}
58// }}}
59function unsetArray(&$array, $name) // {{{
60{
61    unset($array[$name]);
62}
63// }}}
64
65function foldToCode($src, $indent = '') // {{{ wrap or rewrap anything to Decompiler_Code
66{
67    if (is_array($indent)) {
68        $indent = $indent['indent'];
69    }
70
71    if (!is_object($src)) {
72        return new Decompiler_Code($src);
73    }
74
75    if (!method_exists($src, 'toCode')) {
76        var_dump($src);
77        exit('no toCode');
78    }
79    if (get_class($src) != 'Decompiler_Code') {
80        // rewrap it
81        $src = new Decompiler_Code($src->toCode($indent));
82    }
83
84    return $src;
85}
86// }}}
87function value($value, &$EX) // {{{
88{
89    $spec = xcache_get_special_value($value);
90    if (isset($spec)) {
91        $value = $spec;
92        if (!is_array($value)) {
93            // constant
94            return $value;
95        }
96    }
97
98    if (is_a($value, 'Decompiler_Object')) {
99        // use as is
100    }
101    else if (is_array($value)) {
102        $value = new Decompiler_ConstArray($value, $EX);
103    }
104    else {
105        if (isset($EX['value2constant'][$value])) {
106            $value = new Decompiler_Code($EX['value2constant'][$value]);
107        }
108        else {
109            $value = new Decompiler_Value($value);
110        }
111    }
112    return $value;
113}
114// }}}
115function unquoteName_($str, $asVariableName, $indent = '') // {{{
116{
117    $str = str($str, $indent);
118    if (preg_match("!^'[\\w_][\\w\\d_\\\\]*'\$!", $str)) {
119        return str_replace('\\\\', '\\', substr($str, 1, -1));
120    }
121    else if ($asVariableName) {
122        return "{" . $str . "}";
123    }
124    else {
125        return $str;
126    }
127}
128// }}}
129function unquoteVariableName($str, $indent = '') // {{{
130{
131    return unquoteName_($str, true, $indent);
132}
133// }}}
134function unquoteName($str, $indent = '') // {{{
135{
136    return unquoteName_($str, false, $indent);
137}
138// }}}
139class Decompiler_Object // {{{
140{
141}
142// }}}
143class Decompiler_Value extends Decompiler_Object // {{{
144{
145    public $value;
146
147    function Decompiler_Value($value = null)
148    {
149        $this->value = $value;
150    }
151
152    function toCode($indent)
153    {
154        $code = var_export($this->value, true);
155        if (gettype($this->value) == 'string') {
156            switch ($this->value) {
157            case "\r":
158                return '"\\r"';
159            case "\n":
160                return '"\\n"';
161            case "\r\n":
162                return '"\\r\\n"';
163            }
164            $code = str_replace("\r\n", '\' . "\\r\\n" . \'', $code);
165            $code = str_replace("\r", '\' . "\\r" . \'', $code);
166            $code = str_replace("\n", '\' . "\\n" . \'', $code);
167        }
168        return $code;
169    }
170}
171// }}}
172class Decompiler_Code extends Decompiler_Object // {{{
173{
174    public $src;
175
176    function Decompiler_Code($src)
177    {
178        assert('isset($src)');
179        $this->src = $src;
180    }
181
182    function toCode($indent)
183    {
184        return $this->src;
185    }
186}
187// }}}
188class Decompiler_Binop extends Decompiler_Code // {{{
189{
190    public $opc;
191    public $op1;
192    public $op2;
193    public $parent;
194
195    function Decompiler_Binop($parent, $op1, $opc, $op2)
196    {
197        $this->parent = &$parent;
198        $this->opc = $opc;
199        $this->op1 = $op1;
200        $this->op2 = $op2;
201    }
202
203    function toCode($indent)
204    {
205        $opstr = $this->parent->binops[$this->opc];
206
207        if (is_a($this->op1, 'Decompiler_TriOp') || is_a($this->op1, 'Decompiler_Binop') && $this->op1->opc != $this->opc) {
208            $op1 = "(" . str($this->op1, $indent) . ")";
209        }
210        else {
211            $op1 = $this->op1;
212        }
213
214        if (is_a($this->op2, 'Decompiler_TriOp') || is_a($this->op2, 'Decompiler_Binop') && $this->op2->opc != $this->opc && substr($opstr, -1) != '=') {
215            $op2 = "(" . str($this->op2, $indent) . ")";
216        }
217        else {
218            $op2 = $this->op2;
219        }
220
221        if (str($op1) == '0' && ($this->opc == XC_ADD || $this->opc == XC_SUB)) {
222            return $opstr . str($op2, $indent);
223        }
224
225        return str($op1, $indent) . ' ' . $opstr . ($this->opc == XC_ASSIGN_REF ? '' : ' ') . str($op2, $indent);
226    }
227}
228// }}}
229class Decompiler_TriOp extends Decompiler_Code // {{{
230{
231    public $condition;
232    public $trueValue;
233    public $falseValue;
234
235    function Decompiler_TriOp($condition, $trueValue, $falseValue)
236    {
237        $this->condition = $condition;
238        $this->trueValue = $trueValue;
239        $this->falseValue = $falseValue;
240    }
241
242    function toCode($indent)
243    {
244        $trueValue = $this->trueValue;
245        if (is_a($this->trueValue, 'Decompiler_TriOp')) {
246            $trueValue = "(" . str($trueValue, $indent) . ")";
247        }
248        $falseValue = $this->falseValue;
249        if (is_a($this->falseValue, 'Decompiler_TriOp')) {
250            $falseValue = "(" . str($falseValue, $indent) . ")";
251        }
252
253        return str($this->condition) . ' ? ' . str($trueValue) . ' : ' . str($falseValue);
254    }
255}
256// }}}
257class Decompiler_Fetch extends Decompiler_Code // {{{
258{
259    public $src;
260    public $fetchType;
261
262    function Decompiler_Fetch($src, $type, $globalsrc)
263    {
264        $this->src = $src;
265        $this->fetchType = $type;
266        $this->globalsrc = $globalsrc;
267    }
268
269    function toCode($indent)
270    {
271        switch ($this->fetchType) {
272        case ZEND_FETCH_LOCAL:
273            return '$' . substr($this->src, 1, -1);
274        case ZEND_FETCH_STATIC:
275            if (ZEND_ENGINE_2_3) {
276                // closure local variable?
277                return str($this->src);
278            }
279            die('static fetch cant to string');
280        case ZEND_FETCH_GLOBAL:
281        case ZEND_FETCH_GLOBAL_LOCK:
282            return $this->globalsrc;
283        default:
284            var_dump($this->fetchType);
285            assert(0);
286        }
287    }
288}
289// }}}
290class Decompiler_Box // {{{
291{
292    public $obj;
293
294    function Decompiler_Box(&$obj)
295    {
296        $this->obj = &$obj;
297    }
298
299    function toCode($indent)
300    {
301        return $this->obj->toCode($indent);
302    }
303}
304// }}}
305class Decompiler_Dim extends Decompiler_Value // {{{
306{
307    public $offsets = array();
308    public $isLast = false;
309    public $isObject = false;
310    public $assign = null;
311
312    function toCode($indent)
313    {
314        if (is_a($this->value, 'Decompiler_ListBox')) {
315            $exp = str($this->value->obj->src, $indent);
316        }
317        else {
318            $exp = str($this->value, $indent);
319        }
320        $last = count($this->offsets) - 1;
321        foreach ($this->offsets as $i => $dim) {
322            if ($this->isObject && $i == $last) {
323                $exp .= '->' . unquoteVariableName($dim, $indent);
324            }
325            else {
326                $exp .= '[' . str($dim, $indent) . ']';
327            }
328        }
329        return $exp;
330    }
331}
332// }}}
333class Decompiler_DimBox extends Decompiler_Box // {{{
334{
335}
336// }}}
337class Decompiler_List extends Decompiler_Code // {{{
338{
339    public $src;
340    public $dims = array();
341    public $everLocked = false;
342
343    function toCode($indent)
344    {
345        if (count($this->dims) == 1 && !$this->everLocked) {
346            $dim = $this->dims[0];
347            unset($dim->value);
348            $dim->value = $this->src;
349            if (!isset($dim->assign)) {
350                return str($dim, $indent);
351            }
352            return str($this->dims[0]->assign, $indent) . ' = ' . str($dim, $indent);
353        }
354        /* flatten dims */
355        $assigns = array();
356        foreach ($this->dims as $dim) {
357            $assign = &$assigns;
358            foreach ($dim->offsets as $offset) {
359                $assign = &$assign[$offset];
360            }
361            $assign = foldToCode($dim->assign, $indent);
362        }
363        return str($this->toList($assigns)) . ' = ' . str($this->src, $indent);
364    }
365
366    function toList($assigns)
367    {
368        $keys = array_keys($assigns);
369        if (count($keys) < 2) {
370            $keys[] = 0;
371        }
372        $max = call_user_func_array('max', $keys);
373        $list = 'list(';
374        for ($i = 0; $i <= $max; $i ++) {
375            if ($i) {
376                $list .= ', ';
377            }
378            if (!isset($assigns[$i])) {
379                continue;
380            }
381            if (is_array($assigns[$i])) {
382                $list .= $this->toList($assigns[$i]);
383            }
384            else {
385                $list .= $assigns[$i];
386            }
387        }
388        return $list . ')';
389    }
390}
391// }}}
392class Decompiler_ListBox extends Decompiler_Box // {{{
393{
394}
395// }}}
396class Decompiler_Array extends Decompiler_Value // {{{
397{
398    // emenets
399    function Decompiler_Array()
400    {
401        $this->value = array();
402    }
403
404    function toCode($indent)
405    {
406        $subindent = $indent . INDENT;
407
408        $elementsCode = array();
409        $index = 0;
410        foreach ($this->value as $element) {
411            list($key, $value) = $element;
412            if (!isset($key)) {
413                $key = $index++;
414            }
415            $elementsCode[] = array(str($key, $subindent), str($value, $subindent), $key, $value);
416        }
417
418        $exp = "array(";
419        $indent = $indent . INDENT;
420        $assocWidth = 0;
421        $multiline = 0;
422        $i = 0;
423        foreach ($elementsCode as $element) {
424            list($keyCode, $valueCode) = $element;
425            if ((string) $i !== $keyCode) {
426                $assocWidth = 1;
427                break;
428            }
429            ++$i;
430        }
431        foreach ($elementsCode as $element) {
432            list($keyCode, $valueCode, $key, $value) = $element;
433            if ($assocWidth) {
434                $len = strlen($keyCode);
435                if ($assocWidth < $len) {
436                    $assocWidth = $len;
437                }
438            }
439            if (is_array($value) || is_a($value, 'Decompiler_Array')) {
440                $multiline ++;
441            }
442        }
443
444        $i = 0;
445        foreach ($elementsCode as $element) {
446            list($keyCode, $value) = $element;
447            if ($multiline) {
448                if ($i) {
449                    $exp .= ",";
450                }
451                $exp .= "\n";
452                $exp .= $indent;
453            }
454            else {
455                if ($i) {
456                    $exp .= ", ";
457                }
458            }
459
460            if ($assocWidth) {
461                if ($multiline) {
462                    $exp .= sprintf("%-{$assocWidth}s => ", $keyCode);
463                }
464                else {
465                    $exp .= $keyCode . ' => ';
466                }
467            }
468
469            $exp .= $value;
470
471            $i ++;
472        }
473        if ($multiline) {
474            $exp .= "\n$indent)";
475        }
476        else {
477            $exp .= ")";
478        }
479        return $exp;
480    }
481}
482// }}}
483class Decompiler_ConstArray extends Decompiler_Array // {{{
484{
485    function Decompiler_ConstArray($array, &$EX)
486    {
487        $elements = array();
488        foreach ($array as $key => $value) {
489            $elements[] = array(value($key, $EX), value($value, $EX));
490        }
491        $this->value = $elements;
492    }
493}
494// }}}
495class Decompiler_ForeachBox extends Decompiler_Box // {{{
496{
497    public $iskey;
498
499    function toCode($indent)
500    {
501        return 'foreach (' . '';
502    }
503}
504// }}}
505
506class Decompiler
507{
508    public $namespace;
509    public $namespaceDecided;
510    public $activeFile;
511    public $activeClass;
512    public $activeMethod;
513    public $activeFunction;
514
515    function Decompiler()
516    {
517        // {{{ testing
518        // XC_UNDEF XC_OP_DATA
519        $this->test = !empty($_ENV['XCACHE_DECOMPILER_TEST']);
520        $this->usedOps = array();
521
522        if ($this->test) {
523            $content = file_get_contents(__FILE__);
524            for ($i = 0; $opname = xcache_get_opcode($i); $i ++) {
525                if (!preg_match("/\\bXC_" . $opname . "\\b(?!')/", $content)) {
526                    echo "not recognized opcode ", $opname, "\n";
527                }
528            }
529        }
530        // }}}
531        // {{{ opinfo
532        $this->unaryops = array(
533                XC_BW_NOT   => '~',
534                XC_BOOL_NOT => '!',
535                );
536        $this->binops = array(
537                XC_ADD                 => "+",
538                XC_ASSIGN_ADD          => "+=",
539                XC_SUB                 => "-",
540                XC_ASSIGN_SUB          => "-=",
541                XC_MUL                 => "*",
542                XC_ASSIGN_MUL          => "*=",
543                XC_DIV                 => "/",
544                XC_ASSIGN_DIV          => "/=",
545                XC_MOD                 => "%",
546                XC_ASSIGN_MOD          => "%=",
547                XC_SL                  => "<<",
548                XC_ASSIGN_SL           => "<<=",
549                XC_SR                  => ">>",
550                XC_ASSIGN_SR           => ">>=",
551                XC_CONCAT              => ".",
552                XC_ASSIGN_CONCAT       => ".=",
553                XC_IS_IDENTICAL        => "===",
554                XC_IS_NOT_IDENTICAL    => "!==",
555                XC_IS_EQUAL            => "==",
556                XC_IS_NOT_EQUAL        => "!=",
557                XC_IS_SMALLER          => "<",
558                XC_IS_SMALLER_OR_EQUAL => "<=",
559                XC_BW_OR               => "|",
560                XC_ASSIGN_BW_OR        => "|=",
561                XC_BW_AND              => "&",
562                XC_ASSIGN_BW_AND       => "&=",
563                XC_BW_XOR              => "^",
564                XC_ASSIGN_BW_XOR       => "^=",
565                XC_BOOL_XOR            => "xor",
566                XC_ASSIGN              => "=",
567                XC_ASSIGN_REF          => "= &",
568                XC_JMP_SET             => "?:",
569                XC_JMP_SET_VAR         => "?:",
570                XC_JMPZ_EX             => "&&",
571                XC_JMPNZ_EX            => "||",
572                );
573        // }}}
574        $this->includeTypes = array( // {{{
575                ZEND_EVAL         => 'eval',
576                ZEND_INCLUDE      => 'include',
577                ZEND_INCLUDE_ONCE => 'include_once',
578                ZEND_REQUIRE      => 'require',
579                ZEND_REQUIRE_ONCE => 'require_once',
580                );
581                // }}}
582    }
583    function detectNamespace($name) // {{{
584    {
585        if ($this->namespaceDecided) {
586            return;
587        }
588
589        if (strpos($name, '\\') !== false) {
590            $this->namespace = strtok($name, '\\');
591            echo 'namespace ', $this->namespace, ";\n\n";
592        }
593
594        $this->namespaceDecided = true;
595    }
596    // }}}
597    function stripNamespace($name) // {{{
598    {
599        $name = str($name);
600        $len = strlen($this->namespace) + 1;
601        if (substr($name, 0, $len) == $this->namespace . '\\') {
602            return substr($name, $len);
603        }
604        else {
605            return $name;
606        }
607    }
608    // }}}
609    function outputPhp(&$EX, $range) // {{{
610    {
611        $needBlankline = isset($EX['lastBlock']);
612        $indent = $EX['indent'];
613        $curticks = 0;
614        for ($i = $range[0]; $i <= $range[1]; $i ++) {
615            $op = $EX['opcodes'][$i];
616            if (isset($op['gofrom'])) {
617                if ($needBlankline) {
618                    $needBlankline = false;
619                    echo PHP_EOL;
620                }
621                echo 'label' . $i, ":\n";
622            }
623            if (isset($op['php'])) {
624                $toticks = isset($op['ticks']) ? (int) str($op['ticks']) : 0;
625                if ($curticks != $toticks) {
626                    $oldticks = $curticks;
627                    $curticks = $toticks;
628                    if (!$curticks) {
629                        echo $EX['indent'], "}\n\n";
630                        $indent = $EX['indent'];
631                    }
632                    else {
633                        if ($oldticks) {
634                            echo $EX['indent'], "}\n\n";
635                        }
636                        else if (!$oldticks) {
637                            $indent .= INDENT;
638                        }
639                        if ($needBlankline) {
640                            $needBlankline = false;
641                            echo PHP_EOL;
642                        }
643                        echo $EX['indent'], "declare (ticks=$curticks) {\n";
644                    }
645                }
646                if ($needBlankline) {
647                    $needBlankline = false;
648                    echo PHP_EOL;
649                }
650                echo $indent, str($op['php'], $indent), ";\n";
651                $EX['lastBlock'] = 'basic';
652            }
653        }
654        if ($curticks) {
655            echo $EX['indent'], "}\n";
656        }
657    }
658    // }}}
659    function getOpVal($op, &$EX, $free = false) // {{{
660    {
661        switch ($op['op_type']) {
662        case XC_IS_CONST:
663            return value($op['constant'], $EX);
664
665        case XC_IS_VAR:
666        case XC_IS_TMP_VAR:
667            $T = &$EX['Ts'];
668            if (!isset($T[$op['var']])) {
669                printBacktrace();
670            }
671            $ret = $T[$op['var']];
672            if ($free && empty($this->keepTs)) {
673                unset($T[$op['var']]);
674            }
675            return $ret;
676
677        case XC_IS_CV:
678            $var = $op['var'];
679            $var = $EX['op_array']['vars'][$var];
680            return '$' . $var['name'];
681
682        case XC_IS_UNUSED:
683            return null;
684        }
685    }
686    // }}}
687    function removeKeyPrefix($array, $prefix) // {{{
688    {
689        $prefixLen = strlen($prefix);
690        $ret = array();
691        foreach ($array as $key => $value) {
692            if (substr($key, 0, $prefixLen) == $prefix) {
693                $key = substr($key, $prefixLen);
694            }
695            $ret[$key] = $value;
696        }
697        return $ret;
698    }
699    // }}}
700    function &fixOpcode($opcodes, $removeTailing = false, $defaultReturnValue = null) // {{{
701    {
702        $last = count($opcodes) - 1;
703        for ($i = 0; $i <= $last; $i ++) {
704            if (function_exists('xcache_get_fixed_opcode')) {
705                $opcodes[$i]['opcode'] = xcache_get_fixed_opcode($opcodes[$i]['opcode'], $i);
706            }
707            if (isset($opcodes[$i]['op1'])) {
708                $opcodes[$i]['op1'] = $this->removeKeyPrefix($opcodes[$i]['op1'], 'u.');
709                $opcodes[$i]['op2'] = $this->removeKeyPrefix($opcodes[$i]['op2'], 'u.');
710                $opcodes[$i]['result'] = $this->removeKeyPrefix($opcodes[$i]['result'], 'u.');
711            }
712            else {
713                $op = array(
714                    'op1' => array(),
715                    'op2' => array(),
716                    'result' => array(),
717                );
718                foreach ($opcodes[$i] as $name => $value) {
719                    if (preg_match('!^(op1|op2|result)\\.(.*)!', $name, $m)) {
720                        list(, $which, $field) = $m;
721                        $op[$which][$field] = $value;
722                    }
723                    else if (preg_match('!^(op1|op2|result)_type$!', $name, $m)) {
724                        list(, $which) = $m;
725                        $op[$which]['op_type'] = $value;
726                    }
727                    else {
728                        $op[$name] = $value;
729                    }
730                }
731                $opcodes[$i] = $op;
732            }
733        }
734
735        if ($removeTailing) {
736            $last = count($opcodes) - 1;
737            if ($opcodes[$last]['opcode'] == XC_HANDLE_EXCEPTION) {
738                $this->usedOps[XC_HANDLE_EXCEPTION] = true;
739                $opcodes[$last]['opcode'] = XC_NOP;
740                --$last;
741            }
742            if ($opcodes[$last]['opcode'] == XC_RETURN) {
743                $op1 = $opcodes[$last]['op1'];
744                if ($op1['op_type'] == XC_IS_CONST && array_key_exists('constant', $op1) && $op1['constant'] === $defaultReturnValue) {
745                    $opcodes[$last]['opcode'] = XC_NOP;
746                    --$last;
747                }
748            }
749        }
750        return $opcodes;
751    }
752    // }}}
753    function decompileBasicBlock(&$EX, $range, $unhandled = false) // {{{
754    {
755        $this->dasmBasicBlock($EX, $range);
756        if ($unhandled) {
757            $this->dumpRange($EX, $range);
758        }
759        $this->outputPhp($EX, $range);
760    }
761    // }}}
762    function isIfCondition(&$EX, $range) // {{{
763    {
764        $opcodes = &$EX['opcodes'];
765        $firstOp = &$opcodes[$range[0]];
766        return $firstOp['opcode'] == XC_JMPZ && !empty($firstOp['jmpouts']) && $opcodes[$firstOp['jmpouts'][0] - 1]['opcode'] == XC_JMP
767         && !empty($opcodes[$firstOp['jmpouts'][0] - 1]['jmpouts'])
768         && $opcodes[$firstOp['jmpouts'][0] - 1]['jmpouts'][0] == $range[1] + 1;
769    }
770    // }}}
771    function removeJmpInfo(&$EX, $line) // {{{
772    {
773        $opcodes = &$EX['opcodes'];
774        if (!isset($opcodes[$line]['jmpouts'])) {
775            printBacktrace();
776        }
777        foreach ($opcodes[$line]['jmpouts'] as $jmpTo) {
778            $jmpins = &$opcodes[$jmpTo]['jmpins'];
779            $jmpins = array_flip($jmpins);
780            unset($jmpins[$line]);
781            $jmpins = array_keys($jmpins);
782        }
783        // $opcodes[$line]['opcode'] = XC_NOP;
784        unset($opcodes[$line]['jmpouts']);
785    }
786    // }}}
787    function beginScope(&$EX, $doIndent = true) // {{{
788    {
789        array_push($EX['scopeStack'], array($EX['lastBlock'], $EX['indent']));
790        if ($doIndent) {
791            $EX['indent'] .= INDENT;
792        }
793        $EX['lastBlock'] = null;
794    }
795    // }}}
796    function endScope(&$EX) // {{{
797    {
798        list($EX['lastBlock'], $EX['indent']) = array_pop($EX['scopeStack']);
799    }
800    // }}}
801    function beginComplexBlock(&$EX) // {{{
802    {
803        if (isset($EX['lastBlock'])) {
804            echo PHP_EOL;
805            $EX['lastBlock'] = null;
806        }
807    }
808    // }}}
809    function endComplexBlock(&$EX) // {{{
810    {
811        $EX['lastBlock'] = 'complex';
812    }
813    // }}}
814    function decompileComplexBlock(&$EX, $range) // {{{
815    {
816        $T = &$EX['Ts'];
817        $opcodes = &$EX['opcodes'];
818        $indent = $EX['indent'];
819
820        $firstOp = &$opcodes[$range[0]];
821        $lastOp = &$opcodes[$range[1]];
822
823        // {{{ && || and or
824        if (($firstOp['opcode'] == XC_JMPZ_EX || $firstOp['opcode'] == XC_JMPNZ_EX) && !empty($firstOp['jmpouts'])
825         && $firstOp['jmpouts'][0] == $range[1] + 1
826         && $lastOp['opcode'] == XC_BOOL
827         && $firstOp['opcode']['result']['var'] == $lastOp['opcode']['result']['var']
828        ) {
829            $this->removeJmpInfo($EX, $range[0]);
830
831            $this->recognizeAndDecompileClosedBlocks($EX, array($range[0], $range[0]));
832            $op1 = $this->getOpVal($firstOp['result'], $EX, true);
833
834            $this->recognizeAndDecompileClosedBlocks($EX, array($range[0] + 1, $range[1]));
835            $op2 = $this->getOpVal($lastOp['result'], $EX, true);
836
837            $T[$firstOp['result']['var']] = new Decompiler_Binop($this, $op1, $firstOp['opcode'], $op2);
838            return false;
839        }
840        // }}}
841        // {{{ ?: excluding JMP_SET/JMP_SET_VAR
842        if ($firstOp['opcode'] == XC_JMPZ && !empty($firstOp['jmpouts'])
843         && $range[1] >= $range[0] + 3
844         && ($opcodes[$firstOp['jmpouts'][0] - 2]['opcode'] == XC_QM_ASSIGN || $opcodes[$firstOp['jmpouts'][0] - 2]['opcode'] == XC_QM_ASSIGN_VAR)
845         && $opcodes[$firstOp['jmpouts'][0] - 1]['opcode'] == XC_JMP && $opcodes[$firstOp['jmpouts'][0] - 1]['jmpouts'][0] == $range[1] + 1
846         && ($lastOp['opcode'] == XC_QM_ASSIGN || $lastOp['opcode'] == XC_QM_ASSIGN_VAR)
847        ) {
848            $trueRange = array($range[0] + 1, $firstOp['jmpouts'][0] - 2);
849            $falseRange = array($firstOp['jmpouts'][0], $range[1]);
850            $this->removeJmpInfo($EX, $range[0]);
851
852            $condition = $this->getOpVal($firstOp['op1'], $EX);
853            $this->recognizeAndDecompileClosedBlocks($EX, $trueRange);
854            $trueValue = $this->getOpVal($opcodes[$trueRange[1]]['result'], $EX, true);
855            $this->recognizeAndDecompileClosedBlocks($EX, $falseRange);
856            $falseValue = $this->getOpVal($opcodes[$falseRange[1]]['result'], $EX, true);
857            $T[$opcodes[$trueRange[1]]['result']['var']] = new Decompiler_TriOp($condition, $trueValue, $falseValue);
858            return false;
859        }
860        // }}}
861        // {{{ goto
862        if ($firstOp['opcode'] == XC_JMP && !empty($firstOp['jmpouts']) && $firstOp['jmpouts'][0] == $range[1] + 1) {
863            $this->removeJmpInfo($EX, $range[0]);
864            $firstOp['opcode'] = XC_GOTO;
865            $target = $firstOp['op1']['var'];
866            $firstOp['goto'] = $target;
867            $opcodes[$target]['gofrom'][] = $range[0];
868
869            $this->recognizeAndDecompileClosedBlocks($EX, $range);
870            return false;
871        }
872        // }}}
873        // {{{ for
874        if (!empty($firstOp['jmpins']) && $opcodes[$firstOp['jmpins'][0]]['opcode'] == XC_JMP
875         && $lastOp['opcode'] == XC_JMP && !empty($lastOp['jmpouts']) && $lastOp['jmpouts'][0] <= $firstOp['jmpins'][0]
876         && !empty($opcodes[$range[1] + 1]['jmpins']) && $opcodes[$opcodes[$range[1] + 1]['jmpins'][0]]['opcode'] == XC_JMPZNZ
877        ) {
878            $nextRange = array($lastOp['jmpouts'][0], $firstOp['jmpins'][0]);
879            $conditionRange = array($range[0], $nextRange[0] - 1);
880            $this->removeJmpInfo($EX, $conditionRange[1]);
881            $bodyRange = array($nextRange[1], $range[1]);
882            $this->removeJmpInfo($EX, $bodyRange[1]);
883
884            $initial = '';
885            $this->beginScope($EX);
886            $this->dasmBasicBlock($EX, $conditionRange);
887            $conditionCodes = array();
888            for ($i = $conditionRange[0]; $i <= $conditionRange[1]; ++$i) {
889                if (isset($opcodes[$i]['php'])) {
890                    $conditionCodes[] = str($opcodes[$i]['php'], $EX);
891                }
892            }
893            $conditionCodes[] = str($this->getOpVal($opcodes[$conditionRange[1]]['op1'], $EX), $EX);
894            if (implode(',', $conditionCodes) == 'true') {
895                $conditionCodes = array();
896            }
897            $this->endScope($EX);
898
899            $this->beginScope($EX);
900            $this->dasmBasicBlock($EX, $nextRange);
901            $nextCodes = array();
902            for ($i = $nextRange[0]; $i <= $nextRange[1]; ++$i) {
903                if (isset($opcodes[$i]['php'])) {
904                    $nextCodes[] = str($opcodes[$i]['php'], $EX);
905                }
906            }
907            $this->endScope($EX);
908
909            $this->beginComplexBlock($EX);
910            echo $indent, 'for (', str($initial, $EX), '; ', implode(', ', $conditionCodes), '; ', implode(', ', $nextCodes), ') ', '{', PHP_EOL;
911            $this->beginScope($EX);
912            $this->recognizeAndDecompileClosedBlocks($EX, $bodyRange);
913            $this->endScope($EX);
914            echo $indent, '}', PHP_EOL;
915            $this->endComplexBlock($EX);
916            return;
917        }
918        // }}}
919        // {{{ if/elseif/else
920        if ($this->isIfCondition($EX, $range)) {
921            $this->beginComplexBlock($EX);
922            $isElseIf = false;
923            do {
924                $ifRange = array($range[0], $opcodes[$range[0]]['jmpouts'][0] - 1);
925                $this->removeJmpInfo($EX, $ifRange[0]);
926                $this->removeJmpInfo($EX, $ifRange[1]);
927                $condition = $this->getOpVal($opcodes[$ifRange[0]]['op1'], $EX);
928
929                echo $indent, $isElseIf ? 'else if' : 'if', ' (', str($condition, $EX), ') ', '{', PHP_EOL;
930                $this->beginScope($EX);
931                $this->recognizeAndDecompileClosedBlocks($EX, $ifRange);
932                $this->endScope($EX);
933                $EX['lastBlock'] = null;
934                echo $indent, '}', PHP_EOL;
935
936                $isElseIf = true;
937                // search for else if
938                $range[0] = $ifRange[1] + 1;
939                for ($i = $ifRange[1] + 1; $i <= $range[1]; ++$i) {
940                    // find first jmpout
941                    if (!empty($opcodes[$i]['jmpouts'])) {
942                        if ($this->isIfCondition($EX, array($i, $range[1]))) {
943                            $this->dasmBasicBlock($EX, array($range[0], $i));
944                            $range[0] = $i;
945                        }
946                        break;
947                    }
948                }
949            } while ($this->isIfCondition($EX, $range));
950            if ($ifRange[1] < $range[1]) {
951                $elseRange = array($ifRange[1], $range[1]);
952                echo $indent, 'else ', '{', PHP_EOL;
953                $this->beginScope($EX);
954                $this->recognizeAndDecompileClosedBlocks($EX, $elseRange);
955                $this->endScope($EX);
956                $EX['lastBlock'] = null;
957                echo $indent, '}', PHP_EOL;
958            }
959            $this->endComplexBlock($EX);
960            return;
961        }
962        if ($firstOp['opcode'] == XC_JMPZ && !empty($firstOp['jmpouts'])
963         && $firstOp['jmpouts'][0] - 1 == $range[1] && $opcodes[$firstOp['jmpouts'][0] - 1]['opcode'] == XC_RETURN) {
964            $this->beginComplexBlock($EX);
965            $this->removeJmpInfo($EX, $range[0]);
966            $condition = $this->getOpVal($opcodes[$range[0]]['op1'], $EX);
967
968            echo $indent, 'if (', str($condition, $EX), ') ', '{', PHP_EOL;
969            $this->beginScope($EX);
970            $this->recognizeAndDecompileClosedBlocks($EX, $range);
971            $this->endScope($EX);
972            echo $indent, '}', PHP_EOL;
973            $this->endComplexBlock($EX);
974            return;
975        }
976        // }}}
977        // {{{ try/catch
978        if (!empty($firstOp['jmpins']) && !empty($opcodes[$firstOp['jmpins'][0]]['isCatchBegin'])) {
979            $catchBlocks = array();
980            $catchFirst = $firstOp['jmpins'][0];
981
982            $tryRange = array($range[0], $catchFirst - 1);
983
984            // search for XC_CATCH
985            for ($i = $catchFirst; $i <= $range[1]; ) {
986                if ($opcodes[$i]['opcode'] == XC_CATCH) {
987                    $catchOpLine = $i;
988                    $this->removeJmpInfo($EX, $catchOpLine);
989
990                    $catchNext = $opcodes[$catchOpLine]['extended_value'];
991                    $catchBodyLast = $catchNext - 1;
992                    if ($opcodes[$catchBodyLast]['opcode'] == XC_JMP) {
993                        --$catchBodyLast;
994                    }
995
996                    $catchBlocks[$catchFirst] = array($catchOpLine, $catchBodyLast);
997
998                    $i = $catchFirst = $catchNext;
999                }
1000                else {
1001                    ++$i;
1002                }
1003            }
1004
1005            if ($opcodes[$tryRange[1]]['opcode'] == XC_JMP) {
1006                --$tryRange[1];
1007            }
1008
1009            $this->beginComplexBlock($EX);
1010            echo $indent, "try {", PHP_EOL;
1011            $this->beginScope($EX);
1012            $this->recognizeAndDecompileClosedBlocks($EX, $tryRange);
1013            $this->endScope($EX);
1014            echo $indent, '}', PHP_EOL;
1015            foreach ($catchBlocks as $catchFirst => $catchInfo) {
1016                list($catchOpLine, $catchBodyLast) = $catchInfo;
1017                $catchBodyFirst = $catchOpLine + 1;
1018                $this->dasmBasicBlock($EX, array($catchFirst, $catchOpLine));
1019                $catchOp = &$opcodes[$catchOpLine];
1020                echo $indent, 'catch ('
1021                        , $this->stripNamespace(isset($catchOp['op1']['constant']) ? $catchOp['op1']['constant'] : str($this->getOpVal($catchOp['op1'], $EX)))
1022                        , ' '
1023                        , isset($catchOp['op2']['constant']) ? '$' . $catchOp['op2']['constant'] : str($this->getOpVal($catchOp['op2'], $EX))
1024                        , ") {", PHP_EOL;
1025                unset($catchOp);
1026
1027                $EX['lastBlock'] = null;
1028                $this->beginScope($EX);
1029                $this->recognizeAndDecompileClosedBlocks($EX, array($catchBodyFirst, $catchBodyLast));
1030                $this->endScope($EX);
1031                echo $indent, '}', PHP_EOL;
1032            }
1033            $this->endComplexBlock($EX);
1034            return;
1035        }
1036        // }}}
1037        // {{{ switch/case
1038        if ($firstOp['opcode'] == XC_SWITCH_FREE && isset($T[$firstOp['op1']['var']])) {
1039            // TODO: merge this code to CASE code. use SWITCH_FREE to detect begin of switch by using $Ts if possible
1040            $this->beginComplexBlock($EX);
1041            echo $indent, 'switch (', str($this->getOpVal($firstOp['op1'], $EX)), ") {", PHP_EOL;
1042            echo $indent, '}', PHP_EOL;
1043            $this->endComplexBlock($EX);
1044            return;
1045        }
1046
1047        if (
1048            ($firstOp['opcode'] == XC_CASE
1049            || $firstOp['opcode'] == XC_JMP && !empty($firstOp['jmpouts']) && $opcodes[$firstOp['jmpouts'][0]]['opcode'] == XC_CASE
1050            )
1051             && !empty($lastOp['jmpouts'])
1052        ) {
1053            $cases = array();
1054            $caseDefault = null;
1055            $caseOp = null;
1056            for ($i = $range[0]; $i <= $range[1]; ) {
1057                $op = $opcodes[$i];
1058                if ($op['opcode'] == XC_CASE) {
1059                    if (!isset($caseOp)) {
1060                        $caseOp = $op;
1061                    }
1062                    $jmpz = $opcodes[$i + 1];
1063                    assert('$jmpz["opcode"] == XC_JMPZ');
1064                    $caseNext = $jmpz['jmpouts'][0];
1065                    $cases[$i] = $caseNext - 1;
1066                    $i = $caseNext;
1067                }
1068                else if ($op['opcode'] == XC_JMP && $op['jmpouts'][0] >= $i) {
1069                    // default
1070                    $caseNext = $op['jmpouts'][0];
1071                    $caseDefault = $i;
1072                    $cases[$i] = $caseNext - 1;
1073                    $i = $caseNext;
1074                }
1075                else {
1076                    ++$i;
1077                }
1078            }
1079
1080            $this->beginComplexBlock($EX);
1081
1082            echo $indent, 'switch (', str($this->getOpVal($caseOp['op1'], $EX), $EX), ") {", PHP_EOL;
1083            $caseIsOut = false;
1084            foreach ($cases as $caseFirst => $caseLast) {
1085                if ($caseIsOut && empty($lastCaseFall)) {
1086                    echo PHP_EOL;
1087                }
1088
1089                $caseOp = $opcodes[$caseFirst];
1090
1091                echo $indent;
1092                if ($caseOp['opcode'] == XC_CASE) {
1093                    echo 'case ';
1094                    echo str($this->getOpVal($caseOp['op2'], $EX), $EX);
1095                    echo ':', PHP_EOL;
1096
1097                    $this->removeJmpInfo($EX, $caseFirst);
1098                    ++$caseFirst;
1099
1100                    assert('$opcodes[$caseFirst]["opcode"] == XC_JMPZ');
1101                    $this->removeJmpInfo($EX, $caseFirst);
1102                    ++$caseFirst;
1103                }
1104                else {
1105                    echo 'default';
1106                    echo ':', PHP_EOL;
1107
1108                    assert('$opcodes[$caseFirst]["opcode"] == XC_JMP');
1109                    $this->removeJmpInfo($EX, $caseFirst);
1110                    ++$caseFirst;
1111                }
1112
1113                assert('$opcodes[$caseLast]["opcode"] == XC_JMP');
1114                $this->removeJmpInfo($EX, $caseLast);
1115                --$caseLast;
1116                switch ($opcodes[$caseLast]['opcode']) {
1117                case XC_BRK:
1118                case XC_CONT:
1119                case XC_GOTO:
1120                    $lastCaseFall = false;
1121                    break;
1122
1123                default:
1124                    $lastCaseFall = true;
1125                }
1126
1127                $this->beginScope($EX);
1128                $this->recognizeAndDecompileClosedBlocks($EX, array($caseFirst, $caseLast));
1129                $this->endScope($EX);
1130                $caseIsOut = true;
1131            }
1132            echo $indent, '}', PHP_EOL;
1133
1134            $this->endComplexBlock($EX);
1135            return;
1136        }
1137        // }}}
1138        // {{{ do/while
1139        if ($lastOp['opcode'] == XC_JMPNZ && !empty($lastOp['jmpouts'])
1140         && $lastOp['jmpouts'][0] == $range[0]) {
1141            $this->removeJmpInfo($EX, $range[1]);
1142            $this->beginComplexBlock($EX);
1143
1144            echo $indent, "do {", PHP_EOL;
1145            $this->beginScope($EX);
1146            $this->recognizeAndDecompileClosedBlocks($EX, $range);
1147            $this->endScope($EX);
1148            echo $indent, "} while (", str($this->getOpVal($lastOp['op1'], $EX)), ');', PHP_EOL;
1149
1150            $this->endComplexBlock($EX);
1151            return;
1152        }
1153        // }}}
1154
1155        // {{{ search firstJmpOp
1156        $firstJmp = null;
1157        $firstJmpOp = null;
1158        for ($i = $range[0]; $i <= $range[1]; ++$i) {
1159            if (!empty($opcodes[$i]['jmpouts'])) {
1160                $firstJmp = $i;
1161                $firstJmpOp = &$opcodes[$firstJmp];
1162                break;
1163            }
1164        }
1165        // }}}
1166
1167        // {{{ while
1168        if (isset($firstJmpOp)
1169         && $firstJmpOp['opcode'] == XC_JMPZ
1170         && $firstJmpOp['jmpouts'][0] > $range[1]
1171         && $lastOp['opcode'] == XC_JMP && !empty($lastOp['jmpouts'])
1172         && $lastOp['jmpouts'][0] == $range[0]) {
1173            $this->removeJmpInfo($EX, $firstJmp);
1174            $this->removeJmpInfo($EX, $range[1]);
1175            $this->beginComplexBlock($EX);
1176
1177            ob_start();
1178            $this->beginScope($EX);
1179            $this->recognizeAndDecompileClosedBlocks($EX, $range);
1180            $this->endScope($EX);
1181            $body = ob_get_clean();
1182
1183            echo $indent, 'while (', str($this->getOpVal($firstJmpOp['op1'], $EX)), ") {", PHP_EOL;
1184            echo $body;
1185            echo $indent, '}', PHP_EOL;
1186
1187            $this->endComplexBlock($EX);
1188            return;
1189        }
1190        // }}}
1191        // {{{ foreach
1192        if (isset($firstJmpOp)
1193         && $firstJmpOp['opcode'] == XC_FE_FETCH
1194         && $firstJmpOp['jmpouts'][0] > $range[1]
1195         && $lastOp['opcode'] == XC_JMP && !empty($lastOp['jmpouts'])
1196         && $lastOp['jmpouts'][0] == $firstJmp) {
1197            $this->removeJmpInfo($EX, $firstJmp);
1198            $this->removeJmpInfo($EX, $range[1]);
1199            $this->beginComplexBlock($EX);
1200
1201            ob_start();
1202            $this->beginScope($EX);
1203            $this->recognizeAndDecompileClosedBlocks($EX, $range);
1204            $this->endScope($EX);
1205            $body = ob_get_clean();
1206
1207            $as = foldToCode($firstJmpOp['fe_as'], $EX);
1208            if (isset($firstJmpOp['fe_key'])) {
1209                $as = str($firstJmpOp['fe_key'], $EX) . ' => ' . str($as);
1210            }
1211
1212            echo $indent, 'foreach (', str($firstJmpOp['fe_src'], $EX), " as $as) {", PHP_EOL;
1213            echo $body;
1214            echo $indent, '}', PHP_EOL;
1215
1216            $this->endComplexBlock($EX);
1217            if ($opcodes[$range[1] + 1]['opcode'] == XC_SWITCH_FREE) {
1218                $this->removeJmpInfo($EX, $range[1] + 1);
1219            }
1220            return;
1221        }
1222        // }}}
1223
1224        $this->decompileBasicBlock($EX, $range, true);
1225    }
1226    // }}}
1227    function recognizeAndDecompileClosedBlocks(&$EX, $range) // {{{ decompile in a tree way
1228    {
1229        $opcodes = &$EX['opcodes'];
1230
1231        $starti = $range[0];
1232        for ($i = $starti; $i <= $range[1]; ) {
1233            if (!empty($opcodes[$i]['jmpins']) || !empty($opcodes[$i]['jmpouts'])) {
1234                $blockFirst = $i;
1235                $blockLast = -1;
1236                $j = $blockFirst;
1237                do {
1238                    $op = $opcodes[$j];
1239                    if (!empty($op['jmpins'])) {
1240                        // care about jumping from blocks behind, not before
1241                        foreach ($op['jmpins'] as $oplineNumber) {
1242                            if ($oplineNumber <= $range[1] && $blockLast < $oplineNumber) {
1243                                $blockLast = $oplineNumber;
1244                            }
1245                        }
1246                    }
1247                    if (!empty($op['jmpouts'])) {
1248                        $blockLast = max($blockLast, max($op['jmpouts']) - 1);
1249                    }
1250                    ++$j;
1251                } while ($j <= $blockLast);
1252                if (!assert('$blockLast <= $range[1]')) {
1253                    var_dump($blockLast, $range[1]);
1254                }
1255
1256                if ($blockLast >= $blockFirst) {
1257                    if ($blockFirst > $starti) {
1258                        $this->decompileBasicBlock($EX, array($starti, $blockFirst - 1));
1259                    }
1260                    if ($this->decompileComplexBlock($EX, array($blockFirst, $blockLast)) === false) {
1261                        if ($EX['lastBlock'] == 'complex') {
1262                            echo PHP_EOL;
1263                        }
1264                        $EX['lastBlock'] = null;
1265                    }
1266                    $starti = $blockLast + 1;
1267                    $i = $starti;
1268                }
1269                else {
1270                    ++$i;
1271                }
1272            }
1273            else {
1274                ++$i;
1275            }
1276        }
1277        if ($starti <= $range[1]) {
1278            $this->decompileBasicBlock($EX, array($starti, $range[1]));
1279        }
1280    }
1281    // }}}
1282    function &dop_array($op_array, $indent = '') // {{{
1283    {
1284        $op_array['opcodes'] = $this->fixOpcode($op_array['opcodes'], true, $indent == '' ? 1 : null);
1285        $opcodes = &$op_array['opcodes'];
1286        $last = count($opcodes) - 1;
1287        // {{{ build jmpins/jmpouts to op_array
1288        for ($i = 0; $i <= $last; $i ++) {
1289            $op = &$opcodes[$i];
1290            $op['line'] = $i;
1291            switch ($op['opcode']) {
1292            case XC_CONT:
1293            case XC_BRK:
1294                $op['jmpouts'] = array();
1295                break;
1296
1297            case XC_GOTO:
1298                $target = $op['op1']['var'];
1299                $op['goto'] = $target;
1300                $opcodes[$target]['gofrom'][] = $i;
1301                break;
1302
1303            case XC_JMP:
1304                $target = $op['op1']['var'];
1305                $op['jmpouts'] = array($target);
1306                $opcodes[$target]['jmpins'][] = $i;
1307                break;
1308
1309            case XC_JMPZNZ:
1310                $jmpz = $op['op2']['opline_num'];
1311                $jmpnz = $op['extended_value'];
1312                $op['jmpouts'] = array($jmpz, $jmpnz);
1313                $opcodes[$jmpz]['jmpins'][] = $i;
1314                $opcodes[$jmpnz]['jmpins'][] = $i;
1315                break;
1316
1317            case XC_JMPZ:
1318            case XC_JMPNZ:
1319            case XC_JMPZ_EX:
1320            case XC_JMPNZ_EX:
1321            // case XC_JMP_SET:
1322            // case XC_JMP_SET_VAR:
1323            // case XC_FE_RESET:
1324            case XC_FE_FETCH:
1325            // case XC_JMP_NO_CTOR:
1326                $target = $op['op2']['opline_num'];
1327                //if (!isset($target)) {
1328                //  $this->dumpop($op, $EX);
1329                //  var_dump($op); exit;
1330                //}
1331                $op['jmpouts'] = array($target);
1332                $opcodes[$target]['jmpins'][] = $i;
1333                break;
1334
1335            /*
1336            case XC_RETURN:
1337                $op['jmpouts'] = array();
1338                break;
1339            */
1340
1341            case XC_SWITCH_FREE:
1342                $op['jmpouts'] = array($i + 1);
1343                $opcodes[$i + 1]['jmpins'][] = $i;
1344                break;
1345
1346            case XC_CASE:
1347                // just to link together
1348                $op['jmpouts'] = array($i + 2);
1349                $opcodes[$i + 2]['jmpins'][] = $i;
1350                break;
1351
1352            case XC_CATCH:
1353                $catchNext = $op['extended_value'];
1354                $op['jmpouts'] = array($catchNext);
1355                $opcodes[$catchNext]['jmpins'][] = $i;
1356                break;
1357            }
1358            /*
1359            if (!empty($op['jmpouts']) || !empty($op['jmpins'])) {
1360                echo $i, "\t", xcache_get_opcode($op['opcode']), PHP_EOL;
1361            }
1362            // */
1363        }
1364        unset($op);
1365        if ($op_array['try_catch_array']) {
1366            foreach ($op_array['try_catch_array'] as $try_catch_element) {
1367                $catch_op = $try_catch_element['catch_op'];
1368                $try_op = $try_catch_element['try_op'];
1369                $opcodes[$try_op]['jmpins'][] = $catch_op;
1370                $opcodes[$catch_op]['jmpouts'][] = $try_op;
1371                $opcodes[$catch_op]['isCatchBegin'] = true;
1372            }
1373        }
1374        // }}}
1375        // build semi-basic blocks
1376        $nextbbs = array();
1377        $starti = 0;
1378        for ($i = 1; $i <= $last; $i ++) {
1379            if (isset($opcodes[$i]['jmpins'])
1380             || isset($opcodes[$i - 1]['jmpouts'])) {
1381                $nextbbs[$starti] = $i;
1382                $starti = $i;
1383            }
1384        }
1385        $nextbbs[$starti] = $last + 1;
1386
1387        $EX = array();
1388        $EX['Ts'] = array();
1389        $EX['indent'] = $indent;
1390        $EX['nextbbs'] = $nextbbs;
1391        $EX['op_array'] = &$op_array;
1392        $EX['opcodes'] = &$opcodes;
1393        $EX['range'] = array(0, count($opcodes) - 1);
1394        // func call
1395        $EX['object'] = null;
1396        $EX['called_scope'] = null;
1397        $EX['fbc'] = null;
1398        $EX['argstack'] = array();
1399        $EX['arg_types_stack'] = array();
1400        $EX['scopeStack'] = array();
1401        $EX['silence'] = 0;
1402        $EX['recvs'] = array();
1403        $EX['uses'] = array();
1404        $EX['lastBlock'] = null;
1405        $EX['value2constant'] = array();
1406        if (isset($this->activeFile)) {
1407            $EX['value2constant'][$this->activeFile] = '__FILE__';
1408        }
1409        if (isset($this->activeClass)) {
1410            $EX['value2constant'][$this->activeClass] = '__CLASS__';
1411        }
1412        if (isset($this->activeMethod)) {
1413            $EX['value2constant'][$this->activeMethod] = '__METHOD__';
1414        }
1415        if (isset($this->activeFunction)) {
1416            $EX['value2constant'][$this->activeFunction] = '__FUNCTION__';
1417        }
1418
1419        /* dump whole array
1420        $this->keepTs = true;
1421        $this->dasmBasicBlock($EX, $range);
1422        for ($i = $range[0]; $i <= $range[1]; ++$i) {
1423            echo $i, "\t", $this->dumpop($opcodes[$i], $EX);
1424        }
1425        // */
1426        // decompile in a tree way
1427        $this->recognizeAndDecompileClosedBlocks($EX, $EX['range'], $EX['indent']);
1428        return $EX;
1429    }
1430    // }}}
1431    function dasmBasicBlock(&$EX, $range) // {{{
1432    {
1433        $T = &$EX['Ts'];
1434        $opcodes = &$EX['opcodes'];
1435        $lastphpop = null;
1436        $currentSourceLine = null;
1437
1438        for ($i = $range[0]; $i <= $range[1]; $i ++, unsetArray($EX['value2constant'], $currentSourceLine)) {
1439            // {{{ prepair
1440            $op = &$opcodes[$i];
1441            $opc = $op['opcode'];
1442            if ($opc == XC_NOP) {
1443                $this->usedOps[$opc] = true;
1444                continue;
1445            }
1446
1447            $op1 = $op['op1'];
1448            $op2 = $op['op2'];
1449            $res = $op['result'];
1450            $ext = $op['extended_value'];
1451            $currentSourceLine = $op['lineno'];
1452            $EX['value2constant'][$currentSourceLine] = '__LINE__';
1453
1454            $opname = xcache_get_opcode($opc);
1455
1456            if ($opname == 'UNDEF' || !isset($opname)) {
1457                echo 'UNDEF OP:';
1458                $this->dumpop($op, $EX);
1459                continue;
1460            }
1461            // echo $i, ' '; $this->dumpop($op, $EX); //var_dump($op);
1462
1463            $resvar = null;
1464            unset($curResVar);
1465            if (array_key_exists($res['var'], $T)) {
1466                $curResVar = &$T[$res['var']];
1467            }
1468            if ((ZEND_ENGINE_2_4 ? ($res['op_type'] & EXT_TYPE_UNUSED) : ($res['EA.type'] & EXT_TYPE_UNUSED)) || $res['op_type'] == XC_IS_UNUSED) {
1469                $istmpres = false;
1470            }
1471            else {
1472                $istmpres = true;
1473            }
1474            // }}}
1475            // echo $opname, "\n";
1476
1477            $notHandled = false;
1478            switch ($opc) {
1479            case XC_NEW: // {{{
1480                array_push($EX['arg_types_stack'], array($EX['fbc'], $EX['object'], $EX['called_scope']));
1481                $EX['object'] = (int) $res['var'];
1482                $EX['called_scope'] = null;
1483                $EX['fbc'] = 'new ' . $this->stripNamespace($this->getOpVal($op1, $EX));
1484                break;
1485                // }}}
1486            case XC_THROW: // {{{
1487                $resvar = 'throw ' . str($this->getOpVal($op1, $EX));
1488                break;
1489                // }}}
1490            case XC_CLONE: // {{{
1491                $resvar = 'clone ' . str($this->getOpVal($op1, $EX));
1492                break;
1493                // }}}
1494            case XC_CATCH: // {{{
1495                break;
1496                // }}}
1497            case XC_INSTANCEOF: // {{{
1498                $resvar = str($this->getOpVal($op1, $EX)) . ' instanceof ' . $this->stripNamespace($this->getOpVal($op2, $EX));
1499                break;
1500                // }}}
1501            case XC_FETCH_CLASS: // {{{
1502                if ($op2['op_type'] == XC_IS_UNUSED) {
1503                    switch (($ext & (defined('ZEND_FETCH_CLASS_MASK') ? ZEND_FETCH_CLASS_MASK : 0xFF))) {
1504                    case ZEND_FETCH_CLASS_SELF:
1505                        $class = 'self';
1506                        break;
1507                    case ZEND_FETCH_CLASS_PARENT:
1508                        $class = 'parent';
1509                        break;
1510                    case ZEND_FETCH_CLASS_STATIC:
1511                        $class = 'static';
1512                        break;
1513                    }
1514                    $istmpres = true;
1515                }
1516                else {
1517                    $class = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1518                }
1519                $resvar = $class;
1520                break;
1521                // }}}
1522            case XC_FETCH_CONSTANT: // {{{
1523                if ($op1['op_type'] == XC_IS_UNUSED) {
1524                    $resvar = $this->stripNamespace($op2['constant']);
1525                    break;
1526                }
1527
1528                if ($op1['op_type'] == XC_IS_CONST) {
1529                    $resvar = $this->stripNamespace($op1['constant']);
1530                }
1531                else {
1532                    $resvar = $this->getOpVal($op1, $EX);
1533                }
1534
1535                $resvar = str($resvar) . '::' . unquoteName($this->getOpVal($op2, $EX));
1536                break;
1537                // }}}
1538                // {{{ case FETCH_*
1539            case XC_FETCH_R:
1540            case XC_FETCH_W:
1541            case XC_FETCH_RW:
1542            case XC_FETCH_FUNC_ARG:
1543            case XC_FETCH_UNSET:
1544            case XC_FETCH_IS:
1545                $fetchType = defined('ZEND_FETCH_TYPE_MASK') ? ($ext & ZEND_FETCH_TYPE_MASK) : $op2['EA.type'];
1546                $name = isset($op1['constant']) ? $op1['constant'] : unquoteName($this->getOpVal($op1, $EX), $EX);
1547                if ($fetchType == ZEND_FETCH_STATIC_MEMBER) {
1548                    $class = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1549                    $rvalue = $this->stripNamespace($class) . '::$' . $name;
1550                }
1551                else {
1552                    $rvalue = $this->getOpVal($op1, $EX);
1553                    $globalname = xcache_is_autoglobal($name) ? "\$$name" : "\$GLOBALS[" . str($rvalue) . "]";
1554                    $rvalue = new Decompiler_Fetch($rvalue, $fetchType, $globalname);
1555                }
1556
1557                if ($res['op_type'] != XC_IS_UNUSED) {
1558                    $resvar = $rvalue;
1559                }
1560                break;
1561                // }}}
1562            case XC_UNSET_VAR: // {{{
1563                $fetchType = defined('ZEND_FETCH_TYPE_MASK') ? ($ext & ZEND_FETCH_TYPE_MASK) : $op2['EA.type'];
1564                if ($fetchType == ZEND_FETCH_STATIC_MEMBER) {
1565                    $class = isset($op2['constant']) ? $op2['constant'] /* PHP5.3- */ : $this->getOpVal($op2, $EX);
1566                    $rvalue = $this->stripNamespace($class) . '::$' . $op1['constant'];
1567                }
1568                else {
1569                    $rvalue = $this->getOpVal($op1, $EX);
1570                }
1571
1572                $op['php'] = "unset(" . str($rvalue, $EX) . ")";
1573                $lastphpop = &$op;
1574                break;
1575                // }}}
1576                // {{{ case FETCH_DIM_*
1577            case XC_FETCH_DIM_TMP_VAR:
1578            case XC_FETCH_DIM_R:
1579            case XC_FETCH_DIM_W:
1580            case XC_FETCH_DIM_RW:
1581            case XC_FETCH_DIM_FUNC_ARG:
1582            case XC_FETCH_DIM_UNSET:
1583            case XC_FETCH_DIM_IS:
1584            case XC_ASSIGN_DIM:
1585            case XC_UNSET_DIM_OBJ: // PHP 4 only
1586            case XC_UNSET_DIM:
1587            case XC_UNSET_OBJ:
1588                $src = $this->getOpVal($op1, $EX);
1589                if (is_a($src, "Decompiler_ForeachBox")) {
1590                    $src->iskey = $this->getOpVal($op2, $EX);
1591                    $resvar = $src;
1592                    break;
1593                }
1594
1595                if (is_a($src, "Decompiler_DimBox")) {
1596                    $dimbox = $src;
1597                }
1598                else {
1599                    if (!is_a($src, "Decompiler_ListBox")) {
1600                        $op1val = $this->getOpVal($op1, $EX);
1601                        $list = new Decompiler_List(isset($op1val) ? $op1val : '$this');
1602
1603                        $src = new Decompiler_ListBox($list);
1604                        if (!isset($op1['var'])) {
1605                            $this->dumpop($op, $EX);
1606                            var_dump($op);
1607                            die('missing var');
1608                        }
1609                        $T[$op1['var']] = $src;
1610                        unset($list);
1611                    }
1612                    $dim = new Decompiler_Dim($src);
1613                    $src->obj->dims[] = &$dim;
1614
1615                    $dimbox = new Decompiler_DimBox($dim);
1616                }
1617                $dim = &$dimbox->obj;
1618                $dim->offsets[] = $this->getOpVal($op2, $EX);
1619                /* TODO: use type mask */
1620                if ($ext == ZEND_FETCH_ADD_LOCK) {
1621                    $src->obj->everLocked = true;
1622                }
1623                else if ($ext == ZEND_FETCH_STANDARD) {
1624                    $dim->isLast = true;
1625                }
1626                if ($opc == XC_UNSET_OBJ) {
1627                    $dim->isObject = true;
1628                }
1629                unset($dim);
1630                $rvalue = $dimbox;
1631                unset($dimbox);
1632
1633                if ($opc == XC_ASSIGN_DIM) {
1634                    $lvalue = $rvalue;
1635                    ++ $i;
1636                    $rvalue = $this->getOpVal($opcodes[$i]['op1'], $EX);
1637                    $resvar = str($lvalue, $EX) . ' = ' . str($rvalue);
1638                }
1639                else if ($opc == XC_UNSET_DIM || $opc == XC_UNSET_OBJ) {
1640                    $op['php'] = "unset(" . str($rvalue, $EX) . ")";
1641                    $lastphpop = &$op;
1642                }
1643                else if ($res['op_type'] != XC_IS_UNUSED) {
1644                    $resvar = $rvalue;
1645                }
1646                break;
1647                // }}}
1648            case XC_ASSIGN: // {{{
1649                $lvalue = $this->getOpVal($op1, $EX);
1650                $rvalue = $this->getOpVal($op2, $EX);
1651                if (is_a($rvalue, 'Decompiler_ForeachBox')) {
1652                    $type = $rvalue->iskey ? 'fe_key' : 'fe_as';
1653                    $rvalue->obj[$type] = $lvalue;
1654                    unset($T[$op2['var']]);
1655                    break;
1656                }
1657                if (is_a($rvalue, "Decompiler_DimBox")) {
1658                    $dim = &$rvalue->obj;
1659                    $dim->assign = $lvalue;
1660                    if ($dim->isLast) {
1661                        $resvar = foldToCode($dim->value, $EX);
1662                    }
1663                    unset($dim);
1664                    break;
1665                }
1666                if (is_a($rvalue, 'Decompiler_Fetch')) {
1667                    $src = str($rvalue->src, $EX);
1668                    if ('$' . unquoteName($src) == $lvalue) {
1669                        switch ($rvalue->fetchType) {
1670                        case ZEND_FETCH_STATIC:
1671                            $statics = &$EX['op_array']['static_variables'];
1672                            if ((xcache_get_type($statics[$name]) & IS_LEXICAL_VAR)) {
1673                                $EX['uses'][] = str($lvalue);
1674                                unset($statics);
1675                                break 2;
1676                            }
1677                            unset($statics);
1678                        }
1679                    }
1680                }
1681                $resvar = new Decompiler_Binop($this, $lvalue, XC_ASSIGN, $rvalue);
1682                break;
1683                // }}}
1684            case XC_ASSIGN_REF: // {{{
1685                $lvalue = $this->getOpVal($op1, $EX);
1686                $rvalue = $this->getOpVal($op2, $EX);
1687                if (is_a($rvalue, 'Decompiler_Fetch')) {
1688                    $src = str($rvalue->src, $EX);
1689                    if ('$' . unquoteName($src) == $lvalue) {
1690                        switch ($rvalue->fetchType) {
1691                        case ZEND_FETCH_GLOBAL:
1692                        case ZEND_FETCH_GLOBAL_LOCK:
1693                            $resvar = 'global ' . $lvalue;
1694                            break 2;
1695                        case ZEND_FETCH_STATIC:
1696                            $statics = &$EX['op_array']['static_variables'];
1697                            if ((xcache_get_type($statics[$name]) & IS_LEXICAL_REF)) {
1698                                $EX['uses'][] = '&' . str($lvalue);
1699                                unset($statics);
1700                                break 2;
1701                            }
1702
1703                            $resvar = 'static ' . $lvalue;
1704                            $name = unquoteName($src);
1705                            if (isset($statics[$name])) {
1706                                $var = $statics[$name];
1707                                $resvar .= ' = ';
1708                                $resvar .= str(value($var, $EX), $EX);
1709                            }
1710                            unset($statics);
1711                            break 2;
1712                        default:
1713                        }
1714                    }
1715                }
1716                // TODO: PHP_6 global
1717                $resvar = new Decompiler_Binop($this, $lvalue, XC_ASSIGN_REF, $rvalue);
1718                break;
1719                // }}}
1720            // {{{ case FETCH_OBJ_*
1721            case XC_FETCH_OBJ_R:
1722            case XC_FETCH_OBJ_W:
1723            case XC_FETCH_OBJ_RW:
1724            case XC_FETCH_OBJ_FUNC_ARG:
1725            case XC_FETCH_OBJ_UNSET:
1726            case XC_FETCH_OBJ_IS:
1727            case XC_ASSIGN_OBJ:
1728                $obj = $this->getOpVal($op1, $EX);
1729                if (!isset($obj)) {
1730                    $obj = '$this';
1731                }
1732                $rvalue = str($obj) . "->" . unquoteVariableName($this->getOpVal($op2, $EX), $EX);
1733                if ($res['op_type'] != XC_IS_UNUSED) {
1734                    $resvar = $rvalue;
1735                }
1736                if ($opc == XC_ASSIGN_OBJ) {
1737                    ++ $i;
1738                    $lvalue = $rvalue;
1739                    $rvalue = $this->getOpVal($opcodes[$i]['op1'], $EX);
1740                    $resvar = "$lvalue = " . str($rvalue);
1741                }
1742                break;
1743                // }}}
1744            case XC_ISSET_ISEMPTY_DIM_OBJ:
1745            case XC_ISSET_ISEMPTY_PROP_OBJ:
1746            case XC_ISSET_ISEMPTY:
1747            case XC_ISSET_ISEMPTY_VAR: // {{{
1748                if ($opc == XC_ISSET_ISEMPTY_VAR) {
1749                    $rvalue = $this->getOpVal($op1, $EX);
1750                    // for < PHP_5_3
1751                    if ($op1['op_type'] == XC_IS_CONST) {
1752                        $rvalue = '$' . unquoteVariableName($this->getOpVal($op1, $EX));
1753                    }
1754                    $fetchtype = defined('ZEND_FETCH_TYPE_MASK') ? ($ext & ZEND_FETCH_TYPE_MASK) : $op2['EA.type'];
1755                    if ($fetchtype == ZEND_FETCH_STATIC_MEMBER) {
1756                        $class = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1757                        $rvalue = $this->stripNamespace($class) . '::' . unquoteName($rvalue, $EX);
1758                    }
1759                }
1760                else if ($opc == XC_ISSET_ISEMPTY) {
1761                    $rvalue = $this->getOpVal($op1, $EX);
1762                }
1763                else {
1764                    $container = $this->getOpVal($op1, $EX);
1765                    $dim = $this->getOpVal($op2, $EX);
1766                    if ($opc == XC_ISSET_ISEMPTY_PROP_OBJ) {
1767                        if (!isset($container)) {
1768                            $container = '$this';
1769                        }
1770                        $rvalue = str($container, $EX) . "->" . unquoteVariableName($dim);
1771                    }
1772                    else {
1773                        $rvalue = str($container, $EX) . '[' . str($dim) .']';
1774                    }
1775                }
1776
1777                /* TODO: use type mask */
1778                switch (($ext & ZEND_ISSET_ISEMPTY_MASK)) {
1779                case ZEND_ISSET:
1780                    $rvalue = "isset(" . str($rvalue) . ")";
1781                    break;
1782                case ZEND_ISEMPTY:
1783                    $rvalue = "empty(" . str($rvalue) . ")";
1784                    break;
1785                }
1786                $resvar = $rvalue;
1787                break;
1788                // }}}
1789            case XC_SEND_VAR_NO_REF:
1790            case XC_SEND_VAL:
1791            case XC_SEND_REF:
1792            case XC_SEND_VAR: // {{{
1793                $ref = ($opc == XC_SEND_REF ? '&' : '');
1794                $EX['argstack'][] = $ref . str($this->getOpVal($op1, $EX));
1795                break;
1796                // }}}
1797            case XC_INIT_STATIC_METHOD_CALL:
1798            case XC_INIT_METHOD_CALL: // {{{
1799                array_push($EX['arg_types_stack'], array($EX['fbc'], $EX['object'], $EX['called_scope']));
1800                if ($opc == XC_INIT_STATIC_METHOD_CALL || $opc == XC_INIT_METHOD_CALL || $op1['op_type'] != XC_IS_UNUSED) {
1801                    $obj = $this->getOpVal($op1, $EX);
1802                    if (!isset($obj)) {
1803                        $obj = '$this';
1804                    }
1805                    if ($opc == XC_INIT_STATIC_METHOD_CALL || /* PHP4 */ isset($op1['constant'])) {
1806                        $EX['object'] = null;
1807                        $EX['called_scope'] = $this->stripNamespace(unquoteName($obj, $EX));
1808                    }
1809                    else {
1810                        $EX['object'] = $obj;
1811                        $EX['called_scope'] = null;
1812                    }
1813                    if ($res['op_type'] != XC_IS_UNUSED) {
1814                        $resvar = '$obj call$';
1815                    }
1816                }
1817                else {
1818                    $EX['object'] = null;
1819                    $EX['called_scope'] = null;
1820                }
1821
1822                $EX['fbc'] = isset($op2['constant']) ? $op2['constant'] : $this->getOpVal($op2, $EX);
1823                if (($opc == XC_INIT_STATIC_METHOD_CALL || $opc == XC_INIT_METHOD_CALL) && !isset($EX['fbc'])) {
1824                    $EX['fbc'] = '__construct';
1825                }
1826                break;
1827                // }}}
1828            case XC_INIT_NS_FCALL_BY_NAME:
1829            case XC_INIT_FCALL_BY_NAME: // {{{
1830                array_push($EX['arg_types_stack'], array($EX['fbc'], $EX['object'], $EX['called_scope']));
1831                $EX['object'] = null;
1832                $EX['called_scope'] = null;
1833                $EX['fbc'] = $this->getOpVal($op2, $EX);
1834                break;
1835                // }}}
1836            case XC_INIT_FCALL_BY_FUNC: // {{{ deprecated even in PHP 4?
1837                $EX['object'] = null;
1838                $EX['called_scope'] = null;
1839                $which = $op1['var'];
1840                $EX['fbc'] = $EX['op_array']['funcs'][$which]['name'];
1841                break;
1842                // }}}
1843            case XC_DO_FCALL_BY_FUNC:
1844                $which = $op1['var'];
1845                $fname = $EX['op_array']['funcs'][$which]['name'];
1846                $args = $this->popargs($EX, $ext);
1847                $resvar = $fname . "($args)";
1848                break;
1849            case XC_DO_FCALL:
1850                $fname = unquoteName($this->getOpVal($op1, $EX), $EX);
1851                $args = $this->popargs($EX, $ext);
1852                $resvar = $fname . "($args)";
1853                break;
1854            case XC_DO_FCALL_BY_NAME: // {{{
1855                $object = null;
1856
1857                $fname = unquoteName($EX['fbc'], $EX);
1858                if (!is_int($EX['object'])) {
1859                    $object = $EX['object'];
1860                }
1861
1862                $args = $this->popargs($EX, $ext);
1863
1864                $prefix = (isset($object) ? $object . '->' : '' )
1865                    . (isset($EX['called_scope']) ? $EX['called_scope'] . '::' : '' );
1866                $resvar = $prefix
1867                    . (!$prefix ? $this->stripNamespace($fname) : $fname)
1868                    . "($args)";
1869                unset($args);
1870
1871                if (is_int($EX['object'])) {
1872                    $T[$EX['object']] = $resvar;
1873                    $resvar = null;
1874                }
1875                list($EX['fbc'], $EX['object'], $EX['called_scope']) = array_pop($EX['arg_types_stack']);
1876                break;
1877                // }}}
1878            case XC_VERIFY_ABSTRACT_CLASS: // {{{
1879                //unset($T[$op1['var']]);
1880                break;
1881                // }}}
1882            case XC_DECLARE_CLASS: 
1883            case XC_DECLARE_INHERITED_CLASS:
1884            case XC_DECLARE_INHERITED_CLASS_DELAYED: // {{{
1885                $key = $op1['constant'];
1886                if (!isset($this->dc['class_table'][$key])) {
1887                    echo 'class not found: ', $key, 'existing classes are:', "\n";
1888                    var_dump(array_keys($this->dc['class_table']));
1889                    exit;
1890                }
1891                $class = &$this->dc['class_table'][$key];
1892                if (!isset($class['name'])) {
1893                    $class['name'] = unquoteName($this->getOpVal($op2, $EX), $EX);
1894                }
1895                if ($opc == XC_DECLARE_INHERITED_CLASS || $opc == XC_DECLARE_INHERITED_CLASS_DELAYED) {
1896                    $ext /= XC_SIZEOF_TEMP_VARIABLE;
1897                    $class['parent'] = $T[$ext];
1898                    unset($T[$ext]);
1899                }
1900                else {
1901                    $class['parent'] = null;
1902                }
1903
1904                for (;;) {
1905                    if ($i + 1 <= $range[1]
1906                     && $opcodes[$i + 1]['opcode'] == XC_ADD_INTERFACE
1907                     && $opcodes[$i + 1]['op1']['var'] == $res['var']) {
1908                        // continue
1909                    }
1910                    else if ($i + 2 <= $range[1]
1911                     && $opcodes[$i + 2]['opcode'] == XC_ADD_INTERFACE
1912                     && $opcodes[$i + 2]['op1']['var'] == $res['var']
1913                     && $opcodes[$i + 1]['opcode'] == XC_FETCH_CLASS) {
1914                        // continue
1915                    }
1916                    else {
1917                        break;
1918                    }
1919                    $this->usedOps[XC_ADD_INTERFACE] = true;
1920
1921                    $fetchop = &$opcodes[$i + 1];
1922                    $interface = $this->stripNamespace(unquoteName($this->getOpVal($fetchop['op2'], $EX), $EX));
1923                    $addop = &$opcodes[$i + 2];
1924                    $class['interfaces'][$addop['extended_value']] = $interface;
1925                    unset($fetchop, $addop);
1926                    $i += 2;
1927                }
1928                $this->activeClass = $class['name'];
1929                $this->dclass($class, $EX['indent']);
1930                $this->activeClass = null;
1931                echo "\n";
1932                unset($class);
1933                break;
1934                // }}}
1935            case XC_INIT_STRING: // {{{
1936                $resvar = "''";
1937                break;
1938                // }}}
1939            case XC_ADD_CHAR:
1940            case XC_ADD_STRING:
1941            case XC_ADD_VAR: // {{{
1942                $op1val = $this->getOpVal($op1, $EX);
1943                $op2val = $this->getOpVal($op2, $EX);
1944                switch ($opc) {
1945                case XC_ADD_CHAR:
1946                    $op2val = value(chr(str($op2val)), $EX);
1947                    break;
1948                case XC_ADD_STRING:
1949                    break;
1950                case XC_ADD_VAR:
1951                    break;
1952                }
1953                if (str($op1val) == "''") {
1954                    $rvalue = $op2val;
1955                }
1956                else if (str($op2val) == "''") {
1957                    $rvalue = $op1val;
1958                }
1959                else {
1960                    $rvalue = str($op1val) . ' . ' . str($op2val);
1961                }
1962                $resvar = $rvalue;
1963                // }}}
1964                break;
1965            case XC_PRINT: // {{{
1966                $op1val = $this->getOpVal($op1, $EX);
1967                $resvar = "print(" . str($op1val) . ")";
1968                break;
1969                // }}}
1970            case XC_ECHO: // {{{
1971                $op1val = $this->getOpVal($op1, $EX);
1972                $resvar = "echo " . str($op1val);
1973                break;
1974                // }}}
1975            case XC_EXIT: // {{{
1976                $op1val = $this->getOpVal($op1, $EX);
1977                $resvar = "exit($op1val)";
1978                break;
1979                // }}}
1980            case XC_INIT_ARRAY:
1981            case XC_ADD_ARRAY_ELEMENT: // {{{
1982                $rvalue = $this->getOpVal($op1, $EX, true);
1983
1984                if ($opc == XC_ADD_ARRAY_ELEMENT) {
1985                    $assoc = $this->getOpVal($op2, $EX);
1986                    if (isset($assoc)) {
1987                        $curResVar->value[] = array($assoc, $rvalue);
1988                    }
1989                    else {
1990                        $curResVar->value[] = array(null, $rvalue);
1991                    }
1992                }
1993                else {
1994                    if ($opc == XC_INIT_ARRAY) {
1995                        $resvar = new Decompiler_Array();
1996                        if (!isset($rvalue)) {
1997                            continue;
1998                        }
1999                    }
2000
2001                    $assoc = $this->getOpVal($op2, $EX);
2002                    if (isset($assoc)) {
2003                        $resvar->value[] = array($assoc, $rvalue);
2004                    }
2005                    else {
2006                        $resvar->value[] = array(null, $rvalue);
2007                    }
2008                }
2009                break;
2010                // }}}
2011            case XC_QM_ASSIGN:
2012            case XC_QM_ASSIGN_VAR: // {{{
2013                if (isset($curResVar) && is_a($curResVar, 'Decompiler_Binop')) {
2014                    $curResVar->op2 = $this->getOpVal($op1, $EX);
2015                }
2016                else {
2017                    $resvar = $this->getOpVal($op1, $EX);
2018                }
2019                break;
2020                // }}}
2021            case XC_BOOL: // {{{
2022                $resvar = /*'(bool) ' .*/ $this->getOpVal($op1, $EX);
2023                break;
2024                // }}}
2025            case XC_RETURN: // {{{
2026                $resvar = "return " . str($this->getOpVal($op1, $EX));
2027                break;
2028                // }}}
2029            case XC_INCLUDE_OR_EVAL: // {{{
2030                $type = ZEND_ENGINE_2_4 ? $ext : $op2['var']; // hack
2031                $keyword = $this->includeTypes[$type];
2032                $resvar = "$keyword " . str($this->getOpVal($op1, $EX));
2033                break;
2034                // }}}
2035            case XC_FE_RESET: // {{{
2036                $resvar = $this->getOpVal($op1, $EX);
2037                break;
2038                // }}}
2039            case XC_FE_FETCH: // {{{
2040                $op['fe_src'] = $this->getOpVal($op1, $EX, true);
2041                $fe = new Decompiler_ForeachBox($op);
2042                $fe->iskey = false;
2043                $T[$res['var']] = $fe;
2044
2045                ++ $i;
2046                if (($ext & ZEND_FE_FETCH_WITH_KEY)) {
2047                    $fe = new Decompiler_ForeachBox($op);
2048                    $fe->iskey = true;
2049
2050                    $res = $opcodes[$i]['result'];
2051                    $T[$res['var']] = $fe;
2052                }
2053                break;
2054                // }}}
2055            case XC_SWITCH_FREE: // {{{
2056                break;
2057                // }}}
2058            case XC_FREE: // {{{
2059                $free = $T[$op1['var']];
2060                if (!is_a($free, 'Decompiler_Array') && !is_a($free, 'Decompiler_Box')) {
2061                    $op['php'] = is_object($free) ? $free : $this->unquote($free, '(', ')');
2062                    $lastphpop = &$op;
2063                }
2064                unset($T[$op1['var']], $free);
2065                break;
2066                // }}}
2067            case XC_JMP_NO_CTOR:
2068                break;
2069            case XC_JMPZ_EX: // and
2070            case XC_JMPNZ_EX: // or
2071                $resvar = $this->getOpVal($op1, $EX);
2072                break;
2073
2074            case XC_JMPNZ: // while
2075            case XC_JMPZNZ: // for
2076            case XC_JMPZ: // {{{
2077                break;
2078                // }}}
2079            case XC_CONT:
2080            case XC_BRK:
2081                $resvar = $opc == XC_CONT ? 'continue' : 'break';
2082                $count = str($this->getOpVal($op2, $EX));
2083                if ($count != '1') {
2084                    $resvar .= ' ' . $count;
2085                }
2086                break;
2087            case XC_GOTO:
2088                $resvar = 'goto label' . $op['op1']['var'];
2089                $istmpres = false;
2090                break;
2091
2092            case XC_JMP: // {{{
2093                break;
2094                // }}}
2095            case XC_CASE:
2096                // $switchValue = $this->getOpVal($op1, $EX);
2097                $caseValue = $this->getOpVal($op2, $EX);
2098                $resvar = $caseValue;
2099                break;
2100            case XC_RECV_INIT:
2101            case XC_RECV:
2102                $offset = isset($op1['var']) ? $op1['var'] : $op1['constant'];
2103                $lvalue = $this->getOpVal($op['result'], $EX);
2104                if ($opc == XC_RECV_INIT) {
2105                    $default = value($op['op2']['constant'], $EX);
2106                }
2107                else {
2108                    $default = null;
2109                }
2110                $EX['recvs'][$offset] = array($lvalue, $default);
2111                break;
2112            case XC_POST_DEC:
2113            case XC_POST_INC:
2114            case XC_POST_DEC_OBJ:
2115            case XC_POST_INC_OBJ:
2116            case XC_PRE_DEC:
2117            case XC_PRE_INC:
2118            case XC_PRE_DEC_OBJ:
2119            case XC_PRE_INC_OBJ: // {{{
2120                $flags = array_flip(explode('_', $opname));
2121                if (isset($flags['OBJ'])) {
2122                    $resvar = $this->getOpVal($op1, $EX) . '->' . unquoteVariableName($this->getOpVal($op2, $EX), $EX);
2123                }
2124                else {
2125                    $resvar = $this->getOpVal($op1, $EX);
2126                }
2127                $opstr = isset($flags['DEC']) ? '--' : '++';
2128                if (isset($flags['POST'])) {
2129                    $resvar .= $opstr;
2130                }
2131                else {
2132                    $resvar = "$opstr$resvar";
2133                }
2134                break;
2135                // }}}
2136
2137            case XC_BEGIN_SILENCE: // {{{
2138                $EX['silence'] ++;
2139                break;
2140                // }}}
2141            case XC_END_SILENCE: // {{{
2142                $EX['silence'] --;
2143                $lastresvar = '@' . str($lastresvar, $EX);
2144                break;
2145                // }}}
2146            case XC_CAST: // {{{
2147                $type = $ext;
2148                static $type2cast = array(
2149                        IS_LONG   => '(int)',
2150                        IS_DOUBLE => '(double)',
2151                        IS_STRING => '(string)',
2152                        IS_ARRAY  => '(array)',
2153                        IS_OBJECT => '(object)',
2154                        IS_BOOL   => '(bool)',
2155                        IS_NULL   => '(unset)',
2156                        );
2157                assert(isset($type2cast[$type]));
2158                $cast = $type2cast[$type];
2159                $resvar = $cast . ' ' . $this->getOpVal($op1, $EX);
2160                break;
2161                // }}}
2162            case XC_EXT_STMT:
2163            case XC_EXT_FCALL_BEGIN:
2164            case XC_EXT_FCALL_END:
2165            case XC_EXT_NOP:
2166                break;
2167            case XC_DECLARE_FUNCTION:
2168                $this->dfunction($this->dc['function_table'][$op1['constant']], $EX['indent']);
2169                break;
2170            case XC_DECLARE_LAMBDA_FUNCTION: // {{{
2171                ob_start();
2172                $this->dfunction($this->dc['function_table'][$op1['constant']], $EX['indent']);
2173                $resvar = ob_get_clean();
2174                $istmpres = true;
2175                break;
2176                // }}}
2177            case XC_DECLARE_CONST:
2178                $name = $this->stripNamespace(unquoteName($this->getOpVal($op1, $EX), $EX));
2179                $value = str($this->getOpVal($op2, $EX));
2180                $resvar = 'const ' . $name . ' = ' . $value;
2181                break;
2182            case XC_DECLARE_FUNCTION_OR_CLASS:
2183                /* always removed by compiler */
2184                break;
2185            case XC_TICKS:
2186                $lastphpop['ticks'] = ZEND_ENGINE_2_4 ? $ext : $this->getOpVal($op1, $EX);
2187                // $EX['tickschanged'] = true;
2188                break;
2189            case XC_RAISE_ABSTRACT_ERROR:
2190                // abstract function body is empty, don't need this code
2191                break;
2192            case XC_USER_OPCODE:
2193                echo '// ZEND_USER_OPCODE, impossible to decompile';
2194                break;
2195            case XC_OP_DATA:
2196                break;
2197            default: // {{{
2198                $call = array(&$this, $opname);
2199                if (is_callable($call)) {
2200                    $this->usedOps[$opc] = true;
2201                    $this->{$opname}($op, $EX);
2202                }
2203                else if (isset($this->binops[$opc])) { // {{{
2204                    $this->usedOps[$opc] = true;
2205                    $op1val = $this->getOpVal($op1, $EX);
2206                    $op2val = $this->getOpVal($op2, $EX);
2207                    $rvalue = new Decompiler_Binop($this, $op1val, $opc, $op2val);
2208                    $resvar = $rvalue;
2209                    // }}}
2210                }
2211                else if (isset($this->unaryops[$opc])) { // {{{
2212                    $this->usedOps[$opc] = true;
2213                    $op1val = $this->getOpVal($op1, $EX);
2214                    $myop = $this->unaryops[$opc];
2215                    $rvalue = $myop . str($op1val);
2216                    $resvar = $rvalue;
2217                    // }}}
2218                }
2219                else {
2220                    $notHandled = true;
2221                }
2222                // }}}
2223            }
2224            if ($notHandled) {
2225                echo "\x1B[31m * TODO ", $opname, "\x1B[0m\n";
2226            }
2227            else {
2228                $this->usedOps[$opc] = true;
2229            }
2230
2231            if (isset($resvar)) {
2232                if ($istmpres) {
2233                    $T[$res['var']] = $resvar;
2234                    $lastresvar = &$T[$res['var']];
2235                }
2236                else {
2237                    $op['php'] = $resvar;
2238                    $lastphpop = &$op;
2239                    $lastresvar = &$op['php'];
2240                }
2241            }
2242        }
2243        return $T;
2244    }
2245    // }}}
2246    function unquote($str, $st, $ed) // {{{
2247    {
2248        $l1 = strlen($st);
2249        $l2 = strlen($ed);
2250        if (substr($str, 0, $l1) === $st && substr($str, -$l2) === $ed) {
2251            $str = substr($str, $l1, -$l2);
2252        }
2253        return $str;
2254    }
2255    // }}}
2256    function popargs(&$EX, $n) // {{{
2257    {
2258        $args = array();
2259        for ($i = 0; $i < $n; $i ++) {
2260            $a = array_pop($EX['argstack']);
2261            if (is_array($a)) {
2262                array_unshift($args, foldToCode($a, $EX));
2263            }
2264            else {
2265                array_unshift($args, $a);
2266            }
2267        }
2268        return implode(', ', $args);
2269    }
2270    // }}}
2271    function dumpop($op, &$EX) // {{{
2272    {
2273        assert('isset($op)');
2274        $op1 = $op['op1'];
2275        $op2 = $op['op2'];
2276        $d = array(xcache_get_opcode($op['opcode']), $op['opcode']);
2277
2278        foreach (array('op1' => '1:', 'op2' => '2:', 'result' => '>') as $k => $kk) {
2279            switch ($op[$k]['op_type']) {
2280            case XC_IS_UNUSED:
2281                $d[$kk] = 'U:' . $op[$k]['opline_num'];
2282                break;
2283
2284            case XC_IS_VAR:
2285                $d[$kk] = '$' . $op[$k]['var'];
2286                if ($k != 'result') {
2287                    $d[$kk] .= ':' . str($this->getOpVal($op[$k], $EX));
2288                }
2289                break;
2290
2291            case XC_IS_TMP_VAR:
2292                $d[$kk] = '#' . $op[$k]['var'];
2293                if ($k != 'result') {
2294                    $d[$kk] .= ':' . str($this->getOpVal($op[$k], $EX));
2295                }
2296                break;
2297
2298            case XC_IS_CV:
2299                $d[$kk] = $this->getOpVal($op[$k], $EX);
2300                break;
2301
2302            default:
2303                $d[$kk] = $this->getOpVal($op[$k], $EX);
2304            }
2305        }
2306        $d[';'] = $op['extended_value'];
2307        if (!empty($op['jmpouts'])) {
2308            $d['>>'] = implode(',', $op['jmpouts']);
2309        }
2310        if (!empty($op['jmpins'])) {
2311            $d['<<'] = implode(',', $op['jmpins']);
2312        }
2313
2314        foreach ($d as $k => $v) {
2315            echo is_int($k) ? '' : $k, str($v), "\t";
2316        }
2317        echo PHP_EOL;
2318    }
2319    // }}}
2320    function dumpRange(&$EX, $range) // {{{
2321    {
2322        for ($i = $range[0]; $i <= $range[1]; ++$i) {
2323            echo $EX['indent'], $i, "\t"; $this->dumpop($EX['opcodes'][$i], $EX);
2324        }
2325        echo $EX['indent'], "==", PHP_EOL;
2326    }
2327    // }}}
2328    function dargs(&$EX) // {{{
2329    {
2330        $op_array = &$EX['op_array'];
2331
2332        if (isset($op_array['num_args'])) {
2333            $c = $op_array['num_args'];
2334        }
2335        else if (!empty($op_array['arg_types'])) {
2336            $c = count($op_array['arg_types']);
2337        }
2338        else {
2339            // php4
2340            $c = count($EX['recvs']);
2341        }
2342
2343        $refrest = false;
2344        for ($i = 0; $i < $c; $i ++) {
2345            if ($i) {
2346                echo ', ';
2347            }
2348            $arg = $EX['recvs'][$i + 1];
2349            if (isset($op_array['arg_info'])) {
2350                $ai = $op_array['arg_info'][$i];
2351                if (isset($ai['type_hint']) ? ($ai['type_hint'] == IS_CALLABLE || $ai['type_hint'] == IS_OBJECT) : !empty($ai['class_name'])) {
2352                    echo $this->stripNamespace($ai['class_name']), ' ';
2353                    if (!ZEND_ENGINE_2_2 && $ai['allow_null']) {
2354                        echo 'or NULL ';
2355                    }
2356                }
2357                else if (isset($ai['type_hint']) ? $ai['type_hint'] == IS_ARRAY : !empty($ai['array_type_hint'])) {
2358                    echo 'array ';
2359                    if (!ZEND_ENGINE_2_2 && $ai['allow_null']) {
2360                        echo 'or NULL ';
2361                    }
2362                }
2363                if ($ai['pass_by_reference']) {
2364                    echo '&';
2365                }
2366                printf("\$%s", $ai['name']);
2367            }
2368            else {
2369                if ($refrest) {
2370                    echo '&';
2371                }
2372                else if (!empty($op_array['arg_types']) && isset($op_array['arg_types'][$i])) {
2373                    switch ($op_array['arg_types'][$i]) {
2374                    case BYREF_FORCE_REST:
2375                        $refrest = true;
2376                        /* fall */
2377                    case BYREF_FORCE:
2378                        echo '&';
2379                        break;
2380
2381                    case BYREF_NONE:
2382                    case BYREF_ALLOW:
2383                        break;
2384                    default:
2385                        assert(0);
2386                    }
2387                }
2388                echo str($arg[0], $EX);
2389            }
2390            if (isset($arg[1])) {
2391                echo ' = ', str($arg[1], $EX);
2392            }
2393        }
2394    }
2395    // }}}
2396    function duses(&$EX) // {{{
2397    {
2398        if ($EX['uses']) {
2399            echo ' use(', implode(', ', $EX['uses']), ')';
2400        }
2401    }
2402    // }}}
2403    function dfunction($func, $indent = '', $decorations = array(), $nobody = false) // {{{
2404    {
2405        $this->detectNamespace($func['op_array']['function_name']);
2406
2407        if ($nobody) {
2408            $EX = array();
2409            $EX['op_array'] = &$func['op_array'];
2410            $EX['recvs'] = array();
2411            $EX['uses'] = array();
2412        }
2413        else {
2414            ob_start();
2415            $EX = &$this->dop_array($func['op_array'], $indent . INDENT);
2416            $body = ob_get_clean();
2417        }
2418
2419        $functionName = $this->stripNamespace($func['op_array']['function_name']);
2420        $isExpression = false;
2421        if ($functionName == '{closure}') {
2422            $functionName = '';
2423            $isExpression = true;
2424        }
2425        echo $isExpression ? '' : $indent;
2426        if ($decorations) {
2427            echo implode(' ', $decorations), ' ';
2428        }
2429        echo 'function', $functionName ? ' ' . $functionName : '', '(';
2430        $this->dargs($EX);
2431        echo ")";
2432        $this->duses($EX);
2433        if ($nobody) {
2434            echo ";\n";
2435        }
2436        else {
2437            if (!$isExpression) {
2438                echo "\n";
2439                echo $indent, "{\n";
2440            }
2441            else {
2442                echo " {\n";
2443            }
2444
2445            echo $body;
2446            echo "$indent}";
2447            if (!$isExpression) {
2448                echo "\n";
2449            }
2450        }
2451    }
2452    // }}}
2453    function dclass($class, $indent = '') // {{{
2454    {
2455        $this->detectNamespace($class['name']);
2456
2457        // {{{ class decl
2458        if (!empty($class['doc_comment'])) {
2459            echo $indent;
2460            echo $class['doc_comment'];
2461            echo "\n";
2462        }
2463        $isInterface = false;
2464        $decorations = array();
2465        if (!empty($class['ce_flags'])) {
2466            if ($class['ce_flags'] & ZEND_ACC_INTERFACE) {
2467                $isInterface = true;
2468            }
2469            else {
2470                if ($class['ce_flags'] & ZEND_ACC_IMPLICIT_ABSTRACT_CLASS) {
2471                    $decorations[] = "abstract";
2472                }
2473                if ($class['ce_flags'] & ZEND_ACC_FINAL_CLASS) {
2474                    $decorations[] = "final";
2475                }
2476            }
2477        }
2478
2479        echo $indent;
2480        if ($decorations) {
2481            echo implode(' ', $decorations), ' ';
2482        }
2483        echo $isInterface ? 'interface ' : 'class ', $this->stripNamespace($class['name']);
2484        if ($class['parent']) {
2485            echo ' extends ', $this->stripNamespace($class['parent']);
2486        }
2487        /* TODO */
2488        if (!empty($class['interfaces'])) {
2489            echo ' implements ';
2490            echo implode(', ', $class['interfaces']);
2491        }
2492        echo "\n";
2493        echo $indent, "{";
2494        // }}}
2495        $newindent = INDENT . $indent;
2496        // {{{ const, static
2497        foreach (array('constants_table' => 'const '
2498                    , 'static_members' => 'static $') as $type => $prefix) {
2499            if (!empty($class[$type])) {
2500                echo "\n";
2501                // TODO: skip shadow?
2502                foreach ($class[$type] as $name => $v) {
2503                    echo $newindent;
2504                    echo $prefix, $name, ' = ';
2505                    echo str(value($v, $EX), $newindent);
2506                    echo ";\n";
2507                }
2508            }
2509        }
2510        // }}}
2511        // {{{ properties
2512        $member_variables = isset($class['properties_info']) ? $class['properties_info'] : ($class['default_static_members'] + $class['default_properties']);
2513        if ($member_variables) {
2514            echo "\n";
2515            $infos = !empty($class['properties_info']) ? $class['properties_info'] : null;
2516            foreach ($member_variables as $name => $dummy) {
2517                $info = (isset($infos) && isset($infos[$name])) ? $infos[$name] : null;
2518                if (isset($info)) {
2519                    if (!empty($info['doc_comment'])) {
2520                        echo $newindent;
2521                        echo $info['doc_comment'];
2522                        echo "\n";
2523                    }
2524                }
2525
2526                echo $newindent;
2527                $static = false;
2528                if (isset($info)) {
2529                    if ($info['flags'] & ZEND_ACC_STATIC) {
2530                        $static = true;
2531                    }
2532                }
2533                else if (isset($class['default_static_members'][$name])) {
2534                    $static = true;
2535                }
2536
2537                if ($static) {
2538                    echo "static ";
2539                }
2540
2541                $mangled = false;
2542                if (!isset($info)) {
2543                    echo 'public ';
2544                }
2545                else {
2546                    if ($info['flags'] & ZEND_ACC_SHADOW) {
2547                        continue;
2548                    }
2549                    switch ($info['flags'] & ZEND_ACC_PPP_MASK) {
2550                    case ZEND_ACC_PUBLIC:
2551                        echo "public ";
2552                        break;
2553                    case ZEND_ACC_PRIVATE:
2554                        echo "private ";
2555                        $mangled = true;
2556                        break;
2557                    case ZEND_ACC_PROTECTED:
2558                        echo "protected ";
2559                        $mangled = true;
2560                        break;
2561                    }
2562                }
2563
2564                echo '$', $name;
2565
2566                if (isset($info['offset'])) {
2567                    $value = $class[$static ? 'default_static_members_table' : 'default_properties_table'][$info['offset']];
2568                }
2569                else {
2570                    $key = isset($info) ? $info['name'] . ($mangled ? "\000" : "") : $name;
2571
2572                    $value = $class[$static ? 'default_static_members' : 'default_properties'][$key];
2573                }
2574                if (isset($value)) {
2575                    echo ' = ';
2576                    echo str(value($value, $EX), $newindent);
2577                }
2578                echo ";\n";
2579            }
2580        }
2581        // }}}
2582        // {{{ function_table
2583        if (isset($class['function_table'])) {
2584            foreach ($class['function_table'] as $func) {
2585                if (!isset($func['scope']) || $func['scope'] == $class['name']) {
2586                    // TODO: skip shadow here
2587                    echo "\n";
2588                    $opa = $func['op_array'];
2589                    if (!empty($opa['doc_comment'])) {
2590                        echo $newindent;
2591                        echo $opa['doc_comment'];
2592                        echo "\n";
2593                    }
2594                    $isAbstractMethod = false;
2595                    $decorations = array();
2596                    if (isset($opa['fn_flags'])) {
2597                        if (($opa['fn_flags'] & ZEND_ACC_ABSTRACT) && !$isInterface) {
2598                            $decorations[] = "abstract";
2599                            $isAbstractMethod = true;
2600                        }
2601                        if ($opa['fn_flags'] & ZEND_ACC_FINAL) {
2602                            $decorations[] = "final";
2603                        }
2604                        if ($opa['fn_flags'] & ZEND_ACC_STATIC) {
2605                            $decorations[] = "static";
2606                        }
2607
2608                        switch ($opa['fn_flags'] & ZEND_ACC_PPP_MASK) {
2609                            case ZEND_ACC_PUBLIC:
2610                                $decorations[] = "public";
2611                                break;
2612                            case ZEND_ACC_PRIVATE:
2613                                $decorations[] = "private";
2614                                break;
2615                            case ZEND_ACC_PROTECTED:
2616                                $decorations[] = "protected";
2617                                break;
2618                            default:
2619                                $decorations[] = "<visibility error>";
2620                                break;
2621                        }
2622                    }
2623                    $this->activeMethod = $this->activeClass . '::' . $opa['function_name'];
2624                    $this->activeFunction = $opa['function_name'];
2625                    $this->dfunction($func, $newindent, $decorations, $isInterface || $isAbstractMethod);
2626                    $this->activeFunction = null;
2627                    $this->activeMethod = null;
2628                    if ($opa['function_name'] == 'Decompiler') {
2629                        //exit;
2630                    }
2631                }
2632            }
2633        }
2634        // }}}
2635        echo $indent, "}\n";
2636    }
2637    // }}}
2638    function decompileString($string) // {{{
2639    {
2640        $this->dc = xcache_dasm_string($string);
2641        if ($this->dc === false) {
2642            echo "error compling string\n";
2643            return false;
2644        }
2645        $this->activeFile = null;
2646        return true;
2647    }
2648    // }}}
2649    function decompileFile($file) // {{{
2650    {
2651        $this->dc = xcache_dasm_file($file);
2652        if ($this->dc === false) {
2653            echo "error compling $file\n";
2654            return false;
2655        }
2656        $this->activeFile = realpath($file);
2657        return true;
2658    }
2659    // }}}
2660    function decompileDasm($content) // {{{
2661    {
2662        $this->dc = $content;
2663        $this->activeFile = null;
2664        return true;
2665    }
2666    // }}}
2667    function output() // {{{
2668    {
2669        echo "<?". "php\n\n";
2670        foreach ($this->dc['class_table'] as $key => $class) {
2671            if ($key{0} != "\0") {
2672                $this->activeClass = $class['name'];
2673                $this->dclass($class);
2674                $this->activeClass = null;
2675                echo "\n";
2676            }
2677        }
2678
2679        foreach ($this->dc['function_table'] as $key => $func) {
2680            if ($key{0} != "\0") {
2681                $this->activeFunction = $key;
2682                $this->dfunction($func);
2683                $this->activeFunction = null;
2684                echo "\n";
2685            }
2686        }
2687
2688        $this->dop_array($this->dc['op_array']);
2689        echo "\n?" . ">\n";
2690
2691        if (!empty($this->test)) {
2692            $this->outputUnusedOp();
2693        }
2694        return true;
2695    }
2696    // }}}
2697    function outputUnusedOp() // {{{
2698    {
2699        for ($i = 0; $opname = xcache_get_opcode($i); $i ++) {
2700            if ($opname == 'UNDEF')  {
2701                continue;
2702            }
2703
2704            if (!isset($this->usedOps[$i])) {
2705                echo "not covered opcode ", $opname, "\n";
2706            }
2707        }
2708    }
2709    // }}}
2710}
2711
2712// {{{ defines
2713define('ZEND_ENGINE_2_4', PHP_VERSION >= "5.4");
2714define('ZEND_ENGINE_2_3', ZEND_ENGINE_2_4 || PHP_VERSION >= "5.3.");
2715define('ZEND_ENGINE_2_2', ZEND_ENGINE_2_3 || PHP_VERSION >= "5.2.");
2716define('ZEND_ENGINE_2_1', ZEND_ENGINE_2_2 || PHP_VERSION >= "5.1.");
2717
2718define('ZEND_ACC_STATIC',         0x01);
2719define('ZEND_ACC_ABSTRACT',       0x02);
2720define('ZEND_ACC_FINAL',          0x04);
2721define('ZEND_ACC_IMPLEMENTED_ABSTRACT',       0x08);
2722
2723define('ZEND_ACC_IMPLICIT_ABSTRACT_CLASS',    0x10);
2724define('ZEND_ACC_EXPLICIT_ABSTRACT_CLASS',    0x20);
2725define('ZEND_ACC_FINAL_CLASS',                0x40);
2726define('ZEND_ACC_INTERFACE',                  0x80);
2727if (ZEND_ENGINE_2_4) {
2728    define('ZEND_ACC_TRAIT',                  0x120);
2729}
2730define('ZEND_ACC_PUBLIC',     0x100);
2731define('ZEND_ACC_PROTECTED',  0x200);
2732define('ZEND_ACC_PRIVATE',    0x400);
2733define('ZEND_ACC_PPP_MASK',  (ZEND_ACC_PUBLIC | ZEND_ACC_PROTECTED | ZEND_ACC_PRIVATE));
2734
2735define('ZEND_ACC_CHANGED',    0x800);
2736define('ZEND_ACC_IMPLICIT_PUBLIC',    0x1000);
2737
2738define('ZEND_ACC_CTOR',       0x2000);
2739define('ZEND_ACC_DTOR',       0x4000);
2740define('ZEND_ACC_CLONE',      0x8000);
2741
2742define('ZEND_ACC_ALLOW_STATIC',   0x10000);
2743
2744define('ZEND_ACC_SHADOW', 0x2000);
2745
2746if (ZEND_ENGINE_2_4) {
2747    define('ZEND_FETCH_GLOBAL',           0x00000000);
2748    define('ZEND_FETCH_LOCAL',            0x10000000);
2749    define('ZEND_FETCH_STATIC',           0x20000000);
2750    define('ZEND_FETCH_STATIC_MEMBER',    0x30000000);
2751    define('ZEND_FETCH_GLOBAL_LOCK',      0x40000000);
2752    define('ZEND_FETCH_LEXICAL',          0x50000000);
2753
2754    define('ZEND_FETCH_TYPE_MASK',        0x70000000);
2755
2756    define('ZEND_FETCH_STANDARD',         0x00000000);
2757    define('ZEND_FETCH_ADD_LOCK',         0x08000000);
2758    define('ZEND_FETCH_MAKE_REF',         0x04000000);
2759}
2760else {
2761    define('ZEND_FETCH_GLOBAL',           0);
2762    define('ZEND_FETCH_LOCAL',            1);
2763    define('ZEND_FETCH_STATIC',           2);
2764    define('ZEND_FETCH_STATIC_MEMBER',    3);
2765    define('ZEND_FETCH_GLOBAL_LOCK',      4);
2766
2767    define('ZEND_FETCH_STANDARD',         0);
2768    define('ZEND_FETCH_ADD_LOCK',         1);
2769}
2770
2771if (ZEND_ENGINE_2_4) {
2772    define('ZEND_ISSET',                  0x02000000);
2773    define('ZEND_ISEMPTY',                0x01000000);
2774    define('ZEND_ISSET_ISEMPTY_MASK',     (ZEND_ISSET | ZEND_ISEMPTY));
2775    define('ZEND_QUICK_SET',              0x00800000);
2776}
2777else {
2778    define('ZEND_ISSET',                  (1<<0));
2779    define('ZEND_ISEMPTY',                (1<<1));
2780
2781    define('ZEND_ISSET_ISEMPTY_MASK',     (ZEND_ISSET | ZEND_ISEMPTY));
2782}
2783
2784define('ZEND_FETCH_CLASS_DEFAULT',    0);
2785define('ZEND_FETCH_CLASS_SELF',       1);
2786define('ZEND_FETCH_CLASS_PARENT',     2);
2787define('ZEND_FETCH_CLASS_MAIN',       3);
2788define('ZEND_FETCH_CLASS_GLOBAL',     4);
2789define('ZEND_FETCH_CLASS_AUTO',       5);
2790define('ZEND_FETCH_CLASS_INTERFACE',  6);
2791define('ZEND_FETCH_CLASS_STATIC',     7);
2792if (ZEND_ENGINE_2_4) {
2793    define('ZEND_FETCH_CLASS_TRAIT',     14);
2794}
2795if (ZEND_ENGINE_2_3) {
2796    define('ZEND_FETCH_CLASS_MASK',     0xF);
2797}
2798
2799define('ZEND_EVAL',               (1<<0));
2800define('ZEND_INCLUDE',            (1<<1));
2801define('ZEND_INCLUDE_ONCE',       (1<<2));
2802define('ZEND_REQUIRE',            (1<<3));
2803define('ZEND_REQUIRE_ONCE',       (1<<4));
2804
2805if (ZEND_ENGINE_2_4) {
2806    define('EXT_TYPE_UNUSED',     (1<<5));
2807}
2808else {
2809    define('EXT_TYPE_UNUSED',     (1<<0));
2810}
2811
2812define('ZEND_FE_FETCH_BYREF',     1);
2813define('ZEND_FE_FETCH_WITH_KEY',  2);
2814
2815define('ZEND_MEMBER_FUNC_CALL',   1<<0);
2816define('ZEND_CTOR_CALL',          1<<1);
2817
2818define('ZEND_ARG_SEND_BY_REF',        (1<<0));
2819define('ZEND_ARG_COMPILE_TIME_BOUND', (1<<1));
2820define('ZEND_ARG_SEND_FUNCTION',      (1<<2));
2821
2822define('BYREF_NONE',       0);
2823define('BYREF_FORCE',      1);
2824define('BYREF_ALLOW',      2);
2825define('BYREF_FORCE_REST', 3);
2826define('IS_NULL',     0);
2827define('IS_LONG',     1);
2828define('IS_DOUBLE',   2);
2829define('IS_BOOL',     3);
2830define('IS_ARRAY',    4);
2831define('IS_OBJECT',   5);
2832define('IS_STRING',   6);
2833define('IS_RESOURCE', 7);
2834define('IS_CONSTANT', 8);
2835define('IS_CONSTANT_ARRAY',   9);
2836if (ZEND_ENGINE_2_4) {
2837    define('IS_CALLABLE', 10);
2838}
2839/* Ugly hack to support constants as static array indices */
2840define('IS_CONSTANT_TYPE_MASK',   0x0f);
2841define('IS_CONSTANT_UNQUALIFIED', 0x10);
2842define('IS_CONSTANT_INDEX',       0x80);
2843define('IS_LEXICAL_VAR',          0x20);
2844define('IS_LEXICAL_REF',          0x40);
2845
2846@define('XC_IS_CV', 16);
2847
2848/*
2849if (preg_match_all('!XC_[A-Z_]+!', file_get_contents(__FILE__), $ms)) {
2850    $verdiff = array();
2851    foreach ($ms[0] as $k) {
2852        if (!defined($k)) {
2853            $verdiff[$k] = -1;
2854            define($k, -1);
2855        }
2856    }
2857    var_export($verdiff);
2858    exit;
2859}
2860//*/
2861foreach (array (
2862    'XC_DECLARE_CONST' => -1,
2863    'XC_DECLARE_FUNCTION_OR_CLASS' => -1,
2864    'XC_DECLARE_INHERITED_CLASS_DELAYED' => -1,
2865    'XC_DECLARE_LAMBDA_FUNCTION' => -1,
2866    'XC_DO_FCALL_BY_FUNC' => -1,
2867    'XC_GOTO' => -1,
2868    'XC_INIT_FCALL_BY_FUNC' => -1,
2869    'XC_INIT_NS_FCALL_BY_NAME' => -1,
2870    'XC_ISSET_ISEMPTY' => -1,
2871    'XC_JMP_NO_CTOR' => -1,
2872    'XC_JMP_SET' => -1,
2873    'XC_JMP_SET_VAR' => -1,
2874    'XC_QM_ASSIGN_VAR' => -1,
2875    'XC_UNSET_DIM_OBJ' => -1,
2876) as $k => $v) {
2877    if (!defined($k)) {
2878        define($k, $v);
2879    }
2880}
2881// }}}
2882
Note: See TracBrowser for help on using the repository browser.