| .. | | 20-Jan-2022 | - |
| alias_through_mutation.rs | H A D | 20-Jan-2022 | 459 | 14 | 10 |
| aliasing_mut1.rs | H A D | 20-Jan-2022 | 551 | 16 | 10 |
| aliasing_mut2.rs | H A D | 20-Jan-2022 | 425 | 16 | 12 |
| aliasing_mut3.rs | H A D | 20-Jan-2022 | 430 | 16 | 12 |
| aliasing_mut4.rs | H A D | 20-Jan-2022 | 521 | 18 | 13 |
| box_exclusive_violation1.rs | H A D | 20-Jan-2022 | 575 | 30 | 17 |
| buggy_as_mut_slice.rs | H A D | 20-Jan-2022 | 372 | 18 | 14 |
| buggy_split_at_mut.rs | H A D | 20-Jan-2022 | 592 | 24 | 18 |
| deallocate_against_barrier1.rs | H A D | 20-Jan-2022 | 297 | 14 | 9 |
| deallocate_against_barrier2.rs | H A D | 20-Jan-2022 | 464 | 18 | 10 |
| illegal_read1.rs | H A D | 20-Jan-2022 | 417 | 16 | 10 |
| illegal_read2.rs | H A D | 20-Jan-2022 | 568 | 19 | 11 |
| illegal_read3.rs | H A D | 20-Jan-2022 | 1,008 | 32 | 18 |
| illegal_read4.rs | H A D | 20-Jan-2022 | 366 | 10 | 8 |
| illegal_read5.rs | H A D | 20-Jan-2022 | 632 | 17 | 11 |
| illegal_read6.rs | H A D | 20-Jan-2022 | 280 | 9 | 7 |
| illegal_read7.rs | H A D | 20-Jan-2022 | 817 | 21 | 10 |
| illegal_read8.rs | H A D | 20-Jan-2022 | 396 | 14 | 10 |
| illegal_write1.rs | H A D | 20-Jan-2022 | 272 | 10 | 9 |
| illegal_write2.rs | H A D | 20-Jan-2022 | 241 | 9 | 7 |
| illegal_write3.rs | H A D | 20-Jan-2022 | 311 | 9 | 7 |
| illegal_write4.rs | H A D | 20-Jan-2022 | 576 | 14 | 9 |
| illegal_write5.rs | H A D | 20-Jan-2022 | 443 | 17 | 10 |
| illegal_write6.rs | H A D | 20-Jan-2022 | 230 | 13 | 11 |
| interior_mut1.rs | H A D | 20-Jan-2022 | 491 | 16 | 8 |
| interior_mut2.rs | H A D | 20-Jan-2022 | 994 | 29 | 15 |
| invalidate_against_barrier1.rs | H A D | 20-Jan-2022 | 411 | 14 | 9 |
| invalidate_against_barrier2.rs | H A D | 20-Jan-2022 | 404 | 14 | 9 |
| issue-miri-1050-1.rs | H A D | 20-Jan-2022 | 182 | 7 | 4 |
| issue-miri-1050-2.rs | H A D | 20-Jan-2022 | 169 | 8 | 5 |
| load_invalid_mut.rs | H A D | 20-Jan-2022 | 423 | 13 | 8 |
| load_invalid_shr.rs | H A D | 20-Jan-2022 | 403 | 13 | 8 |
| mut_exclusive_violation1.rs | H A D | 20-Jan-2022 | 566 | 30 | 17 |
| mut_exclusive_violation2.rs | H A D | 20-Jan-2022 | 245 | 11 | 9 |
| outdated_local.rs | H A D | 20-Jan-2022 | 232 | 10 | 7 |
| pass_invalid_mut.rs | H A D | 20-Jan-2022 | 299 | 11 | 8 |
| pass_invalid_shr.rs | H A D | 20-Jan-2022 | 275 | 11 | 8 |
| pointer_smuggling.rs | H A D | 20-Jan-2022 | 437 | 21 | 16 |
| raw_tracking.rs | H A D | 20-Jan-2022 | 523 | 13 | 7 |
| return_invalid_mut.rs | H A D | 20-Jan-2022 | 315 | 12 | 9 |
| return_invalid_mut_option.rs | H A D | 20-Jan-2022 | 545 | 17 | 13 |
| return_invalid_mut_tuple.rs | H A D | 20-Jan-2022 | 429 | 13 | 9 |
| return_invalid_shr.rs | H A D | 20-Jan-2022 | 297 | 12 | 9 |
| return_invalid_shr_option.rs | H A D | 20-Jan-2022 | 480 | 16 | 12 |
| return_invalid_shr_tuple.rs | H A D | 20-Jan-2022 | 410 | 13 | 9 |
| shared_rw_borrows_are_weak1.rs | H A D | 20-Jan-2022 | 481 | 15 | 9 |
| shared_rw_borrows_are_weak2.rs | H A D | 20-Jan-2022 | 506 | 15 | 9 |
| shr_frozen_violation1.rs | H A D | 20-Jan-2022 | 236 | 14 | 11 |
| static_memory_modification.rs | H A D | 20-Jan-2022 | 195 | 9 | 7 |
| transmute-is-no-escape.rs | H A D | 20-Jan-2022 | 682 | 15 | 7 |
| unescaped_local.rs | H A D | 20-Jan-2022 | 254 | 9 | 6 |
| unescaped_static.rs | H A D | 20-Jan-2022 | 218 | 8 | 5 |
| zst_slice.rs | H A D | 20-Jan-2022 | 279 | 12 | 8 |