Example text coverage report: link
Example HTML coverage report:
[Get started (LLVM 19)] [(LLVM 18)]
More materials will be posted here as soon as they are approved. Please stay tuned!
Tentative repository structure:
linux-mcdc
│
├── docs
│ ├── elisa-slides.pdf
│ └── measure-kernel-mcdc.md
│
├── scripts
│ ├── build-llvm.sh
│ └── q
│
├── patches
│ ├── README.md
│ └── {v0.4,v0.5,v0.6}
│
├── screenshot.png
└── README.md
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.