[klee-dev] does the newly created state share anything with its sibling

[张枨宇]

Sir,


Maybe you could find the implement of forking state in lib/Core/ExecutionState.cpp with ExecutionState::branch() and ExecutionState::ExecutionState(const ExecutionState& state) functions.
And ExecutionState::branch() is used in  lib/Core/Executor.cpp Executor::fork(ExecutionState &current, ref<Expr> condition, bool isInternal) function when a state need to be forked.

Regards,
Chengyu


--

张枨宇   Chengyu Zhang
华东师范大学  计算机科学与软件工程学院
East China Normal University
School of Computer Science and Software Engineering
Mail：sei_zcy2012 at 126.com



At 2016-04-12 03:49:30, "Sumit Kumar" <sumit686215 at gmail.com> wrote:

Hi,


Can anyone please tell me that when a state is forked does the newly created state share anything with its sibling or is everything a deep copy.

--

Thanks and Regards,

Sumit
-------------- next part --------------
HTML attachment scrubbed and removed