KLEEF Symbolic Virtual Machine

KLEEF is a complete overhaul of the KLEE symbolic execution engine for LLVM, fine-tuned for a robust analysis of industrial C/C++ code.

For further information, see the webpage.

Name		Name	Last commit message	Last commit date
Latest commit History 2,806 Commits
.github		.github
cmake		cmake
configs		configs
docs		docs
examples		examples
include		include
lib		lib
runtime		runtime
scripts		scripts
test		test
tools		tools
unittests		unittests
utils		utils
.cirrus.yml		.cirrus.yml
.clang-format		.clang-format
.codecov.yml		.codecov.yml
.dockerignore		.dockerignore
.gitattributes		.gitattributes
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
CMakeLists.txt		CMakeLists.txt
DEBT		DEBT
Dockerfile		Dockerfile
LICENSE.TXT		LICENSE.TXT
NEWS		NEWS
README-CMake.md		README-CMake.md
README.md		README.md
build.sh		build.sh
utbot-build.sh		utbot-build.sh

Navigation Menu