Hi, Vitaly!
The exported project is attached. You also need to use our toolset in order to run the crashed project. It includes a custom S2E plugin, a little modification of S2E original codebase, and a hook library to achieve our specific goal, the toolset is also attached. I think you only need to install the plugin and codebase modification (step 2, 3, 4 in README.md Installation section). By the way, the modification of S2E codebase does nothing in this crashed project, it only makes the rebuild of S2E succeed.
We also modify the bootstrap.sh (functions: customize_setup_environment and customize_execute), it takes an archive (s2e-archive-opener-pat.tar.gz) including our target server-side program, and lets it run properly in S2E environment. The target program is a server listening on the loopback network interface and the image we use is Ubuntu 22.04.
Unfortunately, I can not run the debug mode with ./launch-s2e.sh debug, the error screenshot is also attached.
Since we introduced some new stuff to S2E. If it is infeasible to run the project, just let me know!
Thanks,
Hongduo