Vitaly Chipounov

Partly merged the content of https://github.com/S2E/s2e-env/pull/184 Still need to add support for `s2e run`.

Unfortunately no. The backlog is so large I don't have time to fix everything. Whoever needs it will need to get their hands dirty :) I'll be very happy to...

I don't have it unfortunately. Maybe @VPaulV still has it somewhere.

Thanks for the detailed report! Since you experienced the bug and can reproduce it reliably, I believe you would be in the best position to rewrite it. We'd be happy...

Yes, it would be a good addition. You could add a "function_name" to the configuration and resolve it to a program counter here [1]. To resolve this, you will need...

[test.tar.xz.zip](https://github.com/S2E/s2e-env/files/4481166/test.tar.xz.zip) (Remove .zip extension, it's here only to satisfy github)

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.

I'll try to do when I get some time. The issue is very complex (to give you an idea it took >6 months for a student to implement ARM support...

Btw, we have a slack channel for s2e-dev, let me know if you'd like to join. https://s2e-dev.slack.com

You understood very well. To clarify further libcpu is roughly the content of the target-i386 folder of vanilla QEMU and libtcg is its tcg folder. In this project, you will...