KLEE

Login: klee

Company: null

Location: null

email:

Blog: http://klee.github.io/

Members

  1. Anastasis Andronidis

Repositories

homebrew-klee
Homebrew tap for KLEE
klee
KLEE Symbolic Execution Engine
klee-buildbot
Buildbot scripts for the KLEE project
klee.github.io
Website for the KLEE project: https://klee.github.io/
klee-legacy-website
The code of the old KLEE website. Kept for historical reasons only
klee-uclibc
klee-uclibc
klee-web
KLEE in the browser
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.