source: trunk/Decompiler.class.php @ 714

Last change on this file since 714 was 714, checked in by moo, 4 years ago

disassembler: DECLARE_INHERITED_CLASS/DELAYED class not found

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