who know this random error message

[sandwich125]

  when I use s2e to analysis some programme , when it run 12 hours or 13 hours it display the following error and abort . and the point of abort time is different.  wo know why?

 

[Vitaly Chipounov]

After that long, S2E most likely ran out of memory.

Vitaly

On 12/13/20 7:29 AM, sandwich125 wrote:

  when I use s2e to analysis some programme , when it run 12 hours or 13 hours it display the following error and abort . and the point of abort time is different.  wo know why?

 

--
--
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/178e3ebc.ae4.1765aca57aa.Coremail.sandwich125%40126.com.

[sandwich125]

the memory of  physical host machine is 64G,   as you say S2E likely ran out of memory in virtual machine of GuestOS(debian-9.2.1-i386), Do I have some way to confirm that GuestOS have run out of memory at that point?

if I add the memory of GuestOS virtual machine,  dIs this method feasible? I rember in some document you say the proper memory of GuestOS(debian-9.2.1) is 1G, why?  if I add the GuestOS memory to 16G or 32G (or 128G), why it is not proper to S2E?

[Vitaly Chipounov]

Hi,

On 12/17/20 2:51 AM, sandwich125 wrote:

the memory of  physical host machine is 64G,   as you say S2E likely ran out of memory in virtual machine of GuestOS(debian-9.2.1-i386), Do I have some way to confirm that GuestOS have run out of memory at that point?

No, I said that S2E ran out of memory. S2E does not crash if the guest runs of guest RAM.
64 GB on the host is not that much if you let S2E run for hours with many states.
You can run dmesg on the host or the guest to confirm which one ran out of memory.

if I add the memory of GuestOS virtual machine,  dIs this method feasible? I rember in some document you say the proper memory of GuestOS(debian-9.2.1) is 1G, why?  if I add the GuestOS memory to 16G or 32G (or 128G), why it is not proper to S2E?

You can add more RAM to the guest, it's definitely something you could do for Linux, where the default image uses 256MB. Some Windows images use 2GB.

I would not recommend going above 2G-4G for several reasons:
- S2E start up time will be much slower as it has to initialize quite a bit of metadata for each memory page
- You will need a lot more host memory to run S2E, especially for symbolic execution.

It's not impossible to optimize all of that if you really need it, but that would be a large project on its own.

Vitaly

[sandwich125]

 You will need a lot more host memory to run S2E, especially for symbolic execution

Does this means if I allocate N G memory to GuestOS,  the host machine memory must big than 2*N G ?

or why if I allocated big memory to GuestOS, if S2E do symbolic execution ,host need more memory?

[sandwich125]

 You will need a lot more host memory to run S2E, especially for symbolic execution

Does this means if I allocate N G memory to GuestOS,  the host machine memory must big than 2*N G ?

or why if I allocated big memory to GuestOS, if S2E do symbolic execution ,host need more memory?

At 2020-12-17 17:45:22, "Vitaly Chipounov" <vit...@cyberhaven.com> wrote:

[sandwich125]

how could I adjust guest OS memory?

 I modify ./debian-9.2.1-i386/image.json file  256M  ->  2048M

but when I run s2e it report eror as following:

At 2020-12-17 17:45:22, "Vitaly Chipounov" <vit...@cyberhaven.com> wrote:

[Vitaly Chipounov]

You also need to rebuild the image.

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/4e602ea8.4886.17693f97310.Coremail.sandwich125%40126.com.