Skip to content

arges/vvklee

Repository files navigation

vvklee

Verification and Validation Project Using KLEE

Written by: Chris J Arges [email protected] Jennifer Kaser [email protected]

Notes: Has support for using a custom built toolchain and the CDE package. So far CDE package does not work as well and it experimental.

Usage: # First build a toolchain (download, build, build example) ./setupVVKlee -dbe

# Now run tests on the example
./testCoreutils.sh -s

About

Verification and Validation Project Using KLEE

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published