Could you please run s2e export_project and attach the resulting archive? It will be easier for us to see what's wrong.
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/93f71f38-4fde-43a6-a707-a9eaa7e6117bn%40googlegroups.com.
S2E does not concretize data in the heap. Symbolic data can be
stored anywhere in RAM. Concretizations occur when writing
symbolic data to devices (e.g., printing symbolic data on the
screen) or to control registers of the CPU.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/4f139469-d6c7-43fe-9624-717369623717n%40googlegroups.com.
Yes, this function concretizes any symbolic data it reads.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/fc642c34-8091-465a-b773-833d2fbbe1e8n%40googlegroups.com.
I don't understand what you are trying to solve. If the problem is the unwanted concretization you mentioned earlier, we first need to understand why it happens. Please attach the project file as instructed earlier, so that we can help with debugging.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/f63fe220-77c3-48c0-8a8d-9245210cb5dcn%40googlegroups.com.