Giters

klee / klee

KLEE Symbolic Execution Engine

Home Page:https://klee-se.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

I want to construct the control flow graph in klee,how can I get it?

tamagolane opened this issue · comments

commented

To ask a question about KLEE:

  1. Please first check the documentation at http://klee.github.io/docs/
  2. Then check the searchable mailing list archive
  3. 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.

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.