| .. |
|
alignment.rs
|
|
|
|
assume.rs
|
|
|
|
bitop-beyond-alignment.rs
|
|
|
|
cast_box_int_to_fn_ptr.rs
|
|
|
|
cast_fn_ptr2.rs
|
|
|
|
cast_fn_ptr_unsafe2.rs
|
|
|
|
cast_fn_ptr_unsafe.rs
|
|
|
|
cast_fn_ptr.rs
|
|
|
|
cast_int_to_fn_ptr.rs
|
|
|
|
copy_nonoverlapping.rs
|
|
|
|
ctlz_nonzero.rs
|
|
|
|
cttz_nonzero.rs
|
|
|
|
dangling_pointer_deref.rs
|
|
|
|
deallocate-bad-alignment.rs
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
deallocate-bad-size.rs
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
deallocate-twice.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
deref_fn_ptr.rs
|
|
|
|
div-by-zero-2.rs
|
|
|
|
div-by-zero.rs
|
|
|
|
execute_memory.rs
|
|
|
|
fn_ptr_offset.rs
|
|
|
|
invalid_bool.rs
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
invalid_enum_discriminant.rs
|
|
|
|
match_char.rs
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
memleak_rc.rs
|
rustc #43457 got fixed, we can enable more tests
|
2017-08-27 18:18:32 +02:00 |
|
memleak.rs
|
|
|
|
modifying_constants.rs
|
|
|
|
never_say_never.rs
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
never_transmute_humans.rs
|
get rid of ad-hoc inhabitedness test
|
2017-09-22 13:24:55 +02:00 |
|
never_transmute_void.rs
|
get rid of ad-hoc inhabitedness test
|
2017-09-22 13:24:55 +02:00 |
|
null_pointer_deref.rs
|
memory: make sure we check non-NULL/undef even fore 0-sized accesses
|
2017-08-25 14:41:59 +02:00 |
|
oom2.rs
|
fix oom2 test
|
2017-09-25 16:21:20 +02:00 |
|
oom.rs
|
|
|
|
out_of_bounds_ptr_1.rs
|
|
|
|
out_of_bounds_ptr_2.rs
|
|
|
|
out_of_bounds_read2.rs
|
|
|
|
out_of_bounds_read.rs
|
|
|
|
overflowing-lsh-neg.rs
|
|
|
|
overflowing-rsh-2.rs
|
|
|
|
overflowing-rsh.rs
|
|
|
|
overflowing-unchecked-rsh.rs
|
|
|
|
overwriting_part_of_relocation_makes_the_rest_undefined.rs
|
|
|
|
panic.rs
|
Something in panic handling fails validation with full-MIR
|
2017-09-13 18:15:59 +02:00 |
|
pointer_byte_read_1.rs
|
|
|
|
pointer_byte_read_2.rs
|
|
|
|
pointers_to_different_allocations_are_unorderable.rs
|
|
|
|
ptr_bitops.rs
|
|
|
|
ptr_int_cast.rs
|
|
|
|
ptr_offset_overflow.rs
|
|
|
|
reading_half_a_pointer.rs
|
|
|
|
reallocate-bad-alignment-2.rs
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
reallocate-bad-alignment.rs
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
reallocate-bad-size.rs
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
reallocate-change-alloc.rs
|
|
|
|
reallocate-dangling.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
reference_to_packed.rs
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
repeat2.rs
|
repeat expressions abort due to OOM instead of execution time exhaustion
|
2017-10-12 11:13:56 +02:00 |
|
repeat.rs
|
|
|
|
stack_free.rs
|
|
|
|
stack_limit.rs
|
|
|
|
static_memory_modification2.rs
|
|
|
|
static_memory_modification3.rs
|
|
|
|
static_memory_modification.rs
|
|
|
|
timeout.rs
|
|
|
|
transmute_fat2.rs
|
|
|
|
transmute_fat.rs
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
transmute-pair-undef.rs
|
|
|
|
unaligned_ptr_cast2.rs
|
|
|
|
unaligned_ptr_cast_zst.rs
|
|
|
|
unaligned_ptr_cast.rs
|
|
|
|
validation_aliasing_mut1.rs
|
|
|
|
validation_aliasing_mut2.rs
|
|
|
|
validation_aliasing_mut3.rs
|
|
|
|
validation_aliasing_mut4.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_buggy_as_mut_slice.rs
|
add another compile-fail test for validation
|
2017-08-18 11:30:18 +02:00 |
|
validation_buggy_split_at_mut.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_illegal_write.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_lock_confusion.rs
|
identify write locks by lvalues, not regions
|
2017-09-13 14:37:31 +02:00 |
|
validation_pointer_smuggling.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_recover1.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_recover2.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_recover3.rs
|
add a bunch of compile-fail tests for validation
|
2017-08-09 18:01:10 -07:00 |
|
validation_undef.rs
|
add an undef validation test
|
2017-09-16 12:11:48 +02:00 |
|
wild_pointer_deref.rs
|
memory: make sure we check non-NULL/undef even fore 0-sized accesses
|
2017-08-25 14:41:59 +02:00 |
|
zst.rs
|
|
|
