[控场AI]
待验证50% 置信事实精确时间

KLEE、angr和Manticore是concolic执行方向的代表性工具

1
来源数
50%
置信度
长期有效
时效性
2026/8/21
首次发现

来源

相关事实

引用此条事实

Stable URI
https://kongchang.com/claim/783861
API
curl https://kongchang.com/api/v1/knowledge/claims/783861
MCP
get_claim(id=783861)