S2E Developer Forum

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

Hi, You may test Linux drivers on the latest S2E, basic symbolic execution will work. At a minimum,

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

Thank you very much for your reply. I will carefully study it. Thank you again for your patient

Hi, Please use s2e export_project to generate the archive. Thanks, Vitaly On Wed, Oct 25, 2023 at 4:

I have no idea, you'll have to investigate yourself. Each OS has its own way of handling

Thank you, I am trying! 在2023年10月31日星期二 UTC+8 01:40:06<Vitaly Chipounov> 写道： Hi, S2E supports