This repository demonstrates KUnit's
modified condition/decision coverage (MC/DC) of 5.15.y and mainline Linux kernel
using Clang source-based code coverage
and llvm-cov.
Patches can be found under patches/, or join LKML discussions:
link
Follow the instructions here to get started.
Example text coverage report: link (login with any GitHub account required)
Example HTML coverage report:
We gave three talks in LPC 2024:
- Making Linux Fly: Towards a Certified Linux Kernel (Refereed Track) [recording] [slides]
- Measuring and Understanding Linux Kernel Tests (Kernel Testing & Dependability MC) [recording] [slides]
- Source-based code coverage of Linux kernel (Safe Systems with Linux MC) [recording] [slides]
We gave an ELISA seminar titled "Making Linux Fly: Towards Certified Linux Kernel". [recording] [slides]
Please feel free to open Issues/PRs if you have any suggestions or questions. You can also send emails to:
- Steven H. VanderLeest <Steven.H.VanderLeest@boeing.com>
- Wentao Zhang <wentaoz5@illinois.edu>
This project is a collaboration between The Boeing Company and University of Illinois Urbana-Champaign.