We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
klee-uclibc was originally provided as a tarball with code that was a modified version of the tag version of uClibc 0.9.29.
A version was produced for the following architectures:
Branches corresponding to these tarballs are provided in the repository with names
klee_legacy_i686
klee_legacy_x86_64
The above branches are NOT supported and are provided only in case someone wishes to see the original code for klee-uclibc.