S2E supports image file input

Mukta Debnath

unread,

Jul 25, 2021, 6:15:03 AM7/25/21

to S2E Developer Forum

Hello,

Does S2E supports programs that have image files as inputs?

Regards,

Mukta Debnath

Vitaly Chipounov

unread,

Jul 25, 2021, 7:05:56 AM7/25/21

to s2e-dev

Hi,

Yes, S2E supports arbitrary binary files as inputs. Use valid images
as seeds [1] so that symbolic execution manages to get deeper into
your program.

Vitaly

[1] http://s2e.systems/docs/s2e-env.html?highlight=seed#using-seed-files

> --
> --
> 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/f48c4000-8c39-48ee-a50b-7191e6168cf3n%40googlegroups.com.

Mukta Debnath

unread,

Jul 26, 2021, 6:37:08 AM7/26/21

to S2E Developer Forum

Thank you Sir. Does it supports .bmp file extension for image? I found issues using .bmp file.

Regards,

Mukta Debnath

unread,

Jul 26, 2021, 7:10:28 AM7/26/21

to S2E Developer Forum

Screen capture of the issue with image input data.

On Sunday, July 25, 2021 at 4:35:56 PM UTC+5:30 Vitaly Chipounov wrote:

Vitaly Chipounov

unread,

Jul 26, 2021, 7:52:08 AM7/26/21

to s2e...@googlegroups.com, Mukta Debnath

Hi,

This is a bug in S2E. Could you please run s2e export_project and attach the archive so that I can reproduce it?

Thanks,
Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/98f1520e-27ce-4c97-8e33-a31b4031b077n%40googlegroups.com.

Message has been deleted

Mukta Debnath

unread,

Jul 26, 2021, 8:20:21 AM7/26/21

to S2E Developer Forum

Sure. Here is the Google Drive link of the project.

https://drive.google.com/file/d/1zQUeAK6BbPiSOOHPwDhtnCLlCjIRtbO1/view?usp=sharing

Regards,

Mukta Debnath

Vitaly Chipounov

unread,

Jul 26, 2021, 5:53:49 PM7/26/21

to s2e...@googlegroups.com, Mukta Debnath

Hi,

After looking at your screenshot, it looks like the problem is with the address here [1].
mmap() in the guest failed and the kernel returned a negative value instead of the address.
You could wrap the line in a check. If it solves the problem, please send a pull request.

Vitaly

[1] https://github.com/S2E/s2e/blob/master/libs2eplugins/src/s2e/Plugins/OSMonitors/Linux/LinuxMonitor.cpp#L175

--
--
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/79e8da66-f6c4-4417-aa52-8f1dd111f4ean%40googlegroups.com.

Mukta Debnath

unread,

Aug 6, 2021, 7:05:32 AM8/6/21

to S2E Developer Forum

Thank you Sir,

If I could do this, I will let you know.

Reply all

Reply to author

Forward