- Challenges
- 1: Verify core transmuting methods
- 2: Verify the memory safety of core intrinsics using raw pointers
- 3: Verifying Raw Pointer Arithmetic Operations
- 4: Memory safety of BTreeMap's
btree::nodemodule - 5: Verify functions iterating over inductive data type:
linked_list - 6: Safety of
NonNull - 7: Safety of Methods for Atomic Types & Atomic Intrinsics
- 8: Contracts for SmallSort
- 9: Safe abstractions for
core::time::Duration - 10: Memory safety of String
- 11: Safety of Methods for Numeric Primitive Types
- 12: Safety of
NonZero - 13: Safety of
CStr - 14: Safety of Primitive Conversions
- 15: Contracts and Tests for SIMD Intrinsics
- 16: Verify the safety of Iterator functions
- 17: Verify the safety of slice functions
- 18: Verify the safety of slice iter functions
- 19: Safety of
RawVec