怎么分析Python代码审计中的反序列化和命令执行

这篇文章给大家介绍怎么分析Python代码审计中的反序列化和命令执行，内容非常详细，感兴趣的小伙伴们可以参考借鉴，希望对大家能有所帮助。

为嘉禾等地区用户提供了全套网页设计制作服务，及嘉禾网站建设行业解决方案。主营业务为成都网站制作、成都网站建设、嘉禾网站设计，以传统方式定制建设网站，并提供域名空间备案等一条龙服务，秉承以专业、用心的态度为用户提供真诚的服务。我们深信只要达到每一位用户的要求，就会得到认可，从而选择与我们长期合作。这样，我们也可以走得更远！

一、介绍

Python代码审计方法多种多样，但是总而言之是根据前人思路的迁移融合扩展而形成。目前Python代码审计思路，呈现分散和多样的趋势。Python微薄研发经验以及结合实际遇到的思路和技巧进行总结，以便于朋友们的学习和参考。

二、反序列化审计实战

反序列化漏洞在Python代码审计中属于常见高危漏洞之一，它的危害性根据执行环境略有不同，本地和远程分别为7.2和10的评分。通过评分也可得知漏洞危害是显而易见。那么咱们应该如何发现这个漏洞?关于发现此种漏洞要从反序列化的模块说起，Python的反序列化模块主要为pickle、cPickle、yaml等等。有关反序列化漏洞问题在多年前就被人们所发现，目前所看到的大多数反序列化漏洞是由于应用调用了存在问题的反序列化模块。那么咱们抓住寻找反序列化模块则有可能会发现反序列化漏洞。

1. dask 命令执行漏洞(CNVD-2019-16789)

关于这个漏洞是笔者在2019年审计anaconda环境模块时候发现，提交CNVD通过验证，虽然是本地触发漏洞，但绝对是关于反序列化漏洞很好的案例，漏洞利用yaml模块问题进行反序列化。

(1) 漏洞分析

漏洞影响的版本 1.1.4 ，漏洞出现于dask模块中config.py文件，第139行。源于程序通过coolect_yaml方法中使用了yaml所导致的问题，方法用途从yaml文件收集配置。

怎么分析Python代码审计中的反序列化和命令执行

其中第148行会判断是否为目录，传入文件就能继续执行。漏洞触发在第168行，使用了yaml.load执行了反序列化。

怎么分析Python代码审计中的反序列化和命令执行

到此咱们通过POC触发存在反序列化的方法，即可造成代码执行问题。

(2) 漏洞POC

漏洞验证截图：

怎么分析Python代码审计中的反序列化和命令执行

(3) 修复方法

yaml 在对于反序列化问题上，已经提供了安全反序列化的解决方法，程序使用yaml.safe_load可以进行安全的反序列化。咱们对于审计问题的修复建议根据实际情况使用。

2. NumPy 命令执行漏洞(CVE-2019-6446)

在NumPy 1.16.0版本之前存在反序列化命令执行漏洞，用户加载恶意的数据源造成代码执行。按照惯例在讲这个反序列化之前要说明Python的pickle的反序列化原理和栈指令。但不是本篇重点，故暂不讨论。

(1) 漏洞分析

咱们直接从代码层说起，漏洞的入口，lib/npyio.py 第288行附近。在这里存在使用反序列化模块的方法，并且allow_pickle值为True。allow_pickle 允许使用 Python pickles 保存对象数组，Python 中的 pickle 用于在保存到磁盘文件或从磁盘文件读取之前，对对象进行序列化和反序列化。通俗讲是个开关，并默认开启。

怎么分析Python代码审计中的反序列化和命令执行

漏洞触发位置，位置在lib/npyio.py，第418行。这里有反序列化加载的方法。笔者将一些代码省略，直观看重点。默认格式要求ZIP文件前缀PK\x03\x04后缀PK\x05\x06，如果不满足默认的格式，则会执行pickle.load()反序列化方法。

到此执行流程为 NumPy.lib.npyio.py:load()=>pickle.py:load()。

try:     # Code to distinguish from NumPy binary files and pickles.     _ZIP_PREFIX = b'PK\x03\x04'     _ZIP_SUFFIX = b'PK\x05\x06' # empty zip files start with this     ……      if magic.startswith(_ZIP_PREFIX) or magic.startswith(_ZIP_SUFFIX):     ……     elif magic == format.MAGIC_PREFIX:     ……     else:         # Try a pickle         if not allow_pickle:             raise ValueError("Cannot load file containing pickled data "                              "when allow_pickle=False")         try:             return pickle.load(fid, **pickle_kwargs)         except Exception:             raise IOError(                 "Failed to interpret file %s as a pickle" % repr(file)) finally:      ……

(2) 漏洞POC

综上所述，编写POC如下：

from numpy.lib import npyio from numpy import __version__ print(__version__) import os import pickle class Test(object):     def __init__(self):         self.a = 1     def __reduce__(self):         return (os.system,('whoami',)) tmpdaa = Test() with open("test-file.pickle",'wb') as f:     pickle.dump(tmpdaa,f) npyio.load("test-file.pickle")

测试结果如图：

怎么分析Python代码审计中的反序列化和命令执行

三、命令执行审计实战

在Python模块中命令执行漏洞同样较为常见、危害较大。在审计命令执行时，大多时候程序可能会在满足特定条件下才能执行命令，也可能需要在不同的系统中才会执行命令，所以需要关注代码逻辑和某些特性。

1. numexpr 命令执行漏洞(CNVD-2019-17298)

Numexpr是机器学习模块NumPy的一个加速包，主要用于提高NumPy的性能。

(1) 漏洞分析

在该模块/numexpr/cpuinfo.py 第37行，存在执行命令的方法。

怎么分析Python代码审计中的反序列化和命令执行

getoutput 就是存在问题的方法，通过逻辑在.popen中进行命令执行，但是由于os.WIFEXITED(status)和os.WEXITSTATUS(status)只在linux下支持所以在windows下面执行会报错。linux 下当status 为全局变量并且赋值为0的时候，os.WIFEXITED(status)结果为True,os.WEXITSTATUS(status)结果为0。根据代码逻辑：if os.WIFEXITED(status) and os.WEXITSTATUS(status) in successful_status:所以successful_status =(True,0)，并通过形参传入，最终导致命令执行问题。

(2) 漏洞POC

漏洞POC和执行结果：

怎么分析Python代码审计中的反序列化和命令执行