Hi all,

I am excited to let you know that you can now run KLEE in your browser! This provides an easy way for people to get familiar with KLEE or run small programs with KLEE without the hassle of installing anything.

As with any new system, things might not work as well in the beginning, and the site might even be sporadically unavailable. We'd appreciate any bug reports or feature requests either by email, or even better, on GitHub at https://github.com/klee/klee-web/issues.

The system is the product of two different teams: the project was started by James Carr, Ben Chin, Ainsley Escorce-Jones, Preeya Joshi, Kaho Sato, Conrad Watt and me in 2014/15 and was revamped this year by Giacomo Guerci, Domenico Marino, Anastasis Andronidis and me.

The system is available at


klee-dev mailing list

Reply via email to