diff --git a/klee-build/symbolic-engine/README.md b/klee-build/symbolic-engine/README.md index 5a6e9f5..53addf2 100644 --- a/klee-build/symbolic-engine/README.md +++ b/klee-build/symbolic-engine/README.md @@ -929,7 +929,7 @@ echo "分析完成: $(date)" #endif ``` -### Q2: KLEE 确认率很低 (0%) +### Q2: KLEE 确认率较低 **原因**: 1. 外部函数调用较多(printf, malloc 等)