Ralf Jung 238ed49a07 detect UB: overflow in copy/write_bytes

2020-03-21 17:54:33 +01:00

..

panic

fix tests

2020-03-21 10:54:56 +01:00

stacked_borrows

adjust for error reform

2020-03-19 08:25:08 +01:00

validity

add test for validation finding use-after-free

2020-03-19 08:25:08 +01:00

abort-terminator.rs

fix tests

2020-03-21 10:54:56 +01:00

alignment.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

assume.rs

…

atomic_unaligned.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

cast_box_int_to_fn_ptr.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

cast_fn_ptr1.rs

call error location was fixed by rustup

2020-03-21 12:52:23 +01:00

cast_fn_ptr2.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

cast_fn_ptr3.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

cast_fn_ptr4.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

cast_fn_ptr5.rs

call error location was fixed by rustup

2020-03-21 12:52:23 +01:00

cast_int_to_fn_ptr.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

copy_null.rs

test for zero-sized write_bytes to NULL

2020-03-21 17:54:18 +01:00

copy_overflow.rs

detect UB: overflow in copy/write_bytes

2020-03-21 17:54:33 +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

adjust for error reform

2020-03-19 08:25:08 +01:00

ctlz_nonzero.rs

…

cttz_nonzero.rs

…

dangling_pointer_deref.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

dangling_zst_deref.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

deallocate-bad-alignment.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

deallocate-bad-size.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

deallocate-twice.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

deref_fn_ptr.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

deref-invalid-ptr.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

deref-partially-dangling.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

div-by-zero-1.rs

…

div-by-zero-2.rs

…

environ-gets-deallocated.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

exact_div1.rs

…

exact_div2.rs

rustup

2020-03-16 21:32:57 +01:00

exact_div3.rs

rustup

2020-03-16 21:32:57 +01:00

exact_div4.rs

finally stop using min/max_value and the integer modules

2020-03-04 13:01:06 +01:00

execute_memory.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

fn_ptr_offset.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

generator-pinned-moved.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

intptrcast_alignment_check.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

invalid_bool.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

invalid_char.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

invalid_enum_discriminant.rs

…

invalid_zero_init.rs

Remove uninhabit/zeroed tests to a new test file for abort checking

2020-03-18 14:14:23 +02:00

issue-miri-1112.rs

…

maybe_null_pointer_deref_zst.rs

…

maybe_null_pointer_write_zst.rs

…

memleak_rc.rs

…

memleak.rs

…

modifying_constants.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

never_say_never.rs

…

never_transmute_humans.rs

rustup, fix for intrinsic rename and transmute error change

2020-03-14 09:27:35 +01:00

never_transmute_void.rs

…

null_pointer_deref_zst.rs

…

null_pointer_deref.rs

…

null_pointer_write_zst.rs

…

null_pointer_write.rs

…

out_of_bounds_ptr_1.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

out_of_bounds_ptr_2.rs

…

out_of_bounds_read1.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

out_of_bounds_read2.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

overflowing-unchecked-rsh.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

pointer_byte_read.rs

rustup, and some final message adjustments

2020-03-19 08:41:01 +01:00

ptr_offset_0_plus_0.rs

…

ptr_offset_int_plus_int.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

ptr_offset_int_plus_ptr.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

ptr_offset_overflow.rs

finally stop using min/max_value and the integer modules

2020-03-04 13:01:06 +01:00

ptr_offset_ptr_plus_0.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

rc_as_raw.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

reading_half_a_pointer.rs

rustup, and some final message adjustments

2020-03-19 08:41:01 +01:00

reallocate-bad-size.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

reallocate-change-alloc.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

reallocate-dangling.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

reference_to_packed.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

slice-too-big.rs

adjust error

2020-03-09 17:03:39 +01:00

stack_free.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

static_memory_modification1.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

static_memory_modification2.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

static_memory_modification3.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

storage_dead_dangling.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

thread-spawn.rs

…

transmute_fat1.rs

rustup, and some final message adjustments

2020-03-19 08:41:01 +01:00

transmute-pair-undef.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

unaligned_ptr1.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

unaligned_ptr2.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

unaligned_ptr3.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

unaligned_ptr_zst.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

unchecked_add1.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

unchecked_add2.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

unchecked_div1.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

unchecked_mul1.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

unchecked_mul2.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

unchecked_sub1.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

unchecked_sub2.rs

adjust error messages for lower-case start

2020-03-19 08:26:08 +01:00

undefined_byte_read.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

uninit_uninhabited_type.rs

Remove uninhabit/zeroed tests to a new test file for abort checking

2020-03-18 14:14:23 +02:00

wild_pointer_deref.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

write_bytes_null.rs

test for zero-sized write_bytes to NULL

2020-03-21 17:54:18 +01:00

write_bytes_overflow.rs

detect UB: overflow in copy/write_bytes

2020-03-21 17:54:33 +01:00

zst1.rs

…

zst2.rs

adjust for error reform

2020-03-19 08:25:08 +01:00

zst3.rs

…