KLEE (@klee)
Guthub

klee

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2,639
  • Global Org. Rank 7,771 (Top 3 %)
  • Registered almost 11 years ago
  • Most used languages
    Python
         28.6 %
    C
         14.3 %
    Shell
         14.3 %
    HTML
         14.3 %
    C++
         14.3 %
    Ruby
         14.3 %

Top repositories

1

klee

KLEE Symbolic Execution Engine
C++
2,520
star
2

klee-web

KLEE in the browser
Python
48
star
3

klee-uclibc

KLEE's version of uClibc
C
46
star
4

klee.github.io

Website for the KLEE project: https://klee-se.org/
HTML
16
star
5

klee-snap

Official snap for KLEE
Shell
2
star
6

legacy-klee-buildbot

Buildbot scripts for the KLEE project
Python
1
star
7

legacy-homebrew-klee

Homebrew tap for KLEE
Ruby
1
star