[klee-dev] Reducing the Number of .ktest Files Generated for Longest Execution Paths

Sun shutong255 at gmail.com
Tue Jun 11 12:41:34 BST 2024


Dear Klee Community,

When running Klee on various programs, I notice that it generates a `.ktest` file for each explored execution path. For my current project's scope, this behavior results in excessive data, most of which is not relevant to my needs. Specifically, I am interested in only retaining the `.ktest` files for the ten longest execution paths, which are most relevant to my analysis.

Could you please advise:
1. Is there an existing command-line option or configuration setting in Klee that allows for limiting the generation of `.ktest` files to only the longest paths?
2. If no such setting exists, could you point me towards the parts of Klee's source code where modifications might be implemented to achieve this functionality?

Any guidance, including relevant documentation or examples, would be greatly appreciated. Thank you very much for your time and assistance.

Best regards,
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list