code-analysis/klee-build/symbolic-engine/webui

运行Web界面

1. 安装依赖（建议在WSL内执行）：

cd webui
pip install -r requirements.txt

2. 启动：

python app.py

3. 打开浏览器访问：

http://127.0.0.1:5000/

说明：

• 首次分析会自动尝试在 src/ 下用 gcc 编译 test_analyzer 可执行文件。
• 选择项目内 .c/.cc/.cpp 文件或上传一个源文件，点击“开始分析”。
• 结果页会显示控制台输出并提供查看报告的链接（如果生成）。