Stream: t-lang/wg-unsafe-code-guidelines

Topics:

• Avoid UB on Vec on shared memory without synchronization (38 messages, latest: Nov 13 2019 at 07:57)
• improper C types and indirection (2 messages, latest: Nov 12 2019 at 18:02)
• Extern static references (35 messages, latest: Nov 10 2019 at 17:47)
• Fn traits -> fn pointer (21 messages, latest: Nov 10 2019 at 15:06)
• Can't tell if it's a miri false positive (61 messages, latest: Nov 07 2019 at 16:12)
• Pin destructor (52 messages, latest: Nov 06 2019 at 18:14)
• Safe access to volatile memory (367 messages, latest: Nov 06 2019 at 02:57)
• borrowing individual fields mutably from raw pointer rece... (3 messages, latest: Nov 05 2019 at 09:15)
• borrowing fields mutably from raw pointer receiver (1 message, latest: Nov 04 2019 at 22:40)
• Suggesting UB workarounds to crate authors (55 messages, latest: Oct 27 2019 at 15:42)
• CppCon 2019: JF Bastien “Deprecating volatile” (23 messages, latest: Oct 22 2019 at 16:53)
• fpenv (16 messages, latest: Oct 19 2019 at 08:59)
• pthread_cancel looks unsound (74 messages, latest: Oct 17 2019 at 08:48)
• Padding bytes UB (31 messages, latest: Oct 16 2019 at 19:35)
• UnsafeCell (83 messages, latest: Oct 16 2019 at 18:14)
• (no topic) (3 messages, latest: Oct 15 2019 at 17:39)
• unknown code Rust AM boundary (80 messages, latest: Oct 13 2019 at 10:45)
• Out-of-thin-air (46 messages, latest: Oct 12 2019 at 22:12)
• racy-read / volatile / untrusted memory / freeze (11 messages, latest: Oct 12 2019 at 14:00)
• Abomonation UB (77 messages, latest: Oct 10 2019 at 18:53)
• ucg#203 (20 messages, latest: Oct 10 2019 at 05:28)
• Offsetting pointer to one struct field to another UB? (29 messages, latest: Oct 09 2019 at 13:28)
• Converting pointer to one struct field to another UB (1 message, latest: Oct 04 2019 at 23:29)
• Meeting 2019-09-26 (2 messages, latest: Sep 26 2019 at 11:17)
• Safety of inspecting bytes of a repr(rust) type. (67 messages, latest: Sep 25 2019 at 20:03)
• meeting-2019-09-19 (2 messages, latest: Sep 19 2019 at 15:47)
• rc-terminology (28 messages, latest: Sep 16 2019 at 20:31)
• transmute vs from_raw_parts (15 messages, latest: Sep 15 2019 at 13:04)
• Meeting 2019-09-05 (1 message, latest: Sep 05 2019 at 15:15)
• union (17 messages, latest: Aug 31 2019 at 07:01)
• noalias semantics (13 messages, latest: Aug 30 2019 at 20:11)
• Meeting 2019-08-29 (31 messages, latest: Aug 29 2019 at 23:54)
• https://github.com/rust-lang/unsafe-code-guidelines/pull/159 (9 messages, latest: Aug 27 2019 at 14:43)
• https://github.com/rust-lang/rust/issues/63787 (199 messages, latest: Aug 26 2019 at 19:08)
• UB in the nomicon (92 messages, latest: Aug 26 2019 at 12:05)
• validity requirements for wide trait object raw pointers (1 message, latest: Aug 24 2019 at 16:15)
• Can LLVM truncate a constant? (12 messages, latest: Aug 24 2019 at 11:13)
• Uninitialized memory gone wrong in C/C++ (61 messages, latest: Aug 20 2019 at 09:06)
• Meeting 2019-08-15 (10 messages, latest: Aug 16 2019 at 06:23)
• mutating non-mutable statics: UB? (155 messages, latest: Aug 15 2019 at 08:31)
• padding bytes def #183 (165 messages, latest: Aug 14 2019 at 20:00)
• Freeze (31 messages, latest: Aug 14 2019 at 15:01)
• breaking async/await (8 messages, latest: Aug 14 2019 at 13:11)
• GitHub labels (8 messages, latest: Aug 14 2019 at 10:09)
• Using two statics to "mark a region" (65 messages, latest: Aug 12 2019 at 20:42)
• Meeting 2019-08-08 (6 messages, latest: Aug 09 2019 at 08:46)
• Better support of Box<MaybeUnit> pattern. (13 messages, latest: Aug 08 2019 at 18:57)
• mem::zeroed guarantees that all bytes are zero (60 messages, latest: Aug 08 2019 at 08:29)
• provenance through integers? (14 messages, latest: Aug 08 2019 at 08:22)
• Conversion between references to repr(C) structs (13 messages, latest: Aug 07 2019 at 14:03)
• assume_init vs safety invariant (11 messages, latest: Aug 06 2019 at 07:53)
• Always uninitialized (21 messages, latest: Aug 05 2019 at 16:57)
• "allocated object" (14 messages, latest: Aug 05 2019 at 16:56)
• Array pointers (37 messages, latest: Aug 04 2019 at 10:14)
• rename working group (35 messages, latest: Aug 02 2019 at 13:11)
• Meeting 2019-08-01 (135 messages, latest: Aug 02 2019 at 12:29)
• MaybeUninit and FFI (129 messages, latest: Aug 01 2019 at 21:38)
• Is ptr::read followed by mem::forget valid? (5 messages, latest: Jul 31 2019 at 10:14)
• Definition of volatile semantics (12 messages, latest: Jul 29 2019 at 14:06)
• Glossary (10 messages, latest: Jul 29 2019 at 13:14)
• volatile, atomics and mmio (220 messages, latest: Jul 28 2019 at 09:23)
• atomic intrinsic design (18 messages, latest: Jul 27 2019 at 11:49)
• Is reinerpreting a slice &[u8] to &[bool] UB? (14 messages, latest: Jul 27 2019 at 11:23)
• meeting-2019-07-25 (157 messages, latest: Jul 26 2019 at 08:13)
• Clarification: Can you have &T and *mut T point at the sa... (188 messages, latest: Jul 24 2019 at 17:09)
• Writes to raw pointers considered harmful (20 messages, latest: Jul 22 2019 at 13:38)
• NonNull covariance questions (3 messages, latest: Jul 21 2019 at 18:02)
• MaybeUninit arrays (5 messages, latest: Jul 20 2019 at 11:06)
• Miri: supporting more code vs detecting more bugs (60 messages, latest: Jul 19 2019 at 15:45)
• meeting-2019-07-18 (11 messages, latest: Jul 18 2019 at 15:24)
• How does repr(simd) really work? (51 messages, latest: Jul 16 2019 at 11:03)
• volatile and libm (17 messages, latest: Jul 11 2019 at 19:09)
• ManuallyDrop in MaybeUninit (20 messages, latest: Jul 11 2019 at 15:22)
• Size >= Alignment for non-ZSTs (17 messages, latest: Jul 07 2019 at 06:34)
• Valid example to use read_unaligned (3 messages, latest: Jul 04 2019 at 21:43)
• Unions with padding (28 messages, latest: Jul 01 2019 at 20:46)
• Type punning and "active field" of a union (135 messages, latest: Jul 01 2019 at 18:36)
• repr(transparent) and transmute (27 messages, latest: Jul 01 2019 at 06:58)
• repr(C) unions need padding (16 messages, latest: Jun 30 2019 at 10:51)
• Misoptimization due to Rust/HW memory model mismatch (2 messages, latest: Jun 29 2019 at 10:08)
• meeting-2019-06-20 (8 messages, latest: Jun 29 2019 at 09:08)
• Is this possible to fix without API break? (20 messages, latest: Jun 28 2019 at 17:36)
• arch volatile operations (215 messages, latest: Jun 28 2019 at 16:29)
• meeting-2019-06-27 (1 message, latest: Jun 27 2019 at 09:12)
• Volatile (15 messages, latest: Jun 26 2019 at 21:21)
• Announcement: The Rust Community Discord now has a channe... (2 messages, latest: Jun 25 2019 at 16:18)
• Unsafe code reviews? (53 messages, latest: Jun 24 2019 at 22:07)
• Layout stability? (6 messages, latest: Jun 24 2019 at 12:55)
• Code Examination: slice casting (~20 significant lines) (22 messages, latest: Jun 23 2019 at 13:34)
• Assumptions about MIR semantics (17 messages, latest: Jun 23 2019 at 12:13)
• triggering UB with pinned generators (47 messages, latest: Jun 22 2019 at 13:23)
• AtomicCell and padding (138 messages, latest: Jun 20 2019 at 15:23)
• validity of unions (25 messages, latest: Jun 20 2019 at 15:00)
• Moving issues from old repo? (23 messages, latest: Jun 18 2019 at 18:01)
• Triggering SROA in LLVM? (66 messages, latest: Jun 18 2019 at 15:38)
• meeting-2019-06-13 (14 messages, latest: Jun 14 2019 at 17:13)
• Generator optimization for locals that may not become live (52 messages, latest: Jun 13 2019 at 15:49)
• Mathematical, rigorous safety proofs (8 messages, latest: Jun 10 2019 at 15:44)
• "fun" anti-as_mut_slice in Bytes crate (11 messages, latest: Jun 10 2019 at 09:39)
• meeting-2019-06-06 (7 messages, latest: Jun 07 2019 at 08:27)
• meeting-2019-05-30 (4 messages, latest: May 30 2019 at 15:16)
• Slides for talk on unsafe rust (99 messages, latest: May 30 2019 at 14:40)
• blog post about MaybeUninit (117 messages, latest: May 28 2019 at 22:29)
• potential misuse of &mut (20 messages, latest: May 28 2019 at 17:41)
• Can we replace the stack in "stacked borrows" by Drop? (189 messages, latest: May 28 2019 at 14:12)
• Relying on drop running (20 messages, latest: May 28 2019 at 13:37)
• Common Stacked Borrows violations (4 messages, latest: May 28 2019 at 12:54)
• Should Box really behave like &mut? (3 messages, latest: May 27 2019 at 17:24)
• book published (9 messages, latest: May 26 2019 at 22:32)
• create ptr to elem in unaligned array (18 messages, latest: May 24 2019 at 16:38)
• custom DST size/align/etc. as const fns? (3 messages, latest: May 24 2019 at 15:58)
• Can T: 'static really never point to the stack? (37 messages, latest: May 23 2019 at 16:26)
• meeting-2019-05-23 (12 messages, latest: May 23 2019 at 15:45)
• Substitution principle (19 messages, latest: May 21 2019 at 19:20)
• safety of stable containers (50 messages, latest: May 21 2019 at 18:08)
• MaybeUninit on the heap (5 messages, latest: May 21 2019 at 17:31)
• piecewise initialization of uninitialized structs (16 messages, latest: May 19 2019 at 20:26)
• &raw at lang team meeting (12 messages, latest: May 16 2019 at 19:14)
• meeting-2019-05-16 (12 messages, latest: May 16 2019 at 16:04)
• State of GC <-> Rust integration? (10 messages, latest: May 14 2019 at 16:06)
• loose notes on my mental model of initialization (66 messages, latest: May 13 2019 at 18:53)
• deploy keys (37 messages, latest: May 09 2019 at 16:55)
• need for arrow operator (or similar) (91 messages, latest: May 08 2019 at 18:26)
• scheduling (8 messages, latest: May 08 2019 at 16:33)
• non-local goto and Pin / https://github.com/rust-lang/rfc... (123 messages, latest: May 08 2019 at 15:28)
• GEP inbounds (10 messages, latest: May 08 2019 at 12:30)
• pointer comparisons (5 messages, latest: May 07 2019 at 20:32)
• meeting-2019-05-02 (3 messages, latest: May 02 2019 at 15:18)
• LinkedList vs Stacked Borrows (16 messages, latest: May 01 2019 at 09:43)
• AddressOf and stacked borrows (27 messages, latest: Apr 30 2019 at 19:14)
• are optimizations allowed to change program results? (37 messages, latest: Apr 30 2019 at 07:13)
• meeting-2019-04-25 (17 messages, latest: Apr 27 2019 at 13:13)
• fn pointer Debug vs Stacked Borrows (8 messages, latest: Apr 26 2019 at 14:16)
• VecDeque vs Stacked Borrows (6 messages, latest: Apr 19 2019 at 20:36)
• Is Box a unique pointer? (1 message, latest: Apr 19 2019 at 20:29)
• rand vs Stacked Borrows (1 message, latest: Apr 19 2019 at 11:47)
• meeting-2019-04-18 (23 messages, latest: Apr 18 2019 at 15:58)
• Uniqueness of mutable references (36 messages, latest: Apr 17 2019 at 11:32)
• Cast-to-raw without reborrow (8 messages, latest: Apr 17 2019 at 06:49)
• question comex (32 messages, latest: Apr 12 2019 at 12:20)
• meeting-2019-04-11 (123 messages, latest: Apr 11 2019 at 16:33)
• miri doesn't detect mutating a hashset value (13 messages, latest: Apr 07 2019 at 20:26)
• meeting-2019-04-04 (33 messages, latest: Apr 04 2019 at 15:42)
• reading uninit memory is ub right? (35 messages, latest: Apr 02 2019 at 18:58)
• transmute::<f32, u32> (11 messages, latest: Apr 01 2019 at 17:16)
• mmap concerns (51 messages, latest: Mar 29 2019 at 09:36)
• UB and non-determinism and I/O (1 message, latest: Mar 29 2019 at 09:14)
• meeting-2019-03-28 (8 messages, latest: Mar 28 2019 at 17:02)
• rfcs/#381 unsafe fields (2 messages, latest: Mar 28 2019 at 00:10)
• questions from Stack Overflow (22 messages, latest: Mar 26 2019 at 18:02)
• Comparison of potentially-unrelated pointers undefined? (17 messages, latest: Mar 26 2019 at 09:21)
• - (2 messages, latest: Mar 25 2019 at 18:04)
• meeting-2019-03-21 (4 messages, latest: Mar 21 2019 at 15:48)
• ucg#102 (8 messages, latest: Mar 16 2019 at 10:37)
• transitive validity of references (74 messages, latest: Mar 16 2019 at 10:24)
• fp layout (9 messages, latest: Mar 15 2019 at 12:48)
• Meeting-2019-03-14 (119 messages, latest: Mar 14 2019 at 16:20)
• first sync meeting with the lang team (32 messages, latest: Mar 14 2019 at 15:50)
• face-to-face (3 messages, latest: Mar 14 2019 at 15:20)
• Old memory-model repo issues? (7 messages, latest: Mar 14 2019 at 15:14)
• meeting-2019-03-07 (126 messages, latest: Mar 12 2019 at 15:46)
• layout arrays (83 messages, latest: Mar 07 2019 at 16:20)
• lang team sync draft (3 messages, latest: Mar 05 2019 at 23:50)
• zero-sized dangling accesses/inbounds-offsets (29 messages, latest: Feb 28 2019 at 17:22)
• Meeting-2019-02-28 (23 messages, latest: Feb 28 2019 at 16:39)
• what's an access? (10 messages, latest: Feb 25 2019 at 08:32)
• there is no such thing as a benign data race (1 message, latest: Feb 23 2019 at 13:00)
• change github repo defaults to "merge" (11 messages, latest: Feb 22 2019 at 18:34)
• Change repo defualt merge policy (2 messages, latest: Feb 22 2019 at 09:41)
• meeting-2019-02-21 (82 messages, latest: Feb 21 2019 at 16:48)
• unaligned memory access (157 messages, latest: Feb 21 2019 at 15:42)
• unused timestamps (13 messages, latest: Feb 21 2019 at 14:14)
• stacked borrows: retag on drop shims (7 messages, latest: Feb 21 2019 at 12:06)
• meeting-2019-02-14 (35 messages, latest: Feb 18 2019 at 13:32)
• Letting Read::read initialize memory (93 messages, latest: Feb 14 2019 at 15:53)
• Initializing an aggregate field-by-field (4 messages, latest: Feb 14 2019 at 11:17)
• welcome (1 message, latest: Feb 13 2019 at 10:34)
• overlapping mutable slices (31 messages, latest: Feb 11 2019 at 21:24)
• packed_simd wrapping_div_unchecked validity issues (3 messages, latest: Feb 08 2019 at 11:24)
• meeting-2019-02-07 (1 message, latest: Feb 07 2019 at 16:00)
• #84 (17 messages, latest: Feb 06 2019 at 14:32)
• meeting-2019-01-31 (60 messages, latest: Jan 31 2019 at 17:06)
• bincode (11 messages, latest: Jan 27 2019 at 18:03)
• meeting-2019-01-24 (43 messages, latest: Jan 24 2019 at 16:36)
• VaList (24 messages, latest: Jan 23 2019 at 09:18)
• validity of booleans (67 messages, latest: Jan 22 2019 at 13:39)
• meeting-2019-01-16 (1 message, latest: Jan 16 2019 at 17:59)
• meeting-2019-01-10 (262 messages, latest: Jan 13 2019 at 12:15)
• the new active topic (2 messages, latest: Jan 11 2019 at 14:56)
• list of things requiring RFCs (2 messages, latest: Jan 11 2019 at 09:06)
• miri error: stopping looking for borrow (71 messages, latest: Jan 05 2019 at 15:20)
• active topic area: validity invariants (11 messages, latest: Jan 04 2019 at 11:06)
• should valid fn be callable ? (12 messages, latest: Jan 04 2019 at 10:45)
• meeting-2019-01-03 (214 messages, latest: Jan 03 2019 at 18:19)
• things from Stack Overflow (71 messages, latest: Jan 02 2019 at 15:03)
• read/write_unaligned with ZST (3 messages, latest: Dec 28 2018 at 11:37)
• enum repr (60 messages, latest: Dec 26 2018 at 16:50)
• repr(C) structs and unions (9 messages, latest: Dec 22 2018 at 22:03)
• meeting-2018-12-20 (180 messages, latest: Dec 20 2018 at 17:40)
• bool repr (1 message, latest: Dec 13 2018 at 20:51)
• repr pointers and references (17 messages, latest: Dec 13 2018 at 18:05)
• meeting-2018-12-13 (125 messages, latest: Dec 13 2018 at 16:57)
• representation of references (157 messages, latest: Dec 11 2018 at 15:41)
• ref to uninitialized memory (36 messages, latest: Dec 11 2018 at 10:12)
• meeting this week (1 message, latest: Dec 11 2018 at 09:56)
• bitwise-movable trait to Copy (3 messages, latest: Dec 10 2018 at 21:53)
• #[repr(C)] unions safer than #[repr(Rust)] unions? (16 messages, latest: Dec 10 2018 at 18:00)
• bool == _Bool (158 messages, latest: Dec 07 2018 at 17:06)
• Fixing VecDeque for stricter Stacked Borrows (22 messages, latest: Dec 07 2018 at 10:30)
• no meeting today right ? (3 messages, latest: Dec 07 2018 at 10:21)
• ffi safety (359 messages, latest: Dec 06 2018 at 08:32)
• stacked borrows: llvm-noalias violation in safe code (481 messages, latest: Dec 01 2018 at 08:46)
• memcpy out-of-bounds (17 messages, latest: Nov 30 2018 at 20:13)
• meeting-2018-11-29 (230 messages, latest: Nov 29 2018 at 17:06)
• validity of str / &str (23 messages, latest: Nov 29 2018 at 16:30)
• "fixed" vector (41 messages, latest: Nov 29 2018 at 14:34)
• packed UB error (5 messages, latest: Nov 29 2018 at 09:26)
• coercions considered harmful: async fn and Stacked Borrows (5 messages, latest: Nov 28 2018 at 23:12)
• wr-place-api hack (4 messages, latest: Nov 28 2018 at 20:04)
• integer float bool (6 messages, latest: Nov 27 2018 at 17:21)
• two phase borrows (7 messages, latest: Nov 26 2018 at 12:46)
• BTreeMap (1 message, latest: Nov 26 2018 at 12:17)
• stacked borrows: barriers for non-frrozen shared refs? (101 messages, latest: Nov 22 2018 at 19:37)
• stacked borrows: "gap" between mutable and shared refs (32 messages, latest: Nov 22 2018 at 15:27)
• null pointer address alignment (5 messages, latest: Nov 22 2018 at 14:25)
• stacked borrows: Box with a unique tag (4 messages, latest: Nov 21 2018 at 14:20)
• MaybeUninit is not repr(transparent) (38 messages, latest: Nov 21 2018 at 13:15)
• layout vector (7 messages, latest: Nov 20 2018 at 21:15)
• playground miri redeploy (54 messages, latest: Nov 19 2018 at 18:57)
• stacked borrows: Transmute &UnsafeCell to T (2 messages, latest: Nov 17 2018 at 11:46)
• Bit-wise reasoning for atomic accesses (3 messages, latest: Nov 17 2018 at 10:43)
• stacked borrows: change tag on deref or cast? (2 messages, latest: Nov 17 2018 at 08:07)
• safe low-level string mutations (42 messages, latest: Nov 16 2018 at 14:28)
• repr of slices/trait objs (100 messages, latest: Nov 16 2018 at 13:31)
• meeting 2018-11-15 (175 messages, latest: Nov 15 2018 at 16:55)
• linting and dynamic checking (1 message, latest: Nov 15 2018 at 16:45)
• this week's meeting (162 messages, latest: Nov 15 2018 at 16:11)
• evil examples (2 messages, latest: Nov 15 2018 at 16:06)
• meeting 2018-11-14 (12 messages, latest: Nov 15 2018 at 07:38)
• linked-list traversal (7 messages, latest: Nov 14 2018 at 15:18)
• split impl-defined? (5 messages, latest: Nov 13 2018 at 21:59)
• stacked borrows: Overlapping &RefCell and &mut T (14 messages, latest: Nov 13 2018 at 16:06)
• Finding terminology (153 messages, latest: Nov 13 2018 at 14:23)
• Zulip group (4 messages, latest: Nov 13 2018 at 13:59)
• cargo install miri (4 messages, latest: Nov 13 2018 at 12:00)
• stacked borrows (2 messages, latest: Nov 12 2018 at 16:04)
• meeting 2018-11-08 (24 messages, latest: Nov 08 2018 at 18:31)
• Rust 2018 Docs Push (12 messages, latest: Nov 08 2018 at 18:21)
• stacked borrows violation in VecDeque (19 messages, latest: Nov 07 2018 at 19:07)
• stacked borrows violation in slice iterators (54 messages, latest: Nov 07 2018 at 18:29)
• function pointers (7 messages, latest: Nov 05 2018 at 19:31)
• all hands (8 messages, latest: Nov 01 2018 at 16:15)
• miri question from reddit (26 messages, latest: Oct 29 2018 at 18:30)
• IRLO post on meetings (3 messages, latest: Oct 29 2018 at 16:35)
• twitter (1 message, latest: Oct 25 2018 at 21:42)
• meeting time and DST (58 messages, latest: Oct 25 2018 at 21:11)
• meeting 2018-10-25 (135 messages, latest: Oct 25 2018 at 15:50)
• union and repr(C) (2 messages, latest: Oct 25 2018 at 15:26)
• how much determinism (42 messages, latest: Oct 24 2018 at 22:44)
• stacked-borrows (83 messages, latest: Oct 22 2018 at 17:14)
• c++ deprecating volatile paper (1 message, latest: Oct 19 2018 at 18:19)
• throws C++/_Either C compatibility (42 messages, latest: Oct 18 2018 at 17:23)
• weird digression on c/d (28 messages, latest: Oct 17 2018 at 13:56)
• meeting 2018-10-11 (148 messages, latest: Oct 11 2018 at 20:47)
• meeting 2018-09-27 (5 messages, latest: Sep 27 2018 at 16:01)
• data-invariants (323 messages, latest: Sep 19 2018 at 13:14)
• best game: is this UB? (65 messages, latest: Sep 17 2018 at 17:55)
• stricter-unions (4 messages, latest: Sep 17 2018 at 17:42)
• meeting 2018-08-30 (236 messages, latest: Sep 14 2018 at 17:31)
• meeting 2018-09-13 (170 messages, latest: Sep 13 2018 at 19:49)
• general (30 messages, latest: Sep 06 2018 at 00:06)
• Accessing uninitialized field lvalues (3 messages, latest: Aug 31 2018 at 06:33)
• size-of-fn-pointer-versus-data-pointer (7 messages, latest: Aug 24 2018 at 18:12)
• data-type-layout (72 messages, latest: Aug 24 2018 at 16:18)
• how-to-cope (78 messages, latest: Aug 24 2018 at 15:47)
• ongoing-projects (8 messages, latest: Aug 24 2018 at 13:21)
• hello (81 messages, latest: Aug 23 2018 at 17:30)
• exhaustiveness checking (57 messages, latest: Aug 13 2018 at 22:43)
• github-team (5 messages, latest: Aug 08 2018 at 18:20)

Last update: Nov 15 2019 at 10:10UTC