ghcr.io/unittestbot/klee/klee
这是UnittestBot项目提供的KLEE镜像，KLEE是一款基于LLVM的符号执行引擎，主要用于自动生成测试用例，帮助开发者发现程序中的潜在漏洞、逻辑错误和未处理的边界情况，支持对C/C++等语言编写的程序进行静态与动态分析。