Descrição
Programas em C analisados pelo KLEE podem usar um runtime uClibc adaptado para execução simbólica.
É principalmente infraestrutura de suporte para pesquisadores e desenvolvedores testando código C com KLEE. Usuários normalmente instalam isso como dependência de fluxos de execução simbólica, não como app independente.