[klee-dev] Feedback on planned CI/CD program analysis framework
Cristian Cadar
c.cadar at imperial.ac.uk
Mon May 12 19:06:28 BST 2025
Hi all,
We are currently working on a new CI/CD program analysis framework and
would love your feedback to shape our plans. If you use program
analysis systems like KLEE or AFL++ in an industry context and have a
few minutes to spare with us over a Zoom chat, please get in touch with
us by filling out this short form:
https://forms.office.com/e/1B1NJnr9kx
Thank you,
Cristian
More information about the klee-dev
mailing list