{"id":19302023,"url":"https://github.com/liuzikai/klc3","last_synced_at":"2026-04-26T08:31:32.643Z","repository":{"id":72346243,"uuid":"400725516","full_name":"liuzikai/klc3","owner":"liuzikai","description":"\"KLEE on LC-3,\" Symbolic Execution Engine for LC-3 Programs","archived":false,"fork":false,"pushed_at":"2022-02-28T19:52:13.000Z","size":18611,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"klc3","last_synced_at":"2025-06-22T17:47:27.521Z","etag":null,"topics":["assembly","education","lc-3","little-computer-3","symbolic-execution"],"latest_commit_sha":null,"homepage":"","language":"C++","has_issues":false,"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/liuzikai.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}},"created_at":"2021-08-28T07:00:32.000Z","updated_at":"2024-02-20T06:59:19.000Z","dependencies_parsed_at":null,"dependency_job_id":"eb328809-f296-4d22-91e9-8987afcc7cca","html_url":"https://github.com/liuzikai/klc3","commit_stats":null,"previous_names":[],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/liuzikai/klc3","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liuzikai%2Fklc3","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liuzikai%2Fklc3/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liuzikai%2Fklc3/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liuzikai%2Fklc3/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/liuzikai","download_url":"https://codeload.github.com/liuzikai/klc3/tar.gz/refs/heads/klc3","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/liuzikai%2Fklc3/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32290500,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-26T08:29:33.829Z","status":"ssl_error","status_checked_at":"2026-04-26T08:29:18.366Z","response_time":129,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":["assembly","education","lc-3","little-computer-3","symbolic-execution"],"created_at":"2024-11-09T23:19:38.442Z","updated_at":"2026-04-26T08:31:32.626Z","avatar_url":"https://github.com/liuzikai.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# CMake build system\n\nKLEE now has a CMake build system which is intended to replace\nits autoconf/Makefile based build system.\n\n## Useful top level targets\n\n* `check` - Build and run all tests.\n* `clean` - Invoke CMake's built-in target to clean the build tree.  Note this\n  won't invoke the `clean_*` targets. It is advised that the `clean_all` target\n  is used instead.\n* `clean_all` - Run all clean targets.\n* `clean_doxygen` - Clean doxygen build tree.\n* `clean_runtime` - Clean the runtime build tree.\n* `docs` - Build documentation\n* `edit_cache` - Show cmake/ccmake/cmake-gui interface for chaning configure options.\n* `help` - Show list of top level targets\n* `systemtests` - Run system tests\n* `unittests` - Build and run unittests\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_KLEE_UCLIBC` (BOOLEAN) - Enable support for klee-uclibc.\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 and `USE_CMAKE_FIND_PACKAGE_LLVM` is used, CMake will try to reuse\n   the version included within the LLVM source tree.\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_CONFIG_BINARY` (STRING) - Path to `llvm-config` binary. This is\n   only relevant if `USE_CMAKE_FIND_PACKAGE_LLVM` is `FALSE`. This is used\n   to detect the LLVM version and find libraries.\n\n* `LLVM_DIR` (STRING) - Path to `LLVMConfig.cmake`. This is only relevant if\n   `USE_CMAKE_FIND_PACKAGE_LLVM` is `TRUE`. This can be used to tell CMake where\n   it can find LLVM outside of standard directories.\n\n* `MAKE_BINARY` (STRING) - Path to `make` binary used to build KLEE's runtime.\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* `USE_CMAKE_FIND_PACKAGE_LLVM` (BOOLEAN) - Use `find_package(LLVM CONFIG)`\n   to find LLVM (instead of using `llvm-config` with `LLVM_CONFIG_BINARY`).\n\n* `WARNINGS_AS_ERRORS` (BOOLEAN) - Treat warnings as errors when building KLEE.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fliuzikai%2Fklc3","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fliuzikai%2Fklc3","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fliuzikai%2Fklc3/lists"}