Repositories list

• klee

  Public
  KLEE Symbolic Execution Engine

  symbolic-executionklee

  C++

  •

  Other

  •667•2.5k•82•8•Updated Jul 15, 2024Jul 15, 2024

• klee.github.io

  Public
  Website for the KLEE project: https://klee-se.org/

  HTML

  •

  Other

  •49•16•5•0•Updated Jul 12, 2024Jul 12, 2024

• klee-web

  Public
  KLEE in the browser

  Python

  •

  Other

  •15•48•5•4•Updated Jun 17, 2024Jun 17, 2024

• klee-uclibc

  Public
  KLEE's version of uClibc

  C

  •

  GNU Lesser General Public License v2.1

  •49•46•2•3•Updated May 31, 2024May 31, 2024

• klee-snap

  Public
  Official snap for KLEE

  Shell

  •

  MIT License

  •0•1•1•0•Updated Mar 5, 2024Mar 5, 2024

• legacy-klee-buildbot

  Public archive
  Buildbot scripts for the KLEE project

  Python

  •0•1•3•0•Updated Feb 28, 2022Feb 28, 2022

• legacy-homebrew-klee

  Public archive
  Homebrew tap for KLEE

  Ruby

  •2•1•0•0•Updated Jun 29, 2018Jun 29, 2018

• legacy-klee-website

  Public archive
  The code of the old KLEE website. Kept for historical reasons only

  CSS

  •0•0•0•0•Updated Oct 22, 2014Oct 22, 2014

• legacy-wllvm

  Public archive
  A wrapper script to build whole-program LLVM bitcode files

  Python

  •

  MIT License

  •126•6•0•0•Updated Dec 12, 2013Dec 12, 2013