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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev