search

S2E / s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Other
93 stars 51 forks source link

Starting execution at arbitrary point #302

Open jiwonjoung opened 5 years ago

jiwonjoung commented 5 years ago

Hello developers, According to the docs s2e can stop path exploration early using s2e_terminate. I'm wondering if there is a similar call to hold off path exploration until a certain point in the code.

I want to start and stop s2e exploration at arbitrary points in the program. Is this possible?

vitalych commented 5 years ago

There is an api to disable forking: s2e_disable_forking() / s2e_enable_forking(). It will still run symbolic execution but will prevent branches from forking.