GitHub repository: klee/klee-uclibc
Primary language: C
Description: KLEE's version of uClibc