Getting Involved with the KLEE Project

If you are interested in following development of KLEE, or would like to contribute, here are some resources that may prove useful.

Mailing Lists

Currently the main list for KLEE discussion (both for users and developers) is klee-dev.

Commit messages to the KLEE repository go to klee-commits. This is also the place to send patches if you are interested in contributing to KLEE.

Bug Reports

If you find a bug in KLEE, please report it on klee-dev and also fill a bug report on Bugzilla under the klee product.

Working with the Code

You should first check KLEE's developer's guide.

Developer documentation is written in doxygen.

Many parts of KLEE rely on the LLVM infrastructure, so you might also want to look at LLVM's General Programming Documentation.