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.

Working with the Code

KLEE developer documentation is written in doxygen and you may have it online here: doxygen (this is updated nightly from the source tree).

Many parts of KLEE rely on the LLVM infrastructure, you can find more information about programming for LLVM here: LLVM's General Programming Documentation.