klee.github.io
klee.github.io copied to clipboard
klee
Website for the KLEE project: https://klee-se.org/
We are looking for volunteers to integrate and update the Doxygen documentation for KLEE via GitHub actions: * https://github.com/marketplace/actions/doxygen-action * https://github.com/marketplace/actions/github-pages-action
**Problem**: It is difficult for readers who don't know what a "dynamic symbolic execution engine" is to figure out what KLEE can do, what it is useful for, and whether...
There is detailed documentation for `-sym-files` and `-sym-stdin`. However, for ` -sym-stdout`, it only says that it will make `stdout` symbolic. However, it's unclear to me of what the implication...
Hello, The step 7 of [Building KLEE with LLVM 13 doc](http://klee-se.org/build-llvm13/) suggests to use `-DKLEE_LIBCXX_INCLUDE_DIR=/libc++-install-130/include/c++/v1/` Wouldn't it better to suggest `-DKLEE_LIBCXX_INCLUDE_DIR=/libc++-install-130/` ? So that [KLEE_LIBCXX_PLATFORM_INCLUDE_PATH](https://github.com/klee/klee/blob/v3.1/CMakeLists.txt#L519) can be set properly as...
