| 1 |  |  | <?php | 
            
                                                                                                            
                            
            
                                    
            
            
                | 2 |  |  | declare(strict_types=1); | 
            
                                                                                                            
                            
            
                                    
            
            
                | 3 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 4 |  |  | namespace SPSS; | 
            
                                                                                                            
                            
            
                                    
            
            
                | 5 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 6 |  |  | /** | 
            
                                                                                                            
                            
            
                                    
            
            
                | 7 |  |  |  * Class ByteCodeCompressor | 
            
                                                                                                            
                            
            
                                    
            
            
                | 8 |  |  |  * Abstracts bytecode (de)compression | 
            
                                                                                                            
                            
            
                                    
            
            
                | 9 |  |  |  * @package SPSS | 
            
                                                                                                            
                                                                
            
                                    
            
            
                | 10 |  |  |  */ | 
            
                                                                        
                            
            
                                    
            
            
                | 11 |  |  | class ByteCodeReader | 
            
                                                                        
                            
            
                                    
            
            
                | 12 |  |  | { | 
            
                                                                        
                            
            
                                    
            
            
                | 13 |  |  |     private const BYTE_SYS_MISSING = 255; | 
            
                                                                        
                            
            
                                    
            
            
                | 14 |  |  |     private const BYTE_SPACES = 254; | 
            
                                                                        
                            
            
                                    
            
            
                | 15 |  |  |     private const BYTE_LITERAL = 253; | 
            
                                                                        
                            
            
                                    
            
            
                | 16 |  |  |     private const BYTE_NUL = 0; | 
            
                                                                        
                            
            
                                    
            
            
                | 17 |  |  |     /** @var Buffer  */ | 
            
                                                                        
                            
            
                                    
            
            
                | 18 |  |  |     private $buffer; | 
            
                                                                        
                            
            
                                    
            
            
                | 19 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 20 |  |  |     private $commandBuffer = []; | 
            
                                                                        
                            
            
                                    
            
            
                | 21 |  |  |     private $dataBuffer = ''; | 
            
                                                                        
                            
            
                                    
            
            
                | 22 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 23 | 3 |  |     public function __construct(Buffer $buffer) | 
            
                                                                        
                            
            
                                    
            
            
                | 24 |  |  |     { | 
            
                                                                        
                            
            
                                    
            
            
                | 25 | 3 |  |         $this->buffer = $buffer; | 
            
                                                                        
                            
            
                                    
            
            
                | 26 | 3 |  |     } | 
            
                                                                        
                            
            
                                    
            
            
                | 27 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 28 | 3 |  |     private function readBlock(): string | 
            
                                                                        
                            
            
                                    
            
            
                | 29 |  |  |     { | 
            
                                                                        
                            
            
                                    
            
            
                | 30 | 3 |  |         $this->refreshCommand(); | 
            
                                                                        
                            
            
                                    
            
            
                | 31 | 3 |  |         if (!is_array($this->commandBuffer)) { | 
            
                                                                        
                            
            
                                    
            
            
                | 32 |  |  |             return ''; | 
            
                                                                        
                            
            
                                    
            
            
                | 33 |  |  |         } | 
            
                                                                        
                            
            
                                    
            
            
                | 34 | 3 |  |         switch($cmd = array_shift($this->commandBuffer)) { | 
            
                                                                        
                            
            
                                    
            
            
                | 35 | 3 |  |             case self::BYTE_SYS_MISSING: | 
            
                                                                        
                            
            
                                    
            
            
                | 36 |  |  |                 return pack('d', -PHP_FLOAT_MAX); | 
            
                                                                        
                            
            
                                    
            
            
                | 37 | 3 |  |             case self::BYTE_SPACES: | 
            
                                                                        
                            
            
                                    
            
            
                | 38 |  |  |                 return '        '; | 
            
                                                                        
                            
            
                                    
            
            
                | 39 | 3 |  |             case self::BYTE_LITERAL: | 
            
                                                                        
                            
            
                                    
            
            
                | 40 | 3 |  |                 $result = $this->buffer->read(8); | 
            
                                                                        
                            
            
                                    
            
            
                | 41 | 3 |  |                 if ($result === false) { | 
            
                                                                        
                            
            
                                    
            
            
                | 42 |  |  |                      throw new \Exception('Stream read error'); | 
            
                                                                        
                            
            
                                    
            
            
                | 43 |  |  |                 } | 
            
                                                                        
                            
            
                                    
            
            
                | 44 | 3 |  |                 return $result; | 
            
                                                                        
                            
            
                                    
            
            
                | 45 |  |  |             case self::BYTE_NUL: | 
            
                                                                        
                            
            
                                    
            
            
                | 46 |  |  |                 return $this->readBlock(); | 
            
                                                                        
                            
            
                                    
            
            
                | 47 |  |  |                 throw new \Exception('0 byte command not supported'); | 
                            
                    |  |  |  | 
                                                                                        
                                                                                     | 
            
                                                                        
                            
            
                                    
            
            
                | 48 |  |  |             default: | 
            
                                                                        
                            
            
                                    
            
            
                | 49 |  |  |                 // Bias | 
            
                                                                        
                            
            
                                    
            
            
                | 50 |  |  |                 throw new \Exception('bias encoding not supported: ' . $cmd); | 
            
                                                                        
                            
            
                                    
            
            
                | 51 |  |  |         } | 
            
                                                                        
                            
            
                                    
            
            
                | 52 |  |  |     } | 
            
                                                                        
                            
            
                                    
            
            
                | 53 |  |  |  | 
            
                                                                        
                            
            
                                    
            
            
                | 54 | 3 |  |     private function refreshCommand() | 
            
                                                                        
                            
            
                                    
            
            
                | 55 |  |  |     { | 
            
                                                                        
                            
            
                                    
            
            
                | 56 | 3 |  |         if (empty($this->commandBuffer)) { | 
            
                                                                        
                            
            
                                    
            
            
                | 57 | 3 |  |             $this->commandBuffer = $this->buffer->readBytes(8); | 
            
                                                                        
                            
            
                                    
            
            
                | 58 |  |  |         } | 
            
                                                                        
                            
            
                                    
            
            
                | 59 | 3 |  |     } | 
            
                                                                        
                            
            
                                    
            
            
                | 60 |  |  |  | 
            
                                                                                                            
                            
            
                                    
            
            
                | 61 | 3 |  |     public function read(int $length): string | 
            
                                                                                                            
                            
            
                                    
            
            
                | 62 |  |  |     { | 
            
                                                                                                            
                            
            
                                    
            
            
                | 63 | 3 |  |         $result = substr($this->dataBuffer, 0, $length); | 
            
                                                                                                            
                            
            
                                    
            
            
                | 64 | 3 |  |         $length -= strlen($result); | 
            
                                                                                                            
                            
            
                                    
            
            
                | 65 | 3 |  |         while ($length > 0 && ($data = $this->readBlock()) !== '') | 
            
                                                                                                            
                            
            
                                    
            
            
                | 66 |  |  |         { | 
            
                                                                                                            
                            
            
                                    
            
            
                | 67 | 3 |  |             if ($length >= strlen($data)) { | 
            
                                                                                                            
                            
            
                                    
            
            
                | 68 | 2 |  |                 $result .= $data; | 
            
                                                                                                            
                            
            
                                    
            
            
                | 69 | 2 |  |                 $length -= strlen($data); | 
            
                                                                                                            
                            
            
                                    
            
            
                | 70 |  |  |             } else { | 
            
                                                                                                            
                            
            
                                    
            
            
                | 71 | 2 |  |                 $this->dataBuffer .= substr($data, $length); | 
            
                                                                                                            
                            
            
                                    
            
            
                | 72 | 2 |  |                 return $result . substr($data, 0, $length); | 
            
                                                                                                            
                            
            
                                    
            
            
                | 73 |  |  |             } | 
            
                                                                                                            
                            
            
                                    
            
            
                | 74 |  |  |         } | 
            
                                                                                                            
                                                                
            
                                    
            
            
                | 75 | 1 |  |         return $result; | 
            
                                                                        
                                                                
            
                                    
            
            
                | 76 |  |  |     } | 
            
                                                                        
                                                                
            
                                    
            
            
                | 77 |  |  |  | 
            
                                                                        
                                                                
            
                                    
            
            
                | 78 |  |  | } | 
            
                        
This check looks for unreachable code. It uses sophisticated control flow analysis techniques to find statements which will never be executed.
Unreachable code is most often the result of
return,dieorexitstatements that have been added for debug purposes.In the above example, the last
return falsewill never be executed, because a return statement has already been met in every possible execution path.