Hi All, I am new to KLEE and also to open source, linux and programming in general ( I am from Hardware background and most of my work is satisfied by having knowledge of just C and have mostly worked on Windows)
I want to explore symbolic execution and KLEE seems like a good choice for beginning. But I would like you guidance in getting to know the best way to understand the code of KLEE. I went through http://klee.github.io/docs/developers-guide/ but it seemed too much for me to understand much of it. Kindly guide me on how to proceed. I would like to be able to get to a stage that I can edit KLEE code to suit my needs. Thanks in advance. Regards, Saksham Jain
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
