KLEE is a popular open-source software testing and analysis framework that is based on symbolic execution. Since its initial launch more than 15 years ago, KLEE has powered numerous systems across a wide variety of academic and industry projects.
Klovo offers an advanced version of KLEE with the following features:
CI plugin for testing code changes: We offer KLEE as a CI/CD GitHub plugin, enhanced by techniques for rapidly reaching the code modified by the pull request being tested.
Hybrid fuzzing support: KLEE is enhanced, adaptively, with complementary techniques such as greybox fuzzing and static analysis.
Fault localization and repair suggestions: When bugs are found, the root cause is explained and possible repairs are suggested. The repair suggestions are themselves validated by symbolic execution.
LibFuzzer API: We provide support for the popular API of LibFuzzer, allowing easy migration from fuzzing to KLEE-based analysis.
Floating-point support: KLEE is enhanced with the ability to thoroughly analyze floating-point code.
Rust support: In addition to C/C++, our internal version of Klovo offers support for Rust code analysis.
More robust tooling: KLEE is backed by recent LLVM and libC versions, making it easier to integrate into modern codebases.
Interested in these features or others? Get in touch! You can reach us at contact@klovo.io.