GeezerVison

The World Wide Web, restored to 800 pixels of glory.

GeezerVison is showing github.com — GitHub - UnitTestBot/klee: KLEEF Symbolic Execution Engine

Branches Tags

Open more actions menu

Latest commit

History

2,806 Commits

Folders and files

Name		Name	Last commit message	Last commit date
.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

Repository files navigation

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.

About

KLEEF Symbolic Execution Engine

toolchain-labs.com/projects/kleef.html

Resources

Stars

25 stars

Watchers

1 watching

Forks

11 forks

Report repository

Releases

Packages

Used by

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.