Regarding the issue of the 'put' command

[Jay Ironman]

Hello, I have a question about the 'put' command. When using `/ Does the s2ecmd put fileName ` command save files from Guest OS to the host at the end of symbol execution? At some other time, I haven't found this part of the source code, so I'm not quite sure. I hope you can help me answer this question, which is very important to me.

[Vitaly Chipounov]

Hi,

s2e put is implemented here [1]. The file is uploaded immediately. You need to set allowWrite=true in the HostFiles plugin config section [2].

Vitaly

[1] https://github.com/S2E/s2e/blob/master/guest/common/s2ecmd/s2eput.cpp
[2] https://github.com/S2E/s2e/blob/master/libs2eplugins/src/s2e/Plugins/Core/HostFiles.cpp#L48

On Wed, Jul 24, 2024 at 3:55 PM Jay Ironman <ironman...@gmail.com> wrote:

Hello, I have a question about the 'put' command. When using `/ Does the s2ecmd put fileName ` command save files from Guest OS to the host at the end of symbol execution? At some other time, I haven't found this part of the source code, so I'm not quite sure. I hope you can help me answer this question, which is very important to me.

--
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/8432232b-d5cc-4ea7-a72b-4f3ebeba4150n%40googlegroups.com.

[Vitaly Chipounov]

Hi,

On Thu, Jul 25, 2024 at 4:29 AM Jay Ironman <ironman...@gmail.com> wrote:

Thank you for your response. I have two small questions:
1. Can I configure `put` to get files after symbolic execution?

I am not sure I understand the question.

 

2. What is the function of `allowWrite=true`?

To allow s2e put to work.

Vitaly

 

Thank you!

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/f72ae0f7-cab5-4594-a463-9ae42616515en%40googlegroups.com.

[Jay Ironman]

Sorry, I misunderstood at the beginning.
In short, there are two steps to save data from GuestOS to the host:
1. Set `allowWrite` to true
2. Use `./s2ecmd put fileName` command
I understand it correctly, right? I'm currently redoing the experiment. It's a bit slow to rebuild the GuestOS, haha
Thank you for your reply