source: svn/branches/1.2/Decompiler.class.php @ 394

Last change on this file since 394 was 394, checked in by Xuefer, 11 years ago

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