ci: add miri

Author: phip1611

.github/workflows/_build-rust.yml

@@ -50,6 +50,11 @@ on:
         required: false
         default: true
         description: Execute tests.
+      do-miri:
+        type: boolean
+        required: false
+        default: false
+        description: Execute unit tests with miri.
 
 jobs:
   rust:
@@ -104,3 +109,10 @@ jobs:
           Expand-Archive .\cargo-nextest.zip
           cp .\cargo-nextest/cargo-nextest.exe .
           .\cargo-nextest.exe nextest run --features ${{ inputs.features }} --no-default-features
+      - name: Unit Test with Miri
+        if: inputs.do-miri
+        # "--tests" so that the doctests are skipped. Currently, the doctest
+        # in miri fails.
+        run: |
+          rustup component add miri
+          cargo miri test --tests

.github/workflows/rust.yml

@@ -161,3 +161,14 @@ jobs:
       - run: cd integration-test && nix-shell --run "echo OK" && cd ..
       # Now, run the actual test.
       - run: cd integration-test && nix-shell --run ./run.sh && cd ..
+
+  miri:
+    name: tests with miri (nightly)
+    needs: build_nightly
+    uses: ./.github/workflows/_build-rust.yml
+    with:
+      rust-version: nightly
+      do-style-check: false
+      do-test: false
+      do-miri: true
+      features: builder,unstable

Cargo.lock

@@ -9,6 +9,7 @@ exclude = [
 ]
 
 [workspace.dependencies]
+aligned-vec = { version = "0.5", default-features = false }
 bitflags = "2"
 derive_more = { version = "0.99", default-features = false, features = ["display"] }
 log = { version = "0.4", default-features = false }

Cargo.toml

@@ -48,3 +48,6 @@ derive_more.workspace = true
 
 # used for MBI tags
 multiboot2 = "0.16.0"
+
+[dev-dependencies]
+aligned-vec.workspace = true

multiboot2-header/Cargo.toml

@@ -356,6 +356,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_builder() {
         // Step 1/2: Build Header
         let mb2_hdr_data = create_builder().build();

multiboot2-header/src/builder/header.rs

@@ -98,6 +98,7 @@ mod tests {
     use crate::{HeaderTagFlag, InformationRequestHeaderTag, MbiTagType, MbiTagTypeId};
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_builder() {
         let builder = InformationRequestHeaderTagBuilder::new(HeaderTagFlag::Required)
             .add_ir(MbiTagType::EfiMmap)

multiboot2-header/src/builder/information_request.rs

@@ -51,6 +51,7 @@ mod tests {
     use super::*;
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_as_bytes() {
         struct Foobar {
             a: u32,

multiboot2-header/src/builder/traits.rs

@@ -47,3 +47,6 @@ log.workspace = true
 
 uefi-raw = { version = "0.3", default-features = false }
 ptr_meta = { version = "0.2", default-features = false }
+
+[dev-dependencies]
+aligned-vec.workspace = true

multiboot2/Cargo.toml

@@ -82,7 +82,7 @@ mod tests {
 
     const MSG: &str = "hello";
 
-    /// Returns the tag structure in bytes in native endian format.
+    /// Returns the tag structure in bytes in little endian format.
     fn get_bytes() -> std::vec::Vec<u8> {
         // size is: 4 bytes for tag + 4 bytes for size + length of null-terminated string
         let size = (4 + 4 + MSG.as_bytes().len() + 1) as u32;
@@ -101,6 +101,7 @@ mod tests {
 
     /// Tests to parse a string with a terminating null byte from the tag (as the spec defines).
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_parse_str() {
         let tag = get_bytes();
         let tag = unsafe { &*tag.as_ptr().cast::<Tag>() };