State deletion in symbolic mode

7 views
Skip to first unread message

Y Bai

unread,
Sep 25, 2021, 7:20:16 PMSep 25
to S2E Developer Forum
Hi, 

I have a question about the state deconstruction. How does S2E manage the state deletion?

While I'm using TerminateState API function to terminate one state, I found some other previous forked states get deconstructed silently as well. These states do not have a inheritance relation to each other. 

Thanks!

Vitaly Chipounov

unread,
Sep 25, 2021, 7:33:04 PMSep 25
to s2e...@googlegroups.com, Y Bai

Hi,

S2E does not terminate states unless TerminateState is called. By default, it is called after the bootstrap.sh script terminates, using the "s2ecmd kill" command [1]. So, if your program forks and the forked state causes the program to exit, that state will be killed by the script.

Vitaly

[1] https://github.com/S2E/s2e/blob/master/guest/linux/scripts/launch.sh#L48

--
--
You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to s2e...@googlegroups.com
To unsubscribe from this group, send email to s2e-dev+u...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/s2e-dev

---
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/49264913-a9b0-4bba-8e22-c4a99082ed10n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages