Search results

Adopt Minimum Union Validity Rules

A-unionsTopic: Related to unionsTopic: Related to unions

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

T-opsem

Status: Open.

#494 In rust-lang/unsafe-code-guidelines;

· chorman0773 opened on Mar 1, 2024

What are the values of a union type? (in particular, what is the validity invariant of a union)

A-unionsTopic: Related to unionsTopic: Related to unions

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#438 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Aug 2, 2023

"_" patterns and validity invariants

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-pending-documentationStatus: The issue is "resolved," but this resolution needs documentationStatus: The issue is "resolved," but this resolution needs documentation

Status: Open.

#261 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Dec 5, 2020

Validity of ManuallyDrop, or: ManuallyDrop<Box<_>> is strange

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

Status: Open.

#245 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Aug 12, 2020

Validity of Box<T>

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#145 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Jun 18, 2019

What about: invalid not-used-again values? Is "validity on typed copy" enough?

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#84 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Feb 6, 2019

Validity of strings

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-writeup-neededStatus: Ready for a writeup and no one is assignedStatus: Ready for a writeup and no one is assigned

Status: Open.

#78 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Jan 10, 2019

Validity of aggregate types (structs, enums, tuples, arrays, ...)

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-writeup-assignedStatus: Ready for a writeup and someone is assigned to itStatus: Ready for a writeup and someone is assigned to it

Status: Open.

#69 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Jan 10, 2019

What about: Targets where NULL is a valid pointer

A-memoryTopic: Related to memory accessesTopic: Related to memory accesses

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#29 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Sep 18, 2018