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

Last change on this file since 1316 was 1316, checked in by moo, 17 months ago

Decompiler, disassembler: update PHP 5.0 support

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