Measure Linux kernel's modified condition/decision coverage (MC/DC)

This repository demonstrates KUnit's modified condition/decision coverage (MC/DC) of 5.15.y Linux kernel using Clang source-based code coverage and llvm-cov. A patch set for mainline kernel is also being prepared.

Follow the instructions here to get started.

Example text coverage report: link (login with any GitHub account required)

Example HTML coverage report:

Tentative repository structure:

linux-mcdc
|
├── ci/{linux-v5.15.153}
│   ├── 1_install_deps.sh
│   ├── 2_pull_source.sh
│   ├── 3_get_llvm.sh
│   ├── 4_build_kernel.sh
│   └── 5_boot_kernel_and_collect_coverage.sh
|
├── docs
│   ├── elisa-slides.pdf
│   └── measure-kernel-mcdc.md
|
├── patches
│   ├── README.md
│   └── {v0.4,v0.5,v0.6}
|
├── README.md
|
├── screenshot.png
|
└── scripts
    ├── build-llvm.sh
    └── q

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.