Описание тега klee
KLEE: автоматическое создание высокого покрытия без посторонней помощи - это символическая виртуальная машина, построенная на основе инфраструктуры компилятора LLVM.
KLEE - это инструмент для символьного выполнения, способный автоматически генерировать тесты, обеспечивающие высокий охват разнообразного набора сложных и экологически интенсивных программ. KLEE также может использоваться для поиска ошибок.