From c.cadar at imperial.ac.uk  Mon May 12 19:06:28 2025
From: c.cadar at imperial.ac.uk (Cristian Cadar)
Date: Mon, 12 May 2025 20:06:28 +0200
Subject: [klee-dev] Feedback on planned CI/CD program analysis framework
Message-ID: <f2b19b57-57db-41bb-81eb-8f4a8663ed57@imperial.ac.uk>

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