- Challenges
- 1: Verify core transmuting methods
- 2: Verify the memory safery 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 - 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