[klee-dev] How do Klee forks program states?

[Martin Nowack]

Hi,

The magic happens in lib/Core/Executor.cpp in the function Executor::fork()
https://github.com/klee/klee/blob/master/lib/Core/Executor.cpp#L703

And specifically (if needed to fork the state in the following statement).

https://github.com/klee/klee/blob/master/lib/Core/Executor.cpp#L857.

Cheers,
Martin


> On 23 Sep 2015, at 00:48, Zaman, Tarannum <tsza223 at g.uky.edu> wrote:
> 
> Hi,
> 
> I want to work with the klee code base. But I am not sure about how Klee tracks the program states.
> 
> If anyone can tell me the path in the code of klee with which klee forks program states than, it will be very much helpful for me.
> 
> Thanks
> Tarannum
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

---------------------------------------------------
Martin Nowack
Research Assistant

Technische Universität Dresden
Computer Science
Institute of Systems Architecture
Systems Engineering
01062 Dresden

Phone: +49 351 463 39608
Email: martin_nowack at tu-dresden.de
----------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150923/55363e13/attachment.sig>