c10udInk：由浅入深的cython逆向指南

定义与功能：Cython是一个基于Pyrex的Python编译器，将Python代码转换为C/C++代码并编译为Python扩展模块，以加快执行速度并可与外部C库紧密集成。
与Python、CPython的关系：Cython可以将Python转化为C语言，是一种Python的超集；Python是一种编程语言；CPython是Python解释器的源码，提供Python-C API支持以编写C扩展。
编写Python的C扩展：通过Cython直接用Python编写代码，使用cythonize命令编译生成C扩展文件和库。

Cython在CTF逆向中的应用：主要涉及对Cython编译的扩展（.pyd/.so）进行逆向分析，通过动态交互和静态分析相结合的方法解题。
动态交互解题方法：
- 判断扩展文件格式和对应Python版本。
- 使用dir查看模块接口和全局变量。
- 通过co_varnames和co_argcount获取函数参数信息。
- 实际调用函数测试功能，通过报错类型推测逻辑。
- 使用Hook大法替换函数，插入print等调试信息获取中间值。
静态分析解题方法：
- 重点关注__pyx_pymod_exec_MODNAME中的全局代码和函数定义。
- 排除无用的框架代码（如Error Handle、引用计数维护等）。
- 警惕函数套娃现象，注意高版本Cython的wrapper机制。
- 常见小连招：
  - 数字运算通常调用PyNumber_*。
  - 字符串初始化通常在__Pyx_CreateStringTabAndInitStrings中。
  - 常量初始化通常在__pyx_pymod_exec_MODNAME中。
  - 循环结构通常对应原Python代码中的循环。

工具名称：cythonHelper。
主要功能：提取文件信息、全局变量命名、跟踪临时变量。
开发思路：
- 依据Ghidra的P-code进行插件编写。
- 抓住P-code中的特定Opcode（如CALL）。
- 跟踪全局变量赋值对变量命名。
- 利用Ghidra的getDef()和getDescendants()跟踪数据流。
- 将当前Op整理成嵌套数组，递归调用找到最终值。
开发中的挑战：
- 排除Cython框架代码干扰。
- 区分Const和RAM。
- P-code中的Op顺序与一般编程顺序不同。
实战效果：
- 提取特定函数的输入输出以帮助重建函数逻辑。
- 提取数组数据。