KLEE 对 C++ 代码基本无效，因其仅支持无运行时依赖的纯 C 风格 LLVM bitcode，无法处理 std::string、异常、RTTI、虚函数表、构造/析构等引入的不可控符号与动态行为。...