klee/klee-uclibc klee/klee-uclibc

  • Stars
    star
    46
  • Rank 613,923 (Top 13 %)
  • Language
    C
  • License
    GNU Lesser Genera...
  • Created about 11 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
klee/klee-uclibc
github

klee

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

KLEE's version of uClibc

More Repositories

1

klee

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

klee-web

KLEE in the browser
Python
48
star
3

klee.github.io

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

klee-snap

Official snap for KLEE
Shell
2
star
5

legacy-klee-buildbot

Buildbot scripts for the KLEE project
Python
1
star
6

legacy-homebrew-klee

Homebrew tap for KLEE
Ruby
1
star