安全审计问题确认 — MKSH-CONF-003

本 Issue 来自 AI Security Probe 7.0 对 openharmony/third_party_mksh 的安全审计，属于问题确认表中待社区确认的问题。

发生了什么问题？

信号处理竞争条件的可利用性。main.c 的 exinit() 与 histrap.c 中 setjmp/siglongjmp 的交互存在竞态窗口。如果信号处理函数中调用了非异步信号安全的函数，可能导致未定义行为。

来源: 威胁建模 / 风险接口扫描
当前风险判断: Confirmed HIGH
证据位置: main.c exinit() + histrap.c
关联修复项: MKSH-T15 (P1)

建议修复方式: 审计 siglongjmp 使用路径，确保信号安全函数调用

需要确认的问题

1. setjmp/siglongjmp 的使用路径是否有竞态窗口？
2. 信号处理函数中是否有非异步信号安全操作？
3. 是否可被外部信号触发利用？

建议确认方式

1. 分析信号处理代码路径
2. 测试并发信号场景

版本或分支信息

• master
• Beta 7.0
• Release 6.1
• Release 6.0

本 Issue 由 AI Security Probe 7.0 自动化安全审计生成，详细审计报告请参考审计仓库中的 process.md 问题确认表。