如何解决KLEE watchdog超时引发的"ptrace operation not permitted"错误？

问题根源 #

当KLEE的watchdog触发超时后，会尝试通过gdb附加到子进程来终止任务，但系统的ptrace权限限制导致附加失败，最终只能强制kill子进程，出现你看到的报错。

解决方法 #

1. 调整ptrace_scope内核参数 #

临时生效（重启后失效）：

echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope

永久生效：
编辑/etc/sysctl.d/10-ptrace.conf，将kernel.yama.ptrace_scope的值修改为0，然后执行：

sudo sysctl -p /etc/sysctl.d/10-ptrace.conf

2. 以root身份运行KLEE #

root用户不受ptrace_scope限制，直接用sudo启动任务：

sudo klee [你的KLEE命令参数]

3. 修改KLEE Watchdog的终止策略 #

跳过gdb附加步骤，直接用信号终止：
启动KLEE时添加参数：

klee --watchdog-signal=9 [其他参数]

或者延长watchdog超时时间，减少触发概率：

klee --watchdog-timeout=300 [其他参数]  # 示例设置为300秒

4. 排查系统隐性变更 #

即使你没有手动修改配置，系统自动更新可能导致权限变化：

• 检查近期内核更新记录，部分新版本内核会默认提高ptrace限制级别
• 验证SELinux或AppArmor是否被启用，这类安全模块可能会拦截ptrace操作

内容的提问来源于stack exchange，提问作者Arpita Dutta