| .. |
|
panic
|
fix and expand panic tests
|
2019-12-02 16:04:31 +01:00 |
|
stacked_borrows
|
new compile-fail test involving non-reborrowing-cast-to-raw
|
2020-01-30 12:22:15 +01:00 |
|
validity
|
adjust for rustc changes
|
2020-03-02 13:51:08 +01:00 |
|
alignment.rs
|
|
|
|
assume.rs
|
fix for latest rustc
|
2019-08-05 10:45:48 +02:00 |
|
atomic_unaligned.rs
|
check that atomics are sufficiently aligned, and add test
|
2019-08-04 10:30:42 +02:00 |
|
cast_box_int_to_fn_ptr.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
cast_fn_ptr1.rs
|
|
|
|
cast_fn_ptr2.rs
|
|
|
|
cast_fn_ptr3.rs
|
|
|
|
cast_fn_ptr4.rs
|
|
|
|
cast_fn_ptr5.rs
|
|
|
|
cast_int_to_fn_ptr.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
copy_null.rs
|
fix compile-fail tests to avoid libstd debug assertions
|
2020-02-16 14:01:00 +01:00 |
|
copy_overlapping.rs
|
fix compile-fail tests to avoid libstd debug assertions
|
2020-02-16 14:01:00 +01:00 |
|
copy_unaligned.rs
|
fix compile-fail tests to avoid libstd debug assertions
|
2020-02-16 14:01:00 +01:00 |
|
ctlz_nonzero.rs
|
adjust error messages in tests
|
2019-08-03 20:54:57 +02:00 |
|
cttz_nonzero.rs
|
adjust error messages in tests
|
2019-08-03 20:54:57 +02:00 |
|
dangling_pointer_deref.rs
|
|
|
|
dangling_zst_deref.rs
|
test dangling ZST deref
|
2019-08-02 14:26:15 +02:00 |
|
deallocate-bad-alignment.rs
|
Rename Alloc to AllocRef
|
2020-01-29 04:10:33 +01:00 |
|
deallocate-bad-size.rs
|
Rename Alloc to AllocRef
|
2020-01-29 04:10:33 +01:00 |
|
deallocate-twice.rs
|
Rename Alloc to AllocRef
|
2020-01-29 04:10:33 +01:00 |
|
deref_fn_ptr.rs
|
|
|
|
deref-invalid-ptr.rs
|
adjust tests for eager pointer checks on deref
|
2019-08-15 11:01:03 +02:00 |
|
deref-partially-dangling.rs
|
adjust tests for eager pointer checks on deref
|
2019-08-15 11:01:03 +02:00 |
|
div-by-zero-1.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
div-by-zero-2.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
double_panic.rs
|
also indicate abort via new MachineStop variant
|
2019-12-02 09:13:58 +01:00 |
|
exact_div1.rs
|
test exact_div UB detection
|
2019-06-16 11:10:33 +02:00 |
|
exact_div2.rs
|
adjust tests
|
2019-11-03 10:15:55 +01:00 |
|
exact_div3.rs
|
bump Rust for exact_div fix
|
2019-12-03 17:37:42 +01:00 |
|
exact_div4.rs
|
test exact_div UB detection
|
2019-06-16 11:10:33 +02:00 |
|
execute_memory.rs
|
|
|
|
fn_ptr_offset.rs
|
|
|
|
generator-pinned-moved.rs
|
rustup; fix generator test
|
2020-02-07 14:02:27 +01:00 |
|
intptrcast_alignment_check.rs
|
adjust tests for eager pointer checks on deref
|
2019-08-15 11:01:03 +02:00 |
|
invalid_bool.rs
|
|
|
|
invalid_char.rs
|
|
|
|
invalid_enum_discriminant.rs
|
|
|
|
issue-miri-1112.rs
|
add test for sketchy vtable
|
2019-12-13 13:19:48 +01:00 |
|
maybe_null_pointer_deref_zst.rs
|
|
|
|
maybe_null_pointer_write_zst.rs
|
|
|
|
memleak_rc.rs
|
|
|
|
memleak.rs
|
|
|
|
modifying_constants.rs
|
add an option to disable Stacked Borrows
|
2020-02-24 16:22:02 +01:00 |
|
never_say_never.rs
|
the never type got de-stabilized again; adjust tests
|
2019-12-15 12:23:43 +01:00 |
|
never_transmute_humans.rs
|
the never type got de-stabilized again; adjust tests
|
2019-12-15 12:23:43 +01:00 |
|
never_transmute_void.rs
|
the never type got de-stabilized again; adjust tests
|
2019-12-15 12:23:43 +01:00 |
|
null_pointer_deref_zst.rs
|
|
|
|
null_pointer_deref.rs
|
|
|
|
null_pointer_write_zst.rs
|
|
|
|
null_pointer_write.rs
|
|
|
|
out_of_bounds_ptr_1.rs
|
fix error pattern
|
2019-05-27 19:37:31 +02:00 |
|
out_of_bounds_ptr_2.rs
|
bump Rust, fix error messages
|
2019-12-08 01:45:41 +01:00 |
|
out_of_bounds_read1.rs
|
|
|
|
out_of_bounds_read2.rs
|
|
|
|
overflowing-unchecked-rsh.rs
|
adjust error messages in tests
|
2019-08-03 20:54:57 +02:00 |
|
overwriting_part_of_relocation_makes_the_rest_undefined.rs
|
|
|
|
pointer_byte_read.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
ptr_offset_0_plus_0.rs
|
fix test erorr msg
|
2019-11-06 09:24:26 +01:00 |
|
ptr_offset_int_plus_int.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
ptr_offset_int_plus_ptr.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
ptr_offset_overflow.rs
|
bump Rust, fix error messages
|
2019-12-08 01:45:41 +01:00 |
|
ptr_offset_ptr_plus_0.rs
|
|
|
|
rc_as_raw.rs
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
|
reading_half_a_pointer.rs
|
|
|
|
reallocate-bad-size.rs
|
Rename Alloc to AllocRef
|
2020-01-29 04:10:33 +01:00 |
|
reallocate-change-alloc.rs
|
Rename Alloc to AllocRef
|
2020-01-29 04:10:33 +01:00 |
|
reallocate-dangling.rs
|
Rename Alloc to AllocRef
|
2020-01-29 04:10:33 +01:00 |
|
reference_to_packed.rs
|
add an option to disable Stacked Borrows
|
2020-02-24 16:22:02 +01:00 |
|
slice-too-big.rs
|
test too big slice
|
2019-08-31 08:41:55 +02:00 |
|
stack_free.rs
|
add an option to disable Stacked Borrows
|
2020-02-24 16:22:02 +01:00 |
|
static_memory_modification1.rs
|
add an option to disable Stacked Borrows
|
2020-02-24 16:22:02 +01:00 |
|
static_memory_modification2.rs
|
add an option to disable Stacked Borrows
|
2020-02-24 16:22:02 +01:00 |
|
static_memory_modification3.rs
|
add an option to disable Stacked Borrows
|
2020-02-24 16:22:02 +01:00 |
|
storage_dead_dangling.rs
|
remove dead code
|
2019-08-15 11:01:03 +02:00 |
|
thread-spawn.rs
|
better error message when the program tries to spawn a thread
|
2019-07-06 10:07:21 +02:00 |
|
transmute_fat1.rs
|
|
|
|
transmute-pair-undef.rs
|
|
|
|
unaligned_ptr1.rs
|
expand and better explain alignment check tests
|
2019-06-24 08:40:45 +02:00 |
|
unaligned_ptr2.rs
|
expand and better explain alignment check tests
|
2019-06-24 08:40:45 +02:00 |
|
unaligned_ptr3.rs
|
expand and better explain alignment check tests
|
2019-06-24 08:40:45 +02:00 |
|
unaligned_ptr_zst.rs
|
expand and better explain alignment check tests
|
2019-06-24 08:40:45 +02:00 |
|
unchecked_add1.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
unchecked_add2.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
unchecked_div1.rs
|
also test div-by-minus-1
|
2020-02-06 11:24:38 +01:00 |
|
unchecked_mul1.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
unchecked_mul2.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
unchecked_sub1.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
unchecked_sub2.rs
|
bump rustc; adjust tests
|
2020-02-06 11:20:28 +01:00 |
|
undefined_byte_read.rs
|
|
|
|
wild_pointer_deref.rs
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
zst1.rs
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
|
zst2.rs
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
|
zst3.rs
|
Apply suggestions from code review
|
2019-06-24 14:50:27 +02:00 |
