Support for KLEE in Debile

Description of the project: KLEE is a dynamic analysis tool that systematically and automatically executes a program along as many as possible execution paths. This is called symbolic execution. It automatically generates inputs driving the program along each of the paths. In this way it can automatically detect an error such as a program crash along a path. KLEE targets C and C++ programs.

The goal of the project is to integrate KLEE into the Debile system.

For your application, we expect that the student will have a working instance of Debile deployed with automatic analysis of new packages uploaded in Debian. We also expects at least 2 pull requests on the project (new features, tests coverage, docker improvements, documentation, etc).