Hi all, I want to analyze all functions in my bitcode file. That is, each function should be symbolicly executed.
How to execute a non-main bitcode function with klee? Can we tell that some functions do the same thing after executing them and comparing the results? Thanks a lot. Vu -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110215/11a32d4d/attachment.html
