Memory Usage information

[Mukta Debnath]

Hello Sir,

Do I get the memory usage information for my project from the executionTracer.dat file? Can you suggest me on how to extract the memory usage by S2E.

Regards,

Mukta Debnath

[Vitaly Chipounov]

Hi,

Memory usage is recorded in s2e-last/run.stats.

Vitaly

> --
> --
> 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/0afc4de6-56db-4360-9c2e-d33a01faa316n%40googlegroups.com.

[Mukta Debnath]

Thank you for your response Sir. Yes, I got to see it.

Regards,

Mukta Debnath

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/CACjSjcs_4Tr1V_AnyDwuUV1G%2BxzqwiCXjKfZ7yfYDz_jAA10Zw%40mail.gmail.com.