Hi Prof. Cristian,
Thanks for the clarification.
Best Regards,
Pansilu
On Wed, Mar 9, 2022 at 9:53 PM Cristian Cadar
wrote:
> Hi,
>
> KLEE does not use the system call fork() to fork states. See
> Executor::fork() in the code.
>
> Best,
> Cristian
>
> On 23/02/2022 18:40, Pansilu
Hi,
KLEE does not use the system call fork() to fork states. See
Executor::fork() in the code.
Best,
Cristian
On 23/02/2022 18:40, Pansilu Pitigalaarachchi wrote:
Hi,
I would like to check the possible scenarios where KLEE creates a child
process.
1.My current understanding is that a
Hi,
I would like to check the possible scenarios where KLEE creates a child
process.
1.My current understanding is that a 'state fork' performed at a branch
condition will not result in a real forking of the KLEE process & does not
invoke fork() syscall to create a child process of klee. i.e.
