Skip to content

Rust library for marker traits about types layout in memory

Notifications You must be signed in to change notification settings

rust-secure-code/mem-markers

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

27 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Mem Markers

A crate for traits that describe certain memory layout invariants of a given type along with derive macros for deriving these traits for custom types.

Traits

This crate currently contains the following traits:

  • FixedLayout: types that have a well-defined layout that can be relied on
  • NoUninit: types that do not have any unintialized bytes
  • ByteComplete: types where any appropriately sized and aligned array of bytes is a valid representation of that type
  • Zeroable: types where all zeros are a valid representation of the type in memory
  • FromBytes: types where any appropriately sized and aligned array of bytes can be viewed as the type.
  • AsBytes: The type can reliably be turned into a slice of bytes

Examples

Safe Transmute

fn safe_transmute<From: AsBytes, To: FromBytes>(from: From) -> To {
    let from = &std::mem::ManuallyDrop::new(from);
    assert!(std::mem::size_of::<From>() == std::mem::size_of::<To>(), "Cannot transmute to smaller type");
    assert!(std::mem::align_of::<From>() % std::mem::align_of::<To>() == 0, "Not aligned");
    
    unsafe { std::mem::transmute_copy(from) }
}

About

Rust library for marker traits about types layout in memory

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages