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).
Confirmed Mentor: Sylvestre Ledru
How to contact the mentor: sylvestre@debian.org
Confirmed co-mentors: Clément Schreiner mailto:clement@mux.me clemux on irc.oftc.net
Deliverables of the project: A patch to Debile integrating KLEE
Desirable skills: The student should have a a background in symbolic execution. Some experience in Debian packaging is preferred.
What the student will learn: Automatic testing, Debian packaging skills, bug reporting.