This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- benches/helpers/miri_helper.rs+4-3
- cargo-miri/bin.rs+8-6
- rust-version+1-1
- rustfmt.toml+1
- src/bin/miri.rs+34-21
- src/data_race.rs+39-66
- src/diagnostics.rs+7-6
- src/eval.rs+15-12
- src/helpers.rs+56-51
- src/intptrcast.rs+61-40
- src/lib.rs+3-2
- src/machine.rs+109-90
- src/mono_hash_map.rs+20-4
- src/operator.rs+6-8
- src/shims/backtrace.rs+22-20
- src/shims/env.rs+52-59
- src/shims/foreign_items.rs+84-85
- src/shims/intrinsics.rs+6-5
- src/shims/mod.rs+6-8
- src/shims/os_str.rs+29-20
- src/shims/panic.rs+6-5
- src/shims/posix/foreign_items.rs+20-19
- src/shims/posix/fs.rs+51-45
- src/shims/posix/linux/foreign_items.rs+2-2
- src/shims/posix/linux/sync.rs+10-13
- src/shims/posix/macos/dlsym.rs+1-1
- src/shims/posix/macos/foreign_items.rs+15-6
- src/shims/posix/sync.rs+5-6
- src/shims/posix/thread.rs+5-5
- src/shims/time.rs+3-4
- src/shims/tls.rs+18-15
- src/shims/windows/foreign_items.rs+14-14
- src/stacked_borrows.rs+137-89
- src/sync.rs+7-7
- src/thread.rs+17-19
- src/vector_clock.rs+10-8
- tests/compile-fail/dangling_pointers/deref-partially-dangling.rs+1-1
- tests/compile-fail/dangling_pointers/dyn_size.rs+1-1
- tests/compile-fail/dangling_pointers/maybe_null_pointer_deref_zst.rs+1-1
- tests/compile-fail/dangling_pointers/maybe_null_pointer_write_zst.rs+1-1
- tests/compile-fail/dangling_pointers/out_of_bounds_read1.rs+1-1
- tests/compile-fail/dangling_pointers/out_of_bounds_read2.rs+1-1
- tests/compile-fail/intrinsics/out_of_bounds_ptr_1.rs+1-1
- tests/compile-fail/intrinsics/out_of_bounds_ptr_2.rs+1-1
- tests/compile-fail/intrinsics/ptr_offset_ptr_plus_0.rs+1-1
- tests/compile-fail/null_pointer_deref_zst.rs+1-1
- tests/compile-fail/null_pointer_write_zst.rs+2-1
- tests/compile-fail/stacked_borrows/issue-miri-1050-1.rs+1-1
- tests/compile-fail/stacked_borrows/static_memory_modification.rs+1-1
- tests/compile-fail/zst1.rs+1-1
- tests/compile-fail/zst3.rs+1-1
- tests/run-pass/enum_discriminant_ptr_value.rs+9
0 commit comments