简介

Python是一款快速、优雅的编程语言。ctypes 是Python的外部函数库，它提供了与 C 兼容的数据类型,并允许调用 DLL 或共享库中的函数,可使用该模块以纯 Python 形式对这些库进行封装。在ctypes之中存在栈溢出问题。漏洞影响范围:小于3.9.1版本，影响模块_ctypes/callproc.c。

分析环境

系统版本：Win10 x64      环境版本：VS2019      Python源码版本：3.8.7rc1

环境搭建

1、安装VS2019，访问 https://visualstudio.microsoft.com/zh-hans/vs/按照安装步骤即刻安装。

2、访问 https://github.com/python/cpython/tree/v3.8.7rc1/下载CPython源码。

3、在管理员权限下执行 cpython-3.8.7rc1\PCbuild\build.bat 等待其执行成功。

4、执行 cpython-3.8.7rc1\PCbuild\pcbuild.sln。

5、启动vs2019之后，右键选择 解决方案 找到 属性->配置属性。因为其他模块不需要分析，所以就不用编译。按照图中勾选。

6、选择菜单栏之中 生成->生成解决方案。

7、环境启动后，在需要调试的方法上设置断点。

代码分析

先来看到 _ctypes\callproc.c PyCArg_repr 方法。这个函数的作用将数据类型转换为C数据类型进行传递。 该方法内定义变量 buffer[256]用于存放字符。

问题代码位于 cpython-3.8.7rc1\Modules_ctypes\callproc.c Line:521。使用sprintf作为字符串格式化，由于双精度长度超过预期。当给予超长字符串时候将会触发字符串超长溢出。

咱们执行POC之后观察DEBUG情况

>>> from ctypes import * 
>>> c_double.from_param(1e300)

Debug情况表示已经触发溢出，漏洞实际影响较小，buffer 256长度无法继续利用。如果大佬有什么好思路，欢迎补充。

修复情况

咱们访问 https://github.com/python/cpython/blob/master/Modules/_ctypes/callproc.cLine:488 PyCArg_repr()。

在新版本之中该问题已经得到修复，已经将sprintf换成PyUnicode_FromFormat。

温馨提示：最新版已修复，需要使用C\C++开发Python模块的大佬要注意更新。

总结

Python作为胶水语言为了结合各类语言的优势，安全问题相对涉及面较为广泛。虽然问题影响不大，但是挖掘漏洞的思路非常好。