37｜PyInstaller Python 打包程序静态识别

目标：了解打包层的元数据，不声称获得原始源码。
适用对象：PyInstaller｜审核日期：2026-10-21｜证据状态：O 上游描述，E 操作方案，未获得 T-REA 实测结果。

你要解决的具体问题

了解打包层的元数据，不声称获得原始源码。建议先做一个自己编译、能够公开完整输入输出的样例。REA 上游列出的能力可能尚未进入正在使用的 npm 版本，必须检查本机的 rea --help、rea capabilities 或所安装包实际清单。

环境与授权检查

文件来源、授权范围、版本、SHA256 和可公开的输出边界已记录。
已确认此类型在 当前已安装发行版 可用，而非仅在 GitHub 主分支存在。
若需要外部工具，单独核对系统支持、许可证、版本和工具链安装方式。
只读为默认模式；运行、提取、文件改动、捕获流量前单独审批。

六步完整流程

步骤 1｜从自己的 Python 示例生成 PyInstaller 测试程序，并保存 Python 与 PyInstaller 版本。

步骤 2｜记录打包文件哈希，不直接执行从陌生来源获得的二进制。

步骤 3｜依据当前 REA 支持说明只读检查 CArchive 成员、入口脚本和 Python 版本信息。

步骤 4｜将成员表与自己打包的源码清单比较，并记录缺失/多余项。

步骤 5｜可在自己授权样例中验证字节码结构，但原始变量名、注释与工程目录不保证恢复。

步骤 6｜标明静态分析范围，未经同意不导出或传播第三方代码。

可复制任务指令

目标：对自己编译的 PyInstaller 练习程序生成 CArchive 成员和入口元数据台账，不能声称自动还原全部项目源码。
分析目标：【自己编译或具有明确授权的样例绝对路径】
授权范围：【所有权/许可与禁止事项】
环境：【系统/REA版本/Node版本/可用provider/辅助工具】
安全约束：先仅做只读分析。未被明确批准前不运行不可信程序，不自动联网、不解密、不绕过许可、不读取或外传任何私人账号、密钥、证件与客户数据。
交付：操作与证据对应表、实际命令、原始文件与哈希、直接观察、推断、反证、失败信息及下一次最小测试。
失败策略：若能力不存在或命令返回不支持，记录事实并停止，不构造不存在的参数或假装已完成。

证据与推断对照表

结论	原始证据	验证方法	允许的表述
支持该类型的检查	当前版本的 `--help` / 实际返回	本机查看、保留退出码	本机版本已证实 / 未验证
样本包含特定结构	本地测试文件、偏移或元数据输出	对照自己编译的样例	直接观察；不得推演完整业务逻辑
推断程序行为	静态关系或元数据	独立运行样例与边界测试	假设，需进一步证实

失败场景与红队审核

主要风险：打包内部含第三方依赖不等于可以随意公开其原始字节。

若无法找到真实来源/数据，应标明“未验证”，不得由 AI 补造文件位置或函数地址。
不能依赖某个工具的“成功”字符串证明真实业务结果；重要结论需以自有样例复验。
避免在 GitHub Issue 分享未脱敏的原始程序、截图、网络载荷、密钥与合同资料。

验收清单

能提供自己有权使用的目标文件与复现环境。
至少三项结论明确区分直接观察 / 推断 / 待验证。
至少一个可推翻主结论的测试与预期结果已经列出。
记录工具版本、辅助依赖、完整命令、退出状态与人工复核情况。
如果未执行 REA，明确标记“未运行 REA”，不使用想象中的工具输出。

进一步阅读

REA 官方仓库 · 官方 CLI / Evidence · 实验模板 · 真实实验协议

非 REA 官方中文教程。作者 AI 酋长 Andy · 微信 AIPMAndy · 官网 https://metaver.vip/ · 咨询服务