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 <[email protected]> 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
