Matthew Shao

docker command: `docker run -v $(pwd):/data/workspace bai "@@" -import `

Currently we do not support export report from GUI, but you can run in headless mode and export the log with `| tee output.txt`.

从设计上讲，tmp变量属于PCode层面的中间运算结果，程序实际运行状态中并无对应的变量；而程序运行状态中变量的抽象值（寄存器值集、内存值集）都是绑定到inOutEnv当中，因此约束求解应该只对inOutEnv中的值集进行。

就条件跳转的求解来说，目前的constraint solver模块尚不完善。对于0x11c4被重复遍历的问题，可以降低K参数值来加速达到不动点。

Could you please provide the sample to track the issue?

1. 请先确认一下两次运行参数是否一致 2. 如果确认运行参数完全一致，请提供一下运行命令以及输出日志帮助定位问题

1. CWE787这个误报问题已在：https://github.com/KeenSecurityLab/BinAbsInspector/commit/baa8b7a7d8951675c077b8916f777d31c065a33d 修复，但release中编译好的版本并未包含，如果急需的话可以自行编译最新代码 2. 提供的日志看不出为何GUI和headless版本不一致，建议开启“-debug”选项比对两者分析过程

We does not have support for PE file for now.

Could you please provide the sample to track the issue?

You can compress it as a zip file and upload.