#validation #no-std #serialization

macro no-std bytecheck_derive

Derive macro for bytecheck

35 releases

0.8.2 Sep 29, 2025
0.8.1 Feb 8, 2025
0.8.0 Sep 11, 2024
0.8.0-pre6 Jan 1, 2024
0.2.0 Nov 19, 2020

#673 in #validation

Download history 1095274/week @ 2025-07-17 966388/week @ 2025-07-24 897130/week @ 2025-07-31 983146/week @ 2025-08-07 880789/week @ 2025-08-14 814191/week @ 2025-08-21 814972/week @ 2025-08-28 854990/week @ 2025-09-04 844420/week @ 2025-09-11 875263/week @ 2025-09-18 905993/week @ 2025-09-25 869541/week @ 2025-10-02 855530/week @ 2025-10-09 1000494/week @ 2025-10-16 1108010/week @ 2025-10-23 1111208/week @ 2025-10-30

4,252,028 downloads per month
Used in 847 crates (via bytecheck)

MIT license

35KB
715 lines

bytecheck

crates.io badge docs badge license badge

bytecheck is a memory validation framework for Rust.

Documentation

Example

use bytecheck::{CheckBytes, check_bytes, rancor::Failure};

#[derive(CheckBytes, Debug)]
#[repr(C)]
struct Test {
    a: u32,
    b: char,
    c: bool,
}

#[repr(C, align(4))]
struct Aligned<const N: usize>([u8; N]);

macro_rules! bytes {
    ($($byte:literal,)*) => {
        (&Aligned([$($byte,)*]).0 as &[u8]).as_ptr()
    };
    ($($byte:literal),*) => {
        bytes!($($byte,)*)
    };
}

// In this example, the architecture is assumed to be little-endian
#[cfg(target_endian = "little")]
unsafe {
    // These are valid bytes for a `Test`
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x78u8, 0u8, 0u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap();

    // Changing the bytes for the u32 is OK, any bytes are a valid u32
    check_bytes::<Test, Failure>(
        bytes![
            42u8, 16u8, 20u8, 3u8,
            0x78u8, 0u8, 0u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap();

    // Characters outside the valid ranges are invalid
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x00u8, 0xd8u8, 0u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap_err();
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x00u8, 0x00u8, 0x11u8, 0u8,
            1u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap_err();

    // 0 is a valid boolean value (false) but 2 is not
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x78u8, 0u8, 0u8, 0u8,
            0u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap();
    check_bytes::<Test, Failure>(
        bytes![
            0u8, 0u8, 0u8, 0u8,
            0x78u8, 0u8, 0u8, 0u8,
            2u8, 255u8, 255u8, 255u8,
        ].cast()
    ).unwrap_err();
}

Dependencies

~175–590KB
~14K SLoC