S2E Developer Forum

Hi, I am new to s2e. I'm currently working on a project involving symbolic execution in the Linux

Hi, S2E does not support automatically generating summaries. You can write them manually if you want

Hi, Please find my answers below. On Saturday, June 7, 2025 at 6:13:16 PM UTC+2 anac...@gmail.com

Hi, Please find my answers below. On Friday, April 25th, 2025 at 8:11 AM, Lang Rin <Rinlang@

Hi, Thanks for investigating this. Can you reproduce the issue with unmodified S2E and a minimal

Hi, onStateForkDecide should always be triggered, as long as there is a branch that depends on a

Hi, If you test malware, I'd suggest you do it on a host that has no Internet, no sensitive data,

No idea, I am not a Mac user. I would have to do some research on this. On Thu, Dec 26, 2024, 14:48

Hi, In principle it should work, but I haven't tested it yet. You may need to add additional

Hello I have attached my plugin source file and it has been successfully compiled. You can check if

Hello: Yes, I did indeed delete all the contents of the 'build' directory and rebuild it. It

Thank you, I appreciate it! On Sun, Nov 24, 2024 at 2:59 PM 'Vitaly Chipounov' via S2E

Hi, You will need to provide a test harness yourself. S2E cannot automate that. Perhaps you could

------- Forwarded Message ------- From: Vitaly Chipounov <vit...@chipounov.fr> Date: On

Hi, The fusermount ignored error is ok. It tries to unmount stale folders first before proceeding.

Thank you for your reminder（I overlooked some details before, sorry）. I have successfully completed

1. I built the kernel in Docker 2. Now I can successfully build using Linux 5.19.1. I don't know

After testing, it was found that the Linux 4.9.3 kernel compiled after changing the compilation

1. Yes, I did forget to execute 'pip install - e.'` Command, sorry. The testing has been

If I compile the Linux 4.9.3 kernel using a previous version of S2E (without updating Linux 6.8.2 S2E

Sorry, I misunderstood at the beginning. In short, there are two steps to save data from GuestOS to

Thank you, I have solved this problem.I made a mistake in my previous analysis, mistaking the '

Yes, I have noticed that I am currently rebuilding Guest OS using the Linux 6. x version kernel and

Hi, You could try a few things: - Use onTranslateRegisterAccessEnd [1] to instrument code that

Hi Vitaly, In order to speed up my implementation, before solving the constraints, I will use the

Hi, The debian 9 image build is broken because mirrors don't host its packages anymore. I don

Hi, Please record the entire output of the build and attach it. Vitaly On Fri, Mar 15, 2024 at 8:29

Hi, You need to provide a *.symranges file if you want to make parts of the file symbolic. Without it

Hi, Done! Congrats for your paper! Vitaly On Thu, Feb 22, 2024 at 12:15 AM Mingxuan Yao <

I have solved this problem, please forgive my foolishness 在2023年11月28日星期二 UTC+8 21:11:15<Jay