deepstate icon indicating copy to clipboard operation
deepstate copied to clipboard

Published 20 hours ago • verified publisher icon trailofbits

S2E support

Open adrianherrera opened this issue 5 years ago • 2 comments

Hellooooo DeepState devs (hey @pgoodman!),

Here is my PR for adding S2E support to DeepState. Note that it requires some upstream changes to S2E that I haven't yet merged (or even made a PR for. I'll get there), so the Python scripts won't work "out-of-the-box" yet. I've only done minimal testing of the supplied examples/: If you have something more meaty for me to test, please let me know.

For now I'm mainly after feedback on code style, how I've written the S2E "executor" (it's very different to Manticore/Angr, due to the differences in how you use S2E), documentation, etc. Please don't merge until I've updated upstream S2E 🙂

Cheers, Adrian

adrianherrera avatar Dec 30 '18 12:12 adrianherrera

CLA assistant check
All committers have signed the CLA.

CLAassistant avatar Dec 30 '18 12:12 CLAassistant

Hi @adrianherrera ,

We recently switched to Python3. Can you update your PR? Do you need some help with that?

ggrieco-tob avatar Apr 22 '19 01:04 ggrieco-tob