Breaking refactor about plugin

14 views
Skip to first unread message

as535364

unread,
Jan 6, 2026, 7:47:48 AM (4 days ago) Jan 6
to S2E Developer Forum
Hi, 

I began my research using S2E in September and found that some breaking changes in reactors are affecting specific interfaces in the plugin, as seen in last week's commits.

Like static PluginState *factory(Plugin *p) and s2e()->getExecutor()->terminateState.

If it is available, I would like to update the docs via a new pull request.

Best,
YJ

Vitaly Chipounov

unread,
Jan 6, 2026, 10:22:20 AM (4 days ago) Jan 6
to s2e...@googlegroups.com
Hi,

Thanks for noticing this. The docs will need to be updated, as well as the plugin templates [1].
Please go ahead and fix it, otherwise I'll have a look next week.


--
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 visit https://groups.google.com/d/msgid/s2e-dev/b4ae1075-87a2-4afa-8297-91bf335a6996n%40googlegroups.com.

as535364

unread,
Jan 7, 2026, 6:59:41 AM (3 days ago) Jan 7
to S2E Developer Forum
Hi,

I first opened the pull request for plugin template [1].

I will check if any documents need to be updated.

Best,
YJ

[1] https://github.com/S2E/s2e-env/pull/516
Vitaly Chipounov 在 2026年1月6日 星期二晚上11:22:20 [UTC+8] 的信中寫道:
Reply all
Reply to author
Forward
0 new messages