I want to construct the control flow graph in klee,how can I get it?
tamagolane opened this issue · comments
tamagolane commented
To ask a question about KLEE:
- Please first check the documentation at http://klee.github.io/docs/
- Then check the searchable mailing list archive
- If this still doesn’t answer your questions then please send an email to the klee-dev mailing list
We will normally not answer questions asked on GitHub.
Cristian Cadar commented
This seems to have been opened by mistake given the generic text in the main text box, but in any case, please ask questions about KLEE on the mailing list.