{"id":13656872,"url":"https://github.com/klee/klee","last_synced_at":"2025-05-13T22:02:15.785Z","repository":{"id":9636807,"uuid":"11568417","full_name":"klee/klee","owner":"klee","description":"KLEE Symbolic Execution Engine","archived":false,"fork":false,"pushed_at":"2025-01-06T13:08:06.000Z","size":9420,"stargazers_count":2748,"open_issues_count":96,"forks_count":692,"subscribers_count":108,"default_branch":"master","last_synced_at":"2025-04-29T13:15:08.319Z","etag":null,"topics":["klee","symbolic-execution"],"latest_commit_sha":null,"homepage":"https://klee-se.org/","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/klee.png","metadata":{"files":{"readme":"README-CMake.md","changelog":"NEWS","contributing":null,"funding":null,"license":"LICENSE.TXT","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2013-07-21T22:03:03.000Z","updated_at":"2025-04-26T23:24:56.000Z","dependencies_parsed_at":"2023-01-13T16:24:01.353Z","dependency_job_id":"c6bb622e-74c4-4cbe-a810-14268f6b995a","html_url":"https://github.com/klee/klee","commit_stats":null,"previous_names":[],"tags_count":11,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/klee%2Fklee","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/klee%2Fklee/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/klee%2Fklee/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/klee%2Fklee/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/klee","download_url":"https://codeload.github.com/klee/klee/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254036807,"owners_count":22003652,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["klee","symbolic-execution"],"created_at":"2024-08-02T05:00:33.682Z","updated_at":"2025-05-13T22:02:15.731Z","avatar_url":"https://github.com/klee.png","language":"C++","readme":"# CMake build system\n\nKLEE has a CMake build system.\n\n## Useful top-level targets\n\n* `check` - Build and run all tests.\n* `clean` - Clean the build tree.\n* `docs` - Build documentation.\n* `edit_cache` - Show cmake/ccmake/cmake-gui interface for changing configure options.\n* `help` - Show list of top-level targets.\n* `systemtests` - Build and run system tests.\n* `unittests` - Build and run unit tests.\n\n## Useful CMake variables\n\nThese can be set by passing `-DVAR_NAME=VALUE` to the CMake invocation.\n\ne.g.\n\n```\ncmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src\n```\n* `LLVMCC` (STRING) - Path to the LLVM C compiler (e.g. Clang).\n\n* `LLVMCXX` (STRING) - Path to the LLVM C++ compiler (e.g. Clang++).\n\n* `CMAKE_BUILD_TYPE` (STRING) - Build type for KLEE. Can be\n  `Debug`, `Release`, `RelWithDebInfo` or `MinSizeRel`.\n\n* `DOWNLOAD_LLVM_TESTING_TOOLS` (BOOLEAN) - Force downloading\n   of LLVM testing tool sources.\n\n* `ENABLE_DOCS` (BOOLEAN) - Enable building documentation.\n\n* `ENABLE_DOXYGEN` (BOOLEAN) - Enable building doxygen documentation.\n\n* `ENABLE_SYSTEM_TESTS` (BOOLEAN) - Enable KLEE system tests.\n\n* `ENABLE_KLEE_ASSERTS` (BOOLEAN) - Enable assertions when building KLEE.\n\n* `ENABLE_KLEE_EH_CXX` (BOOLEAN) - Enable support for C++ Exceptions.\n\n* `ENABLE_KLEE_LIBCXX` (BOOLEAN) - Enable libc++ for klee.\n\n* `ENABLE_POSIX_RUNTIME` (BOOLEAN) - Enable POSIX runtime.\n\n* `ENABLE_SOLVER_METASMT` (BOOLEAN) - Enable MetaSMT solver support.\n\n* `ENABLE_SOLVER_STP` (BOOLEAN) - Enable STP solver support.\n\n* `ENABLE_SOLVER_Z3` (BOOLEAN) - Enable Z3 solver support.\n\n* `ENABLE_TCMALLOC` (BOOLEAN) - Enable TCMalloc support.\n\n* `ENABLE_UNIT_TESTS` (BOOLEAN) - Enable KLEE unit tests.\n\n* `ENABLE_ZLIB` (BOOLEAN) - Enable zlib support.\n\n* `GTEST_SRC_DIR` (STRING) - Path to Google Test source tree. If it is not\n   specified, CMake will try to reuse the version included within the LLVM\n   source tree or find a system installation of Google Test.\n\n* `GTEST_INCLUDE_DIR` (STRING) - Path to Google Test include directory,\n   if it is not under `GTEST_SRC_DIR`.\n\n* `KLEE_ENABLE_TIMESTAMP` (BOOLEAN) - Enable timestamps in KLEE sources.\n\n* `KLEE_LIBCXX_DIR` (STRING) - Path to directory containing libc++ shared object (bitcode).\n\n* `KLEE_LIBCXX_INCLUDE_DIR` (STRING) - Path to libc++ include directory.\n\n* `KLEE_LIBCXXABI_SRC_DIR` (STRING) - Path to libc++abi source directory.\n\n* `KLEE_UCLIBC_PATH` (STRING) - Path to klee-uclibc root directory.\n\n* `KLEE_RUNTIME_BUILD_TYPE` (STRING) - Build type for KLEE's runtimes.\n   Can be `Release`, `Release+Asserts`, `Debug` or `Debug+Asserts`.\n\n* `LIT_TOOL` (STRING) - Path to lit testing tool.\n\n* `LIT_ARGS` (STRING) - Semi-colon separated list of lit options.\n\n* `LLVM_DIR` (STRING) - Path to the target LLVM install directory\n\n* `metaSMT_DIR` (STRING) - Provides a hint to CMake, where the metaSMT constraint\n  solver can be found.  This should be an absolute path to a directory\n  containing the file `metaSMTConfig.cmake`.\n\n* `STP_DIR` (STRING) - Provides a hint to CMake, where the STP constraint\n  solver can be found.  This should be an absolute path to a directory\n  containing the file `STPConfig.cmake`. This file is installed by STP\n  but also exists in its build directory. This allows KLEE to link\n  against STP in a build directory or an installed copy.\n\n* `WARNINGS_AS_ERRORS` (BOOLEAN) - Treat warnings as errors when building KLEE.\n","funding_links":[],"categories":["C++ (70)","C++","Programming Languages","Starchart"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fklee%2Fklee","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fklee%2Fklee","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fklee%2Fklee/lists"}