2026 · 预印本
STILL：为 LLM 辅助 C++ 反编译恢复编译后隐藏的 STL 语义
STILL: Recovering Lowered STL Semantics for LLM-assisted C++ Decompilation
STILL 从去符号控制流图预测函数级 STL 容器的存在情况，并将预测转成紧凑提示，供 LLM 改进 Ghidra 输出。StlBench 为五类容器提供受控标注。
研究范围与局限
接口覆盖 map、queue、set、string、vector，不恢复完整变量类型、模板参数、嵌套关系、迭代器或 std::array。实验采用 g++／x86-64／libstdc++、angr 及 Ghidra，未验证向其他工具链的迁移。测试集可执行性不等于等价；提示收益也取决于下游模型及适配。
与本合集的关联
连接显式容器语义恢复与 LLM 辅助 C++ 反编译，同时保留其并非完整类型重建的边界。
发表与复核详情
- 发表载体
- arXiv
- 发表状态
- 预印本
- 出版／提交日期
- 2026 年 8 月 26 日
- 日期依据
- 采用已核对的 arXiv 首次提交日期；尚未核实正式出版信息。
- arXiv 首次提交
- 2026 年 8 月 26 日
- arXiv
- 2608.26408
- 已复核的 arXiv 版本
- v1
最新核对版本为 arXiv v1，文章采用 CC BY-NC-ND 4.0。附录描述产物及计划公开的 StlBench，但未提供已核实的访问链接。代码、模型及数据集许可尚未确定；本次未运行产物或实验。
来源复核于
本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。