source: branches/1.3/Decompiler.class.php @ 623

Last change on this file since 623 was 623, checked in by moo, 5 years ago

merged r514-r539 from trunk

  • Property svn:eol-style set to native
File size: 43.6 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 str($src, $indent = '') // {{{
12{
13    if (is_array($indent)) {
14        $indent = $indent['indent'];
15    }
16
17    /*
18    $e = xcache_get_special_value($src);
19    if (isset($e)) {
20        if (is_array($e)) {
21            $src = $e;
22        }
23        else {
24            return $e;
25        }
26    }
27    */
28
29    if (is_array($src)) {
30        die_error('array str');
31        $src = new Decompiler_Array($src, false, $indent);
32        return $src->__toString();
33    }
34
35    if (is_object($src)) {
36        if (!method_exists($src, '__toString')) {
37            var_dump($src);
38            die_error('no __toString');
39        }
40        return $src->__toString($indent);
41    }
42
43    return $src;
44}
45// }}}
46function value($value) // {{{
47{
48    $spec = xcache_get_special_value($value);
49    if (isset($spec)) {
50        $value = $spec;
51        if (!is_array($value)) {
52            // constant
53            return $value;
54        }
55    }
56
57    if (is_array($value)) {
58        $value = new Decompiler_Array($value, true);
59    }
60    else {
61        $value = new Decompiler_Value($value, true);
62    }
63    return $value;
64}
65// }}}
66class Decompiler_Object // {{{
67{
68}
69// }}}
70class Decompiler_Value extends Decompiler_Object // {{{
71{
72    var $value;
73
74    function Decompiler_Value($value = null)
75    {
76        $this->value = $value;
77    }
78
79    function __toString()
80    {
81        return var_export($this->value, true);
82    }
83}
84// }}}
85class Decompiler_Code extends Decompiler_Object // {{{
86{
87    var $src;
88
89    function Decompiler_Code($src)
90    {
91        $this->src = $src;
92    }
93
94    function __toString()
95    {
96        return $this->src;
97    }
98}
99// }}}
100class Decompiler_Binop extends Decompiler_Code // {{{
101{
102    var $opc;
103    var $op1;
104    var $op2;
105    var $parent;
106
107    function Decompiler_Binop($parent, $op1, $opc, $op2)
108    {
109        $this->parent = &$parent;
110        $this->opc = $opc;
111        $this->op1 = $op1;
112        $this->op2 = $op2;
113    }
114
115    function __toString()
116    {
117        $op1 = str($this->op1);
118        if (is_a($this->op1, 'Decompiler_Binop') && $this->op1->opc != $this->opc) {
119            $op1 = "($op1)";
120        }
121        $opstr = $this->parent->binops[$this->opc];
122        if ($op1 == '0' && $this->opc == XC_SUB) {
123            return $opstr . str($this->op2);
124        }
125        return $op1 . ' ' . $opstr . ' ' . str($this->op2);
126    }
127}
128// }}}
129class Decompiler_Fetch extends Decompiler_Code // {{{
130{
131    var $src;
132    var $fetchType;
133
134    function Decompiler_Fetch($src, $type, $globalsrc)
135    {
136        $this->src = $src;
137        $this->fetchType = $type;
138        $this->globalsrc = $globalsrc;
139    }
140
141    function __toString()
142    {
143        switch ($this->fetchType) {
144        case ZEND_FETCH_LOCAL:
145            return '$' . substr($this->src, 1, -1);
146        case ZEND_FETCH_STATIC:
147            die('static fetch cant to string');
148        case ZEND_FETCH_GLOBAL:
149        case ZEND_FETCH_GLOBAL_LOCK:
150            return $this->globalsrc;
151        default:
152            var_dump($this->fetchType);
153            assert(0);
154        }
155    }
156}
157// }}}
158class Decompiler_Box // {{{
159{
160    var $obj;
161
162    function Decompiler_Box(&$obj)
163    {
164        $this->obj = &$obj;
165    }
166
167    function __toString()
168    {
169        return $this->obj->__toString();
170    }
171}
172// }}}
173class Decompiler_Dim extends Decompiler_Value // {{{
174{
175    var $offsets = array();
176    var $isLast = false;
177    var $assign = null;
178
179    function __toString()
180    {
181        if (is_a($this->value, 'Decompiler_ListBox')) {
182            $exp = str($this->value->obj->src);
183        }
184        else {
185            $exp = str($this->value);
186        }
187        foreach ($this->offsets as $dim) {
188            $exp .= '[' . str($dim) . ']';
189        }
190        return $exp;
191    }
192}
193// }}}
194class Decompiler_DimBox extends Decompiler_Box // {{{
195{
196}
197// }}}
198class Decompiler_List extends Decompiler_Code // {{{
199{
200    var $src;
201    var $dims = array();
202    var $everLocked = false;
203
204    function __toString()
205    {
206        if (count($this->dims) == 1 && !$this->everLocked) {
207            $dim = $this->dims[0];
208            unset($dim->value);
209            $dim->value = $this->src;
210            if (!isset($dim->assign)) {
211                return str($dim);
212            }
213            return str($this->dims[0]->assign) . ' = ' . str($dim);
214        }
215        /* flatten dims */
216        $assigns = array();
217        foreach ($this->dims as $dim) {
218            $assign = &$assigns;
219            foreach ($dim->offsets as $offset) {
220                $assign = &$assign[$offset];
221            }
222            $assign = str($dim->assign);
223        }
224        return $this->toList($assigns) . ' = ' . str($this->src);
225    }
226
227    function toList($assigns)
228    {
229        $keys = array_keys($assigns);
230        if (count($keys) < 2) {
231            $keys[] = 0;
232        }
233        $max = call_user_func_array('max', $keys);
234        $list = 'list(';
235        for ($i = 0; $i <= $max; $i ++) {
236            if ($i) {
237                $list .= ', ';
238            }
239            if (!isset($assigns[$i])) {
240                continue;
241            }
242            if (is_array($assigns[$i])) {
243                $list .= $this->toList($assigns[$i]);
244            }
245            else {
246                $list .= $assigns[$i];
247            }
248        }
249        return $list . ')';
250    }
251}
252// }}}
253class Decompiler_ListBox extends Decompiler_Box // {{{
254{
255}
256// }}}
257class Decompiler_Array extends Decompiler_Value // {{{
258{
259    var $needExport = false;
260    var $indent = '';
261
262    function Decompiler_Array($value = array(), $needexport = false, $indent = '')
263    {
264        $this->value = $value;
265        $this->needExport = $needexport;
266        $this->indent = $indent;
267    }
268
269    function __toString()
270    {
271        $exp = "array(";
272        $indent = $this->indent . INDENT;
273        $assoclen = 0;
274        $multiline = 0;
275        $i = 0;
276        foreach ($this->value as $k => $v) {
277            if ($i !== $k) {
278                $len = strlen($k);
279                if ($assoclen < $len) {
280                    $assoclen = $len;
281                }
282            }
283            if (is_array($v)) {
284                $multiline ++;
285            }
286            ++ $i;
287        }
288        if ($assoclen && $this->needExport) {
289            $assoclen += 2;
290        }
291
292        $i = 0;
293        $subindent = $indent . INDENT;
294        foreach ($this->value as $k => $v) {
295            if ($multiline) {
296                if ($i) {
297                    $exp .= ",";
298                }
299                $exp .= "\n";
300                $exp .= $indent;
301            }
302            else {
303                if ($i) {
304                    $exp .= ", ";
305                }
306            }
307
308            if ($this->needExport) {
309                $k = var_export($k, true);
310            }
311            if ($multiline) {
312                $exp .= sprintf("%{$assoclen}s => ", $k);
313            }
314            else if ($assoclen) {
315                $exp .= $k . ' => ';
316            }
317
318            if (is_array($v)) {
319                $v = new Decompiler_Array($v, $this->needExport);
320            }
321            $exp .= str($v, $subindent);
322
323            $i ++;
324        }
325        if ($multiline) {
326            $exp .= "$indent);";
327        }
328        else {
329            $exp .= ")";
330        }
331        return $exp;
332    }
333}
334// }}}
335class Decompiler_ForeachBox extends Decompiler_Box // {{{
336{
337    var $iskey;
338
339    function __toString()
340    {
341        return 'foreach (' . '';
342    }
343}
344// }}}
345
346class Decompiler
347{
348    var $rName = '!^[\\w_][\\w\\d_]*$!';
349    var $rQuotedName = "!^'[\\w_][\\w\\d_]*'\$!";
350
351    function Decompiler()
352    {
353        // {{{ opinfo
354        $this->unaryops = array(
355                XC_BW_NOT   => '~',
356                XC_BOOL_NOT => '!',
357                );
358        $this->binops = array(
359                XC_ADD                 => "+",
360                XC_ASSIGN_ADD          => "+=",
361                XC_SUB                 => "-",
362                XC_ASSIGN_SUB          => "-=",
363                XC_MUL                 => "*",
364                XC_ASSIGN_MUL          => "*=",
365                XC_DIV                 => "/",
366                XC_ASSIGN_DIV          => "/=",
367                XC_MOD                 => "%",
368                XC_ASSIGN_MOD          => "%=",
369                XC_SL                  => "<<",
370                XC_ASSIGN_SL           => "<<=",
371                XC_SR                  => ">>",
372                XC_ASSIGN_SR           => ">>=",
373                XC_CONCAT              => ".",
374                XC_ASSIGN_CONCAT       => ".=",
375                XC_IS_IDENTICAL        => "===",
376                XC_IS_NOT_IDENTICAL    => "!==",
377                XC_IS_EQUAL            => "==",
378                XC_IS_NOT_EQUAL        => "!=",
379                XC_IS_SMALLER          => "<",
380                XC_IS_SMALLER_OR_EQUAL => "<=",
381                XC_BW_OR               => "|",
382                XC_ASSIGN_BW_OR        => "|=",
383                XC_BW_AND              => "&",
384                XC_ASSIGN_BW_AND       => "&=",
385                XC_BW_XOR              => "^",
386                XC_ASSIGN_BW_XOR       => "^=",
387                XC_BOOL_XOR            => "xor",
388                );
389        // }}}
390        $this->includeTypes = array( // {{{
391                ZEND_EVAL         => 'eval',
392                ZEND_INCLUDE      => 'include',
393                ZEND_INCLUDE_ONCE => 'include_once',
394                ZEND_REQUIRE      => 'require',
395                ZEND_REQUIRE_ONCE => 'require_once',
396                );
397                // }}}
398    }
399    function outputPhp(&$opcodes, $opline, $last, $indent) // {{{
400    {
401        $origindent = $indent;
402        $curticks = 0;
403        for ($i = $opline; $i <= $last; $i ++) {
404            $op = $opcodes[$i];
405            if (isset($op['php'])) {
406                $toticks = isset($op['ticks']) ? $op['ticks'] : 0;
407                if ($curticks != $toticks) {
408                    if (!$toticks) {
409                        echo $origindent, "}\n";
410                        $indent = $origindent;
411                    }
412                    else {
413                        if ($curticks) {
414                            echo $origindent, "}\n";
415                        }
416                        else if (!$curticks) {
417                            $indent .= INDENT;
418                        }
419                        echo $origindent, "declare(ticks=$curticks) {\n";
420                    }
421                    $curticks = $toticks;
422                }
423                echo $indent, str($op['php']), ";\n";
424            }
425        }
426        if ($curticks) {
427            echo $origindent, "}\n";
428        }
429    }
430    // }}}
431    function getOpVal($op, &$EX, $tostr = true, $free = false) // {{{
432    {
433        switch ($op['op_type']) {
434        case XC_IS_CONST:
435            return str(value($op['u.constant']));
436
437        case XC_IS_VAR:
438        case XC_IS_TMP_VAR:
439            $T = &$EX['Ts'];
440            $ret = $T[$op['u.var']];
441            if ($tostr) {
442                $ret = str($ret, $EX);
443            }
444            if ($free) {
445                unset($T[$op['u.var']]);
446            }
447            return $ret;
448
449        case XC_IS_CV:
450            $var = $op['u.var'];
451            $var = $EX['op_array']['vars'][$var];
452            return '$' . $var['name'];
453
454        case XC_IS_UNUSED:
455            return null;
456        }
457    }
458    // }}}
459    function &dop_array($op_array, $indent = '') // {{{
460    {
461        $opcodes = &$op_array['opcodes'];
462        $last = count($opcodes) - 1;
463        if ($opcodes[$last]['opcode'] == XC_HANDLE_EXCEPTION) {
464            unset($opcodes[$last]);
465        }
466        $EX['indent'] = '';
467        //for ($i = 0, $cnt = count($opcodes); $i < $cnt; $i ++) {
468        //  $opcodes[$i]['opcode'] = xcache_get_fixed_opcode($opcodes[$i]['opcode'], $i);
469        //}
470        // {{{ build jmp array
471        for ($i = 0, $cnt = count($opcodes); $i < $cnt; $i ++) {
472            $op = &$opcodes[$i];
473            /*
474            if ($op['opcode'] == XC_JMPZ) {
475                $this->dumpop($op, $EX);
476                var_dump($op);
477            }
478            continue;
479            */
480            $op['line'] = $i;
481            switch ($op['opcode']) {
482            case XC_JMP:
483                $target = $op['op1']['u.var'];
484                $op['jmpouts'] = array($target);
485                $opcodes[$target]['jmpins'][] = $i;
486                break;
487
488            case XC_JMPZNZ:
489                $jmpz = $op['op2']['u.opline_num'];
490                $jmpnz = $op['extended_value'];
491                $op['jmpouts'] = array($jmpz, $jmpnz);
492                $opcodes[$jmpz]['jmpins'][] = $i;
493                $opcodes[$jmpnz]['jmpins'][] = $i;
494                break;
495
496            case XC_JMPZ:
497            case XC_JMPNZ:
498            case XC_JMPZ_EX:
499            case XC_JMPNZ_EX:
500            // case XC_FE_RESET:
501            case XC_FE_FETCH:
502            // case XC_JMP_NO_CTOR:
503                $target = $op['op2']['u.opline_num'];
504                //if (!isset($target)) {
505                //  $this->dumpop($op, $EX);
506                //  var_dump($op); exit;
507                //}
508                $op['jmpouts'] = array($target);
509                $opcodes[$target]['jmpins'][] = $i;
510                break;
511
512            /*
513            case XC_RETURN:
514                $op['jmpouts'] = array();
515                break;
516            */
517            }
518        }
519        unset($op);
520        // }}}
521        // build semi-basic blocks
522        $nextbbs = array();
523        $starti = 0;
524        for ($i = 1, $cnt = count($opcodes); $i < $cnt; $i ++) {
525            if (isset($opcodes[$i]['jmpins'])
526             || isset($opcodes[$i - 1]['jmpouts'])) {
527                $nextbbs[$starti] = $i;
528                $starti = $i;
529            }
530        }
531        $nextbbs[$starti] = $cnt;
532
533        $EX = array();
534        $EX['Ts'] = array();
535        $EX['indent'] = $indent;
536        $EX['nextbbs'] = $nextbbs;
537        $EX['op_array'] = &$op_array;
538        $EX['opcodes'] = &$opcodes;
539        // func call
540        $EX['object'] = null;
541        $EX['fbc'] = null;
542        $EX['argstack'] = array();
543        $EX['arg_types_stack'] = array();
544        $EX['last'] = count($opcodes) - 1;
545        $EX['silence'] = 0;
546
547        for ($next = 0, $last = $EX['last'];
548                $loop = $this->outputCode($EX, $next, $last, $indent, true);
549                list($next, $last) = $loop) {
550            // empty
551        }
552        return $EX;
553    }
554    // }}}
555    function outputCode(&$EX, $opline, $last, $indent, $loop = false) // {{{
556    {
557        $op = &$EX['opcodes'][$opline];
558        $next = $EX['nextbbs'][$opline];
559
560        $end = $next - 1;
561        if ($end > $last) {
562            $end = $last;
563        }
564
565        if (isset($op['jmpins'])) {
566            echo "\nline", $op['line'], ":\n";
567        }
568        else {
569            // echo ";;;\n";
570        }
571        $this->dasmBasicBlock($EX, $opline, $end);
572        $this->outputPhp($EX['opcodes'], $opline, $end, $indent);
573        // jmpout op
574        $op = &$EX['opcodes'][$end];
575        $op1 = $op['op1'];
576        $op2 = $op['op2'];
577        $ext = $op['extended_value'];
578        $line = $op['line'];
579
580        if (isset($EX['opcodes'][$next])) {
581            if (isset($last) && $next > $last) {
582                $next = null;
583            }
584        }
585        else {
586            $next = null;
587        }
588        if ($op['opcode'] == XC_FE_FETCH) {
589            $opline = $next;
590            $next = $op['op2']['u.opline_num'];
591            $end = $next - 1;
592
593            ob_start();
594            $this->outputCode($EX, $opline, $end /* - 1 skip last jmp */, $indent . INDENT);
595            $body = ob_get_clean();
596
597            $as = str($op['fe_as']);
598            if (isset($op['fe_key'])) {
599                $as = str($op['fe_key']) . ' => ' . $as;
600            }
601            echo "{$indent}foreach (" . str($op['fe_src']) . " as $as) {\n";
602            echo $body;
603            echo "{$indent}}";
604            // $this->outputCode($EX, $next, $last, $indent);
605            // return;
606        }
607        /*
608        if ($op['opcode'] == XC_JMPZ) {
609            $target = $op2['u.opline_num'];
610            if ($line + 1) {
611                $nextblock = $EX['nextbbs'][$next];
612                $jmpop = end($nextblock);
613                if ($jmpop['opcode'] == XC_JMP) {
614                    $ifendline = $op2['u.opline_num'];
615                    if ($ifendline >= $line) {
616                        $cond = $op['cond'];
617                        echo "{$indent}if ($cond) {\n";
618                        $this->outputCode($EX, $next, $last, INDENT . $indent);
619                        echo "$indent}\n";
620                        $this->outputCode($EX, $target, $last, $indent);
621                        return;
622                    }
623                }
624            }
625        }
626        */
627        if (!isset($next)) {
628            return;
629        }
630        if (!empty($op['jmpouts']) && isset($op['isjmp'])) {
631            if (isset($op['cond'])) {
632                echo "{$indent}check ($op[cond]) {\n";
633                echo INDENT;
634            }
635            echo $indent;
636            echo xcache_get_opcode($op['opcode']), ' line', $op['jmpouts'][0];
637            if (isset($op['jmpouts'][1])) {
638                echo ', line', $op['jmpouts'][1];
639            }
640            echo ";";
641            // echo ' // <- line', $op['line'];
642            echo "\n";
643            if (isset($op['cond'])) echo "$indent}\n";
644        }
645
646        // proces JMPZ_EX/JMPNZ_EX for AND,OR
647        $op = &$EX['opcodes'][$next];
648        /*
649        if (isset($op['jmpins'])) {
650            foreach (array_reverse($op['jmpins']) as $fromline) {
651                $fromop = $EX['opcodes'][$fromline];
652                switch ($fromop['opcode']) {
653                case XC_JMPZ_EX: $opstr = 'and'; break;
654                case XC_JMPNZ_EX: $opstr = 'or'; break;
655                case XC_JMPZNZ: var_dump($fromop); exit;
656                default: continue 2;
657                }
658
659                $var = $fromop['result']['u.var'];
660                var_dump($EX['Ts'][$var]);
661                $EX['Ts'][$var] = '(' . $fromop['and_or'] . " $opstr " . $EX['Ts'][$var] . ')';
662            }
663            #$this->outputCode($EX, $next, $last, $indent);
664            #return;
665        }
666        */
667        if (isset($op['cond_false'])) {
668            // $this->dumpop($op, $EX);
669            // any true comes here, so it's a "or"
670            $cond = implode(' and ', $op['cond_false']);
671            // var_dump($op['cond'] = $cond);
672            /*
673            $rvalue = implode(' or ', $op['cond_true']) . ' or ' . $rvalue;
674            unset($op['cond_true']);
675            */
676        }
677
678        if ($loop) {
679            return array($next, $last);
680        }
681        $this->outputCode($EX, $next, $last, $indent);
682    }
683    // }}}
684    function unquoteName($str) // {{{
685    {
686        if (preg_match($this->rQuotedName, $str)) {
687            $str = substr($str, 1, -1);
688        }
689        return $str;
690    }
691    // }}}
692    function dasmBasicBlock(&$EX, $opline, $last) // {{{
693    {
694        $T = &$EX['Ts'];
695        $opcodes = &$EX['opcodes'];
696        $lastphpop = null;
697
698        for ($i = $opline, $ic = $last + 1; $i < $ic; $i ++) {
699            // {{{ prepair
700            $op = &$opcodes[$i];
701            $opc = $op['opcode'];
702            if ($opc == XC_NOP) {
703                continue;
704            }
705
706            $op1 = $op['op1'];
707            $op2 = $op['op2'];
708            $res = $op['result'];
709            $ext = $op['extended_value'];
710
711            $opname = xcache_get_opcode($opc);
712
713            if ($opname == 'UNDEF' || !isset($opname)) {
714                echo 'UNDEF OP:';
715                $this->dumpop($op, $EX);
716                continue;
717            }
718            // $this->dumpop($op, $EX); //var_dump($op);
719
720            $resvar = null;
721            if (($res['u.EA.type'] & EXT_TYPE_UNUSED) || $res['op_type'] == XC_IS_UNUSED) {
722                $istmpres = false;
723            }
724            else {
725                $istmpres = true;
726            }
727            // }}}
728            // echo $opname, "\n";
729
730            $call = array(&$this, $opname);
731            if (is_callable($call)) {
732                $this->{$opname}($op, $EX);
733            }
734            else if (isset($this->binops[$opc])) { // {{{
735                $op1val = $this->getOpVal($op1, $EX, false);
736                $op2val = $this->getOpVal($op2, $EX, false);
737                $rvalue = new Decompiler_Binop($this, $op1val, $opc, $op2val);
738                $resvar = $rvalue;
739                // }}}
740            }
741            else if (isset($this->unaryops[$opc])) { // {{{
742                $op1val = $this->getOpVal($op1, $EX);
743                $myop = $this->unaryops[$opc];
744                $rvalue = "$myop$op1val";
745                $resvar = $rvalue;
746                // }}}
747            }
748            else {
749                switch ($opc) {
750                case XC_NEW: // {{{
751                    array_push($EX['arg_types_stack'], array($EX['object'], $EX['fbc']));
752                    $EX['object'] = (int) $res['u.var'];
753                    $EX['fbc'] = 'new ' . $this->unquoteName($this->getOpVal($op1, $EX));
754                    if (PHP_VERSION < 5) {
755                        $resvar = '$new object$';
756                    }
757                    break;
758                    // }}}
759                case XC_FETCH_CLASS: // {{{
760                    if ($op2['op_type'] == XC_IS_UNUSED) {
761                        switch ($ext) {
762                        case ZEND_FETCH_CLASS_SELF:
763                            $class = 'self';
764                            break;
765                        case ZEND_FETCH_CLASS_PARENT:
766                            $class = 'parent';
767                        }
768                    }
769                    else {
770                        $class = $op2['u.constant'];
771                        if (is_object($class)) {
772                            $class = get_class($class);
773                        }
774                    }
775                    $resvar = $class;
776                    break;
777                    // }}}
778                case XC_FETCH_CONSTANT: // {{{
779                    if ($op1['op_type'] == XC_IS_CONST) {
780                        $resvar = $op1['u.constant'];
781                    }
782                    else if ($op1['op_type'] == XC_IS_UNUSED) {
783                        $resvar = $op2['u.constant'];
784                    }
785                    else {
786                        $class = $T[$op1['u.var']];
787                        assert($class[0] == 'class');
788                        $resvar = $class[1] . '::' . $op2['u.constant'];
789                    }
790                    break;
791                    // }}}
792                    // {{{ case XC_FETCH_*
793                case XC_FETCH_R:
794                case XC_FETCH_W:
795                case XC_FETCH_RW:
796                case XC_FETCH_FUNC_ARG:
797                case XC_FETCH_UNSET:
798                case XC_FETCH_IS:
799                case XC_UNSET_VAR:
800                    $rvalue = $this->getOpVal($op1, $EX);
801                    $fetchtype = $op2[PHP_VERSION < 5 ? 'u.fetch_type' : 'u.EA.type'];
802                    switch ($fetchtype) {
803                    case ZEND_FETCH_STATIC_MEMBER:
804                        $class = $this->getOpVal($op2, $EX);
805                        $rvalue = $class . '::$' . $this->unquoteName($rvalue);
806                        break;
807                    default:
808                        $name = $this->unquoteName($rvalue);
809                        $globalname = xcache_is_autoglobal($name) ? "\$$name" : "\$GLOBALS[$rvalue]";
810                        $rvalue = new Decompiler_Fetch($rvalue, $fetchtype, $globalname);
811                        break;
812                    }
813                    if ($opc == XC_UNSET_VAR) {
814                        $op['php'] = "unset(" . str($rvalue) . ")";
815                        $lastphpop = &$op;
816                    }
817                    else if ($res['op_type'] != XC_IS_UNUSED) {
818                        $resvar = $rvalue;
819                    }
820                    break;
821                    // }}}
822                    // {{{ case XC_FETCH_DIM_*
823                case XC_FETCH_DIM_TMP_VAR:
824                case XC_FETCH_DIM_R:
825                case XC_FETCH_DIM_W:
826                case XC_FETCH_DIM_RW:
827                case XC_FETCH_DIM_FUNC_ARG:
828                case XC_FETCH_DIM_UNSET:
829                case XC_FETCH_DIM_IS:
830                case XC_ASSIGN_DIM:
831                case XC_UNSET_DIM:
832                case XC_UNSET_DIM_OBJ:
833                    $src = $this->getOpVal($op1, $EX, false);
834                    if (is_a($src, "Decompiler_ForeachBox")) {
835                        $src->iskey = $this->getOpVal($op2, $EX);
836                        $resvar = $src;
837                        break;
838                    }
839                    else if (is_a($src, "Decompiler_DimBox")) {
840                        $dimbox = $src;
841                    }
842                    else {
843                        if (!is_a($src, "Decompiler_ListBox")) {
844                            $list = new Decompiler_List($this->getOpVal($op1, $EX, false));
845
846                            $src = new Decompiler_ListBox($list);
847                            if (!isset($op1['u.var'])) {
848                                $this->dumpop($op, $EX);
849                                var_dump($op);
850                                die('missing u.var');
851                            }
852                            $T[$op1['u.var']] = $src;
853                            unset($list);
854                        }
855                        $dim = new Decompiler_Dim($src);
856                        $src->obj->dims[] = &$dim;
857
858                        $dimbox = new Decompiler_DimBox($dim);
859                    }
860                    $dim = &$dimbox->obj;
861                    $dim->offsets[] = $this->getOpVal($op2, $EX);
862                    if ($ext == ZEND_FETCH_ADD_LOCK) {
863                        $src->obj->everLocked = true;
864                    }
865                    else if ($ext == ZEND_FETCH_STANDARD) {
866                        $dim->isLast = true;
867                    }
868                    unset($dim);
869                    $rvalue = $dimbox;
870
871                    if ($opc == XC_ASSIGN_DIM) {
872                        $lvalue = $rvalue;
873                        ++ $i;
874                        $rvalue = $this->getOpVal($opcodes[$i]['op1'], $EX);
875                        $resvar = str($lvalue) . ' = ' . $rvalue;
876                    }
877                    else if ($opc == XC_UNSET_DIM) {
878                        $op['php'] = "unset(" . str($rvalue) . ")";
879                        $lastphpop = &$op;
880                    }
881                    else if ($res['op_type'] != XC_IS_UNUSED) {
882                        $resvar = $rvalue;
883                    }
884                    break;
885                    // }}}
886                case XC_ASSIGN: // {{{
887                    $lvalue = $this->getOpVal($op1, $EX);
888                    $rvalue = $this->getOpVal($op2, $EX, false);
889                    if (is_a($rvalue, 'Decompiler_ForeachBox')) {
890                        $type = $rvalue->iskey ? 'fe_key' : 'fe_as';
891                        $rvalue->obj[$type] = $lvalue;
892                        unset($T[$op2['u.var']]);
893                        break;
894                    }
895                    if (is_a($rvalue, "Decompiler_DimBox")) {
896                        $dim = &$rvalue->obj;
897                        $dim->assign = $lvalue;
898                        if ($dim->isLast) {
899                            $resvar = str($dim->value);
900                        }
901                        unset($dim);
902                        break;
903                    }
904                    $resvar = "$lvalue = " . str($rvalue, $EX);
905                    break;
906                    // }}}
907                case XC_ASSIGN_REF: // {{{
908                    $lvalue = $this->getOpVal($op1, $EX);
909                    $rvalue = $this->getOpVal($op2, $EX, false);
910                    if (is_a($rvalue, 'Decompiler_Fetch')) {
911                        $src = str($rvalue->src);
912                        if (substr($src, 1, -1) == substr($lvalue, 1)) {
913                            switch ($rvalue->fetchType) {
914                            case ZEND_FETCH_GLOBAL:
915                                $resvar = 'global ' . $lvalue;
916                                break 2;
917                            case ZEND_FETCH_STATIC:
918                                $statics = &$EX['op_array']['static_variables'];
919                                $resvar = 'static ' . $lvalue;
920                                $name = substr($src, 1, -1);
921                                if (isset($statics[$name])) {
922                                    $var = $statics[$name];
923                                    $resvar .= ' = ';
924                                    $resvar .= str(value($var), $EX);
925                                }
926                                unset($statics);
927                                break 2;
928                            }
929                        }
930                    }
931                    $rvalue = str($rvalue);
932                    $resvar = "$lvalue = &$rvalue";
933                    break;
934                    // }}}
935                // {{{ case XC_FETCH_OBJ_*
936                case XC_FETCH_OBJ_R:
937                case XC_FETCH_OBJ_W:
938                case XC_FETCH_OBJ_RW:
939                case XC_FETCH_OBJ_FUNC_ARG:
940                case XC_FETCH_OBJ_UNSET:
941                case XC_FETCH_OBJ_IS:
942                case XC_ASSIGN_OBJ:
943                    $obj = $this->getOpVal($op1, $EX);
944                    if (!isset($obj)) {
945                        $obj = '$this';
946                    }
947                    $prop = $this->getOpVal($op2, $EX);
948                    if (preg_match($this->rQuotedName, $prop)) {
949                        $prop = substr($prop, 1, -1);;
950                        $rvalue = "{$obj}->$prop";
951                    }
952                    else {
953                        $rvalue = "{$obj}->{" . "$prop}";
954                    }
955                    if ($res['op_type'] != XC_IS_UNUSED) {
956                        $resvar = $rvalue;
957                    }
958                    if ($opc == XC_ASSIGN_OBJ) {
959                        ++ $i;
960                        $lvalue = $rvalue;
961                        $rvalue = $this->getOpVal($opcodes[$i]['op1'], $EX);
962                        $resvar = "$lvalue = $rvalue";
963                    }
964                    break;
965                    // }}}
966                case XC_ISSET_ISEMPTY_DIM_OBJ:
967                case XC_ISSET_ISEMPTY_PROP_OBJ:
968                case XC_ISSET_ISEMPTY:
969                case XC_ISSET_ISEMPTY_VAR: // {{{
970                    if ($opc == XC_ISSET_ISEMPTY_VAR) {
971                        $rvalue = $this->getOpVal($op1, $EX);;
972                        if (preg_match($this->rQuotedName, $rvalue)) {
973                            $rvalue = '$' . substr($rvalue, 1, -1);
974                        }
975                        else {
976                            $rvalue = "${" . $rvalue . "}";
977                        }
978                        if ($op2['u.EA.type'] == ZEND_FETCH_STATIC_MEMBER) {
979                            $class = $this->getOpVal($op2, $EX);
980                            $rvalue = $class . '::' . $rvalue;
981                        }
982                    }
983                    else if ($opc == XC_ISSET_ISEMPTY) {
984                        $rvalue = $this->getOpVal($op1, $EX);
985                    }
986                    else {
987                        $container = $this->getOpVal($op1, $EX);
988                        $dim = $this->getOpVal($op2, $EX);
989                        $rvalue = $container . "[$dim]";
990                    }
991
992                    switch (PHP_VERSION < 5 ? $op['op2']['u.var'] /* u.constant */ : $ext) {
993                    case ZEND_ISSET:
994                        $rvalue = "isset($rvalue)";
995                        break;
996                    case ZEND_ISEMPTY:
997                        $rvalue = "empty($rvalue)";
998                        break;
999                    default:
1000                        $this->dumpop($op, $EX);
1001                        die_error('1');
1002                    }
1003                    $resvar = $rvalue;
1004                    break;
1005                    // }}}
1006                case XC_SEND_VAR_NO_REF:
1007                case XC_SEND_VAL:
1008                case XC_SEND_REF:
1009                case XC_SEND_VAR: // {{{
1010                    $ref = ($opc == XC_SEND_REF ? '&' : '');
1011                    $EX['argstack'][] = $ref . $this->getOpVal($op1, $EX);
1012                    break;
1013                    // }}}
1014                case XC_INIT_METHOD_CALL:
1015                case XC_INIT_FCALL_BY_FUNC:
1016                case XC_INIT_FCALL_BY_NAME: // {{{
1017                    if (($ext & ZEND_CTOR_CALL)) {
1018                        break;
1019                    }
1020                    array_push($EX['arg_types_stack'], array($EX['object'], $EX['fbc']));
1021                    if ($opc == XC_INIT_METHOD_CALL || $op1['op_type'] != XC_IS_UNUSED) {
1022                        $obj = $this->getOpVal($op1, $EX);
1023                        if (!isset($obj)) {
1024                            $obj = '$this';
1025                        }
1026                        $EX['object'] = $obj;
1027                        if ($res['op_type'] != XC_IS_UNUSED) {
1028                            $resvar = '$obj call$';
1029                        }
1030                    }
1031                    else {
1032                        $EX['object'] = null;
1033                    }
1034
1035                    if ($opc == XC_INIT_FCALL_BY_FUNC) {
1036                        $which = $op1['u.var'];
1037                        $EX['fbc'] = $EX['op_array']['funcs'][$which]['name'];
1038                    }
1039                    else {
1040                        $EX['fbc'] = $this->getOpVal($op2, $EX, false);
1041                    }
1042                    break;
1043                    // }}}
1044                case XC_DO_FCALL_BY_FUNC:
1045                    $which = $op1['u.var'];
1046                    $fname = $EX['op_array']['funcs'][$which]['name'];
1047                    $args = $this->popargs($EX, $ext);
1048                    $resvar = $fname . "($args)";
1049                    break;
1050                case XC_DO_FCALL:
1051                    $fname = $this->unquoteName($this->getOpVal($op1, $EX, false));
1052                    $args = $this->popargs($EX, $ext);
1053                    $resvar = $fname . "($args)";
1054                    break;
1055                case XC_DO_FCALL_BY_NAME: // {{{
1056                    $object = null;
1057
1058                    $fname = $this->unquoteName($EX['fbc']);
1059                    if (!is_int($EX['object'])) {
1060                        $object = $EX['object'];
1061                    }
1062
1063                    $args = $this->popargs($EX, $ext);
1064
1065                    $resvar =
1066                        (isset($object) ? $object . '->' : '' )
1067                        . $fname . "($args)";
1068                    unset($args);
1069
1070                    if (is_int($EX['object'])) {
1071                        $T[$EX['object']] = $resvar;
1072                        $resvar = null;
1073                    }
1074                    list($EX['object'], $EX['fbc']) = array_pop($EX['arg_types_stack']);
1075                    break;
1076                    // }}}
1077                case XC_VERIFY_ABSTRACT_CLASS: // {{{
1078                    //unset($T[$op1['u.var']]);
1079                    break;
1080                    // }}}
1081                case XC_DECLARE_CLASS: 
1082                case XC_DECLARE_INHERITED_CLASS: // {{{
1083                    $key = $op1['u.constant'];
1084                    $class = &$this->dc['class_table'][$key];
1085                    if (!isset($class)) {
1086                        echo 'class not found: ' . $key;
1087                        exit;
1088                    }
1089                    $class['name'] = $this->unquoteName($this->getOpVal($op2, $EX));
1090                    if ($opc == XC_DECLARE_INHERITED_CLASS) {
1091                        $ext /= XC_SIZEOF_TEMP_VARIABLE;
1092                        $class['parent'] = $T[$ext];
1093                        unset($T[$ext]);
1094                    }
1095                    else {
1096                        $class['parent'] = null;
1097                    }
1098
1099                    while ($i + 2 < $ic
1100                     && $opcodes[$i + 2]['opcode'] == XC_ADD_INTERFACE
1101                     && $opcodes[$i + 2]['op1']['u.var'] == $res['u.var']
1102                     && $opcodes[$i + 1]['opcode'] == XC_FETCH_CLASS) {
1103                        $fetchop = &$opcodes[$i + 1];
1104                        $impl = $this->unquoteName($this->getOpVal($fetchop['op2'], $EX));
1105                        $addop = &$opcodes[$i + 2];
1106                        $class['interfaces'][$addop['extended_value']] = $impl;
1107                        unset($fetchop, $addop);
1108                        $i += 2;
1109                    }
1110                    $this->dclass($class);
1111                    unset($class);
1112                    break;
1113                    // }}}
1114                case XC_INIT_STRING: // {{{
1115                    $resvar = "''";
1116                    break;
1117                    // }}}
1118                case XC_ADD_CHAR:
1119                case XC_ADD_STRING:
1120                case XC_ADD_VAR: // {{{
1121                    $op1val = $this->getOpVal($op1, $EX);
1122                    $op2val = $this->getOpVal($op2, $EX);
1123                    switch ($opc) {
1124                    case XC_ADD_CHAR:
1125                        $op2val = str(chr($op2val), $EX);
1126                        break;
1127                    case XC_ADD_STRING:
1128                        $op2val = str($op2val, $EX);
1129                        break;
1130                    case XC_ADD_VAR:
1131                        break;
1132                    }
1133                    if ($op1val == "''") {
1134                        $rvalue = $op2val;
1135                    }
1136                    else if ($op2val == "''") {
1137                        $rvalue = $op1val;
1138                    }
1139                    else {
1140                        $rvalue = $op1val . ' . ' . $op2val;
1141                    }
1142                    $resvar = $rvalue;
1143                    // }}}
1144                    break;
1145                case XC_PRINT: // {{{
1146                    $op1val = $this->getOpVal($op1, $EX);
1147                    $resvar = "print($op1val)";
1148                    break;
1149                    // }}}
1150                case XC_ECHO: // {{{
1151                    $op1val = $this->getOpVal($op1, $EX);
1152                    $resvar = "echo $op1val";
1153                    break;
1154                    // }}}
1155                case XC_EXIT: // {{{
1156                    $op1val = $this->getOpVal($op1, $EX);
1157                    $resvar = "exit($op1val)";
1158                    break;
1159                    // }}}
1160                case XC_INIT_ARRAY:
1161                case XC_ADD_ARRAY_ELEMENT: // {{{
1162                    $rvalue = $this->getOpVal($op1, $EX, false, true);
1163
1164                    if ($opc == XC_ADD_ARRAY_ELEMENT) {
1165                        $offset = $this->getOpVal($op2, $EX);
1166                        if (isset($offset)) {
1167                            $T[$res['u.var']]->value[$offset] = $rvalue;
1168                        }
1169                        else {
1170                            $T[$res['u.var']]->value[] = $rvalue;
1171                        }
1172                    }
1173                    else {
1174                        if ($opc == XC_INIT_ARRAY) {
1175                            $resvar = new Decompiler_Array();
1176                            if (!isset($rvalue)) {
1177                                continue;
1178                            }
1179                        }
1180
1181                        $offset = $this->getOpVal($op2, $EX);
1182                        if (isset($offset)) {
1183                            $resvar->value[$offset] = $rvalue;
1184                        }
1185                        else {
1186                            $resvar->value[] = $rvalue;
1187                        }
1188                    }
1189                    break;
1190                    // }}}
1191                case XC_QM_ASSIGN: // {{{
1192                    $resvar = $this->getOpVal($op1, $EX);
1193                    break;
1194                    // }}}
1195                case XC_BOOL: // {{{
1196                    $resvar = /*'(bool) ' .*/ $this->getOpVal($op1, $EX);
1197                    break;
1198                    // }}}
1199                case XC_RETURN: // {{{
1200                    $resvar = "return " . $this->getOpVal($op1, $EX);
1201                    break;
1202                    // }}}
1203                case XC_INCLUDE_OR_EVAL: // {{{
1204                    $type = $op2['u.var']; // hack
1205                    $keyword = $this->includeTypes[$type];
1206                    $resvar = "$keyword(" . $this->getOpVal($op1, $EX) . ")";
1207                    break;
1208                    // }}}
1209                case XC_FE_RESET: // {{{
1210                    $resvar = $this->getOpVal($op1, $EX);
1211                    break;
1212                    // }}}
1213                case XC_FE_FETCH: // {{{
1214                    $op['fe_src'] = $this->getOpVal($op1, $EX);
1215                    $fe = new Decompiler_ForeachBox($op);
1216                    $fe->iskey = false;
1217                    $T[$res['u.var']] = $fe;
1218
1219                    ++ $i;
1220                    if (($ext & ZEND_FE_FETCH_WITH_KEY)) {
1221                        $fe = new Decompiler_ForeachBox($op);
1222                        $fe->iskey = true;
1223
1224                        $res = $opcodes[$i]['result'];
1225                        $T[$res['u.var']] = $fe;
1226                    }
1227                    break;
1228                    // }}}
1229                case XC_SWITCH_FREE: // {{{
1230                    // unset($T[$op1['u.var']]);
1231                    break;
1232                    // }}}
1233                case XC_FREE: // {{{
1234                    $free = $T[$op1['u.var']];
1235                    if (!is_a($free, 'Decompiler_Array') && !is_a($free, 'Decompiler_Box')) {
1236                        $op['php'] = is_object($free) ? $free : $this->unquote($free, '(', ')');
1237                        $lastphpop = &$op;
1238                    }
1239                    unset($T[$op1['u.var']], $free);
1240                    break;
1241                    // }}}
1242                case XC_JMP_NO_CTOR:
1243                    break;
1244                case XC_JMPNZ: // while
1245                case XC_JMPZNZ: // for
1246                case XC_JMPZ_EX: // and
1247                case XC_JMPNZ_EX: // or
1248                case XC_JMPZ: // {{{
1249                    if ($opc == XC_JMP_NO_CTOR && $EX['object']) {
1250                        $rvalue = $EX['object'];
1251                    }
1252                    else {
1253                        $rvalue = $this->getOpVal($op1, $EX);
1254                    }
1255
1256                    if (isset($op['cond_true'])) {
1257                        // any true comes here, so it's a "or"
1258                        $rvalue = implode(' or ', $op['cond_true']) . ' or ' . $rvalue;
1259                        unset($op['cond_true']);
1260                    }
1261                    if (isset($op['cond_false'])) {
1262                        var_dump($op);// exit;
1263                    }
1264                    if ($opc == XC_JMPZ_EX || $opc == XC_JMPNZ_EX || $opc == XC_JMPZ) {
1265                        $targetop = &$EX['opcodes'][$op2['u.opline_num']];
1266                        if ($opc == XC_JMPNZ_EX) {
1267                            $targetop['cond_true'][] = str($rvalue);
1268                        }
1269                        else {
1270                            $targetop['cond_false'][] = str($rvalue);
1271                        }
1272                        unset($targetop);
1273                    }
1274                    else {
1275                        $op['cond'] = $rvalue; 
1276                        $op['isjmp'] = true;
1277                    }
1278                    break;
1279                    // }}}
1280                case XC_JMP: // {{{
1281                    $op['cond'] = null;
1282                    $op['isjmp'] = true;
1283                    break;
1284                    // }}}
1285                case XC_CASE:
1286                case XC_BRK:
1287                    break;
1288                case XC_RECV_INIT:
1289                case XC_RECV:
1290                    $offset = $this->getOpVal($op1, $EX);
1291                    $lvalue = $this->getOpVal($op['result'], $EX);
1292                    if ($opc == XC_RECV_INIT) {
1293                        $default = value($op['op2']['u.constant']);
1294                    }
1295                    else {
1296                        $default = null;
1297                    }
1298                    $EX['recvs'][$offset] = array($lvalue, $default);
1299                    break;
1300                case XC_POST_DEC:
1301                case XC_POST_INC:
1302                case XC_POST_DEC_OBJ:
1303                case XC_POST_INC_OBJ:
1304                case XC_PRE_DEC:
1305                case XC_PRE_INC:
1306                case XC_PRE_DEC_OBJ:
1307                case XC_PRE_INC_OBJ: // {{{
1308                    $flags = array_flip(explode('_', $opname));
1309                    if (isset($flags['OBJ'])) {
1310                        $resvar = $this->getOpVal($op1, $EX);
1311                        $prop = $this->unquoteName($this->getOpVal($op2, $EX));
1312                        if ($prop{0} == '$') {
1313                            $resvar = $resvar . "{" . $prop . "}";
1314                        }
1315                        else {
1316                            $resvar = $resvar . "->" . $prop;
1317                        }
1318                    }
1319                    else {
1320                        $resvar = $this->getOpVal($op1, $EX);
1321                    }
1322                    $opstr = isset($flags['DEC']) ? '--' : '++';
1323                    if (isset($flags['POST'])) {
1324                        $resvar .= ' ' . $opstr;
1325                    }
1326                    else {
1327                        $resvar = "$opstr $resvar";
1328                    }
1329                    break;
1330                    // }}}
1331
1332                case XC_BEGIN_SILENCE: // {{{
1333                    $EX['silence'] ++;
1334                    break;
1335                    // }}}
1336                case XC_END_SILENCE: // {{{
1337                    $EX['silence'] --;
1338                    $lastresvar = '@' . str($lastresvar);
1339                    break;
1340                    // }}}
1341                case XC_CONT: // {{{
1342                    break;
1343                    // }}}
1344                case XC_CAST: // {{{
1345                    $type = $ext;
1346                    static $type2cast = array(
1347                            IS_LONG   => '(int)',
1348                            IS_DOUBLE => '(double)',
1349                            IS_STRING => '(string)',
1350                            IS_ARRAY  => '(array)',
1351                            IS_OBJECT => '(object)',
1352                            IS_BOOL   => '(bool)',
1353                            IS_NULL   => '(unset)',
1354                            );
1355                    assert(isset($type2cast[$type]));
1356                    $cast = $type2cast[$type];
1357                    $resvar = $cast . ' ' . $this->getOpVal($op1, $EX);
1358                    break;
1359                    // }}}
1360                case XC_EXT_STMT:
1361                case XC_EXT_FCALL_BEGIN:
1362                case XC_EXT_FCALL_END:
1363                case XC_EXT_NOP:
1364                    break;
1365                case XC_DECLARE_FUNCTION_OR_CLASS:
1366                    /* always removed by compiler */
1367                    break;
1368                case XC_TICKS:
1369                    $lastphpop['ticks'] = $this->getOpVal($op1, $EX);
1370                    // $EX['tickschanged'] = true;
1371                    break;
1372                default: // {{{
1373                    echo "\x1B[31m * TODO ", $opname, "\x1B[0m\n";
1374                    // }}}
1375                }
1376            }
1377            if (isset($resvar)) {
1378                if ($istmpres) {
1379                    $T[$res['u.var']] = $resvar;
1380                    $lastresvar = &$T[$res['u.var']];
1381                }
1382                else {
1383                    $op['php'] = $resvar;
1384                    $lastphpop = &$op;
1385                    $lastresvar = &$op['php'];
1386                }
1387            }
1388        }
1389        return $T;
1390    }
1391    // }}}
1392    function unquote($str, $st, $ed) // {{{
1393    {
1394        $l1 = strlen($st);
1395        $l2 = strlen($ed);
1396        if (substr($str, 0, $l1) === $st && substr($str, -$l2) === $ed) {
1397            $str = substr($str, $l1, -$l2);
1398        }
1399        return $str;
1400    }
1401    // }}}
1402    function popargs(&$EX, $n) // {{{
1403    {
1404        $args = array();
1405        for ($i = 0; $i < $n; $i ++) {
1406            $a = array_pop($EX['argstack']);
1407            if (is_array($a)) {
1408                array_unshift($args, str($a, $EX));
1409            }
1410            else {
1411                array_unshift($args, $a);
1412            }
1413        }
1414        return implode(', ', $args);
1415    }
1416    // }}}
1417    function dumpop($op, &$EX) // {{{
1418    {
1419        $op1 = $op['op1'];
1420        $op2 = $op['op2'];
1421        $d = array('opname' => xcache_get_opcode($op['opcode']), 'opcode' => $op['opcode']);
1422
1423        foreach (array('op1' => 'op1', 'op2' => 'op2', 'result' => 'res') as $k => $kk) {
1424            switch ($op[$k]['op_type']) {
1425            case XC_IS_UNUSED:
1426                $d[$kk] = '*UNUSED* ' . $op[$k]['u.opline_num'];
1427                break;
1428
1429            case XC_IS_VAR:
1430                $d[$kk] = '$' . $op[$k]['u.var'];
1431                if ($kk != 'res') {
1432                    $d[$kk] .= ':' . $this->getOpVal($op[$k], $EX);
1433                }
1434                break;
1435
1436            case XC_IS_TMP_VAR:
1437                $d[$kk] = '#' . $op[$k]['u.var'];
1438                if ($kk != 'res') {
1439                    $d[$kk] .= ':' . $this->getOpVal($op[$k], $EX);
1440                }
1441                break;
1442
1443            case XC_IS_CV:
1444                $d[$kk] = $this->getOpVal($op[$k], $EX);
1445                break;
1446
1447            default:
1448                if ($kk == 'res') {
1449                    assert(0);
1450                }
1451                else {
1452                    $d[$kk] = $this->getOpVal($op[$k], $EX);
1453                }
1454            }
1455        }
1456        $d['ext'] = $op['extended_value'];
1457
1458        var_dump($d);
1459    }
1460    // }}}
1461    function dargs(&$EX, $indent) // {{{
1462    {
1463        $EX['indent'] = $indent;
1464        $op_array = &$EX['op_array'];
1465
1466        if (isset($op_array['num_args'])) {
1467            $c = $op_array['num_args'];
1468        }
1469        else if ($op_array['arg_types']) {
1470            $c = count($op_array['arg_types']);
1471        }
1472        else {
1473            // php4
1474            $c = count($EX['recvs']);
1475        }
1476
1477        $refrest = false;
1478        for ($i = 0; $i < $c; $i ++) {
1479            if ($i) {
1480                echo ', ';
1481            }
1482            if (isset($op_array['arg_info'])) {
1483                $ai = $op_array['arg_info'][$i];
1484                if (!empty($ai['class_name'])) {
1485                    echo $ai['class_name'], ' ';
1486                    if ($ai['allow_null']) {
1487                        echo 'or NULL ';
1488                    }
1489                }
1490                else if (!empty($ai['array_type_hint'])) {
1491                    echo 'array ';
1492                    if ($ai['allow_null']) {
1493                        echo 'or NULL ';
1494                    }
1495                }
1496                if ($ai['pass_by_reference']) {
1497                    echo '&';
1498                }
1499                printf("\$%s", $ai['name']);
1500            }
1501            else {
1502                if ($refrest) {
1503                    echo '&';
1504                }
1505                else if (isset($op_array['arg_types'][$i])) {
1506                    switch ($op_array['arg_types'][$i]) {
1507                    case BYREF_FORCE_REST:
1508                        $refrest = true;
1509                        /* fall */
1510                    case BYREF_FORCE:
1511                        echo '&';
1512                        break;
1513
1514                    case BYREF_NONE:
1515                    case BYREF_ALLOW:
1516                        break;
1517                    default:
1518                        assert(0);
1519                    }
1520                }
1521                $arg = $EX['recvs'][$i + 1];
1522                echo str($arg[0]);
1523                if (isset($arg[1])) {
1524                    echo ' = ', str($arg[1]);
1525                }
1526            }
1527        }
1528    }
1529    // }}}
1530    function dfunction($func, $indent = '', $nobody = false) // {{{
1531    {
1532        if ($nobody) {
1533            $body = ";\n";
1534            $EX = array();
1535            $EX['op_array'] = &$func['op_array'];
1536            $EX['recvs'] = array();
1537        }
1538        else {
1539            ob_start();
1540            $newindent = INDENT . $indent;
1541            $EX = &$this->dop_array($func['op_array'], $newindent);
1542            $body = ob_get_clean();
1543            if (!isset($EX['recvs'])) {
1544                $EX['recvs'] = array();
1545            }
1546        }
1547
1548        echo 'function ', $func['op_array']['function_name'], '(';
1549        $this->dargs($EX, $indent);
1550        echo ")\n";
1551        echo $indent, "{\n";
1552        echo $body;
1553        echo "$indent}\n";
1554    }
1555    // }}}
1556    function dclass($class, $indent = '') // {{{
1557    {
1558        // {{{ class decl
1559        if (!empty($class['doc_comment'])) {
1560            echo $indent;
1561            echo $class['doc_comment'];
1562            echo "\n";
1563        }
1564        $isinterface = false;
1565        if (!empty($class['ce_flags'])) {
1566            if ($class['ce_flags'] & ZEND_ACC_INTERFACE) {
1567                echo 'interface ';
1568                $isinterface = true;
1569            }
1570            else {
1571                if ($class['ce_flags'] & ZEND_ACC_IMPLICIT_ABSTRACT) {
1572                    echo "abstract ";
1573                }
1574                if ($class['ce_flags'] & ZEND_ACC_FINAL) {
1575                    echo "final ";
1576                }
1577            }
1578        }
1579        echo 'class ', $class['name'];
1580        if ($class['parent']) {
1581            echo ' extends ', $class['parent'];
1582        }
1583        /* TODO */
1584        if (!empty($class['interfaces'])) {
1585            echo ' implements ';
1586            echo implode(', ', $class['interfaces']);
1587        }
1588        echo "\n";
1589        echo $indent, "{";
1590        // }}}
1591        $newindent = INDENT . $indent;
1592        // {{{ const, static
1593        foreach (array('constants_table' => 'const '
1594                    , 'static_members' => 'static $') as $type => $prefix) {
1595            if (!empty($class[$type])) {
1596                echo "\n";
1597                // TODO: skip shadow?
1598                foreach ($class[$type] as $name => $v) {
1599                    echo $newindent;
1600                    echo $prefix, $name, ' = ';
1601                    echo str(value($v), $EX);
1602                    echo ";\n";
1603                }
1604            }
1605        }
1606        // }}}
1607        // {{{ properties
1608        if (!empty($class['default_properties'])) {
1609            echo "\n";
1610            $infos = empty($class['properties_info']) ? null : $class['properties_info'];
1611            foreach ($class['default_properties'] as $name => $v) {
1612                $info = (isset($infos) && isset($infos[$name])) ? $infos[$name] : null;
1613                if (isset($info)) {
1614                    if (!empty($info['doc_comment'])) {
1615                        echo $newindent;
1616                        echo $info['doc_comment'];
1617                        echo "\n";
1618                    }
1619                }
1620
1621                echo $newindent;
1622                if (PHP_VERSION < 5) {
1623                    echo 'var ';
1624                }
1625                else if (!isset($info)) {
1626                    echo 'public ';
1627                }
1628                else {
1629                    if ($info['flags'] & ZEND_ACC_SHADOW) {
1630                        continue;
1631                    }
1632                    switch ($info['flags'] & ZEND_ACC_PPP_MASK) {
1633                    case ZEND_ACC_PUBLIC:
1634                        echo "public ";
1635                        break;
1636                    case ZEND_ACC_PRIVATE:
1637                        echo "private ";
1638                        break;
1639                    case ZEND_ACC_PROTECTED:
1640                        echo "protected ";
1641                        break;
1642                    }
1643                    if ($info['flags'] & ZEND_ACC_STATIC) {
1644                        echo "static ";
1645                    }
1646                }
1647
1648                echo '$', $name;
1649                if (isset($v)) {
1650                    echo ' = ';
1651                    echo str(value($v));
1652                }
1653                echo ";\n";
1654            }
1655        }
1656        // }}}
1657        // {{{ function_table
1658        if (isset($class['function_table'])) {
1659            foreach ($class['function_table'] as $func) {
1660                if (!isset($func['scope']) || $func['scope'] == $class['name']) {
1661                    // TODO: skip shadow here
1662                    echo "\n";
1663                    $opa = $func['op_array'];
1664                    if (!empty($opa['doc_comment'])) {
1665                        echo $newindent;
1666                        echo $opa['doc_comment'];
1667                        echo "\n";
1668                    }
1669                    echo $newindent;
1670                    if (isset($opa['fn_flags'])) {
1671                        if ($opa['fn_flags'] & ZEND_ACC_ABSTRACT) {
1672                            echo "abstract ";
1673                        }
1674                        if ($opa['fn_flags'] & ZEND_ACC_FINAL) {
1675                            echo "final ";
1676                        }
1677                        if ($opa['fn_flags'] & ZEND_ACC_STATIC) {
1678                            echo "static ";
1679                        }
1680
1681                        switch ($opa['fn_flags'] & ZEND_ACC_PPP_MASK) {
1682                            case ZEND_ACC_PUBLIC:
1683                                echo "public ";
1684                                break;
1685                            case ZEND_ACC_PRIVATE:
1686                                echo "private ";
1687                                break;
1688                            case ZEND_ACC_PROTECTED:
1689                                echo "protected ";
1690                                break;
1691                            default:
1692                                echo "<visibility error> ";
1693                                break;
1694                        }
1695                    }
1696                    $this->dfunction($func, $newindent, $isinterface);
1697                    if ($opa['function_name'] == 'Decompiler') {
1698                        //exit;
1699                    }
1700                }
1701            }
1702        }
1703        // }}}
1704        echo $indent, "}\n";
1705    }
1706    // }}}
1707    function decompileString($string) // {{{
1708    {
1709        $this->dc = xcache_dasm_string($string);
1710        if ($this->dc === false) {
1711            echo "error compling string\n";
1712            return false;
1713        }
1714    }
1715    // }}}
1716    function decompileFile($file) // {{{
1717    {
1718        $this->dc = xcache_dasm_file($file);
1719        if ($this->dc === false) {
1720            echo "error compling $file\n";
1721            return false;
1722        }
1723    }
1724    // }}}
1725    function output() // {{{
1726    {
1727        echo "<?". "php\n";
1728        foreach ($this->dc['class_table'] as $key => $class) {
1729            if ($key{0} != "\0") {
1730                echo "\n";
1731                $this->dclass($class);
1732            }
1733        }
1734
1735        foreach ($this->dc['function_table'] as $key => $func) {
1736            if ($key{0} != "\0") {
1737                echo "\n";
1738                $this->dfunction($func);
1739            }
1740        }
1741
1742        echo "\n";
1743        $this->dop_array($this->dc['op_array']);
1744        echo "\n?" . ">\n";
1745        return true;
1746    }
1747    // }}}
1748}
1749
1750// {{{ defines
1751define('ZEND_ACC_STATIC',         0x01);
1752define('ZEND_ACC_ABSTRACT',       0x02);
1753define('ZEND_ACC_FINAL',          0x04);
1754define('ZEND_ACC_IMPLEMENTED_ABSTRACT',       0x08);
1755
1756define('ZEND_ACC_IMPLICIT_ABSTRACT_CLASS',    0x10);
1757define('ZEND_ACC_EXPLICIT_ABSTRACT_CLASS',    0x20);
1758define('ZEND_ACC_FINAL_CLASS',                0x40);
1759define('ZEND_ACC_INTERFACE',                  0x80);
1760define('ZEND_ACC_PUBLIC',     0x100);
1761define('ZEND_ACC_PROTECTED',  0x200);
1762define('ZEND_ACC_PRIVATE',    0x400);
1763define('ZEND_ACC_PPP_MASK',  (ZEND_ACC_PUBLIC | ZEND_ACC_PROTECTED | ZEND_ACC_PRIVATE));
1764
1765define('ZEND_ACC_CHANGED',    0x800);
1766define('ZEND_ACC_IMPLICIT_PUBLIC',    0x1000);
1767
1768define('ZEND_ACC_CTOR',       0x2000);
1769define('ZEND_ACC_DTOR',       0x4000);
1770define('ZEND_ACC_CLONE',      0x8000);
1771
1772define('ZEND_ACC_ALLOW_STATIC',   0x10000);
1773
1774define('ZEND_ACC_SHADOW', 0x2000);
1775
1776define('ZEND_FETCH_GLOBAL',           0);
1777define('ZEND_FETCH_LOCAL',            1);
1778define('ZEND_FETCH_STATIC',           2);
1779define('ZEND_FETCH_STATIC_MEMBER',    3);
1780define('ZEND_FETCH_GLOBAL_LOCK',      4);
1781
1782define('ZEND_FETCH_CLASS_DEFAULT',    0);
1783define('ZEND_FETCH_CLASS_SELF',       1);
1784define('ZEND_FETCH_CLASS_PARENT',     2);
1785define('ZEND_FETCH_CLASS_MAIN',       3);
1786define('ZEND_FETCH_CLASS_GLOBAL',     4);
1787define('ZEND_FETCH_CLASS_AUTO',       5);
1788define('ZEND_FETCH_CLASS_INTERFACE',  6);
1789
1790define('ZEND_EVAL',               (1<<0));
1791define('ZEND_INCLUDE',            (1<<1));
1792define('ZEND_INCLUDE_ONCE',       (1<<2));
1793define('ZEND_REQUIRE',            (1<<3));
1794define('ZEND_REQUIRE_ONCE',       (1<<4));
1795
1796define('ZEND_ISSET',              (1<<0));
1797define('ZEND_ISEMPTY',            (1<<1));
1798define('EXT_TYPE_UNUSED',         (1<<0));
1799
1800define('ZEND_FETCH_STANDARD',     0);
1801define('ZEND_FETCH_ADD_LOCK',     1);
1802
1803define('ZEND_FE_FETCH_BYREF',     1);
1804define('ZEND_FE_FETCH_WITH_KEY',  2);
1805
1806define('ZEND_MEMBER_FUNC_CALL',   1<<0);
1807define('ZEND_CTOR_CALL',          1<<1);
1808
1809define('ZEND_ARG_SEND_BY_REF',        (1<<0));
1810define('ZEND_ARG_COMPILE_TIME_BOUND', (1<<1));
1811define('ZEND_ARG_SEND_FUNCTION',      (1<<2));
1812
1813define('BYREF_NONE',       0);
1814define('BYREF_FORCE',      1);
1815define('BYREF_ALLOW',      2);
1816define('BYREF_FORCE_REST', 3);
1817define('IS_NULL',     0);
1818define('IS_LONG',     1);
1819define('IS_DOUBLE',   2);
1820define('IS_STRING',   3);
1821define('IS_ARRAY',    4);
1822define('IS_OBJECT',   5);
1823define('IS_BOOL',     6);
1824define('IS_RESOURCE', 7);
1825define('IS_CONSTANT', 8);
1826define('IS_CONSTANT_ARRAY',   9);
1827
1828@define('XC_IS_CV', 16);
1829
1830/*
1831if (preg_match_all('!XC_[A-Z_]+!', file_get_contents(__FILE__), $ms)) {
1832    $verdiff = array();
1833    foreach ($ms[0] as $k) {
1834        if (!defined($k)) {
1835            $verdiff[$k] = -1;
1836            define($k, -1);
1837        }
1838    }
1839    var_export($verdiff);
1840}
1841/*/
1842foreach (array (
1843    'XC_HANDLE_EXCEPTION' => -1,
1844    'XC_FETCH_CLASS' => -1,
1845    'XC_FETCH_' => -1,
1846    'XC_FETCH_DIM_' => -1,
1847    'XC_ASSIGN_DIM' => -1,
1848    'XC_UNSET_DIM' => -1,
1849    'XC_FETCH_OBJ_' => -1,
1850    'XC_ASSIGN_OBJ' => -1,
1851    'XC_ISSET_ISEMPTY_DIM_OBJ' => -1,
1852    'XC_ISSET_ISEMPTY_PROP_OBJ' => -1,
1853    'XC_ISSET_ISEMPTY_VAR' => -1,
1854    'XC_INIT_METHOD_CALL' => -1,
1855    'XC_VERIFY_ABSTRACT_CLASS' => -1,
1856    'XC_DECLARE_CLASS' => -1,
1857    'XC_DECLARE_INHERITED_CLASS' => -1,
1858    'XC_ADD_INTERFACE' => -1,
1859    'XC_POST_DEC_OBJ' => -1,
1860    'XC_POST_INC_OBJ' => -1,
1861    'XC_PRE_DEC_OBJ' => -1,
1862    'XC_PRE_INC_OBJ' => -1,
1863    'XC_UNSET_OBJ' => -1,
1864    'XC_JMP_NO_CTOR' => -1,
1865    'XC_FETCH_' => -1,
1866    'XC_FETCH_DIM_' => -1,
1867    'XC_UNSET_DIM_OBJ' => -1,
1868    'XC_FETCH_OBJ_' => -1,
1869    'XC_ISSET_ISEMPTY' => -1,
1870    'XC_INIT_FCALL_BY_FUNC' => -1,
1871    'XC_DO_FCALL_BY_FUNC' => -1,
1872    'XC_DECLARE_FUNCTION_OR_CLASS' => -1,
1873) as $k => $v) {
1874    if (!defined($k)) {
1875        define($k, $v);
1876    }
1877}
1878
1879/* XC_UNDEF XC_OP_DATA
1880$content = file_get_contents(__FILE__);
1881for ($i = 0; $opname = xcache_get_opcode($i); $i ++) {
1882    if (!preg_match("/\\bXC_" . $opname . "\\b(?!')/", $content)) {
1883        echo "not done ", $opname, "\n";
1884    }
1885}
1886// */
1887// }}}
1888
Note: See TracBrowser for help on using the repository browser.