[klee-dev] Shared memory region between forked processes?

[Paul Marinescu]

Hi,
Vanilla KLEE does not support multi-threading/multi-processes. If you're using an extension, implementing shared memory/mmap depends on how multi-processes are implemented, but it essentially amounts to creating an mmap model, similar in principle to the existing models (see the runtime/POSIX/ folder for examples).

Best,
Paul

On 13 Jun 2013, at 20:34, Sunha Ahn <sunha0520 at gmail.com> wrote:

> Hi all, 
> 
> Is there any way to make a shared memory between forked processes? 
> I am looking for something like mmap. 
> It would be great if someone has any idea about this! 
> 
> Best regards,
> Sunha.
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev