[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