Repository Issue Activity (beta)

#4066 Backtraces stop at thread boundaries

#5314 Casting `extern fn` to usize or fn pointer has changing address

#5310 ICE in Miri with `unsized_fn_params` and C-variadics

#5301 `priroda` can't compile `backtrace` on windows: `expected "C" fn, found "system" fn`

#5294 Communicate the actually supported target features to the program

#5291 support `fstat64` on linux

#5305 Support more syscalls in syscall shim

#5013 `cargo miri nextest run` spends a lot of time rebuilding the test crate

#5247 EII, support `extern_item_impls`

#2686 Refresh provenance of global allocator

#5284 The protectors on custom allocators can violate Stacked Borrows and Tree Borrows for otherwise sound code

#5269 Next solver is not enabled on Miri by default

#5256 pthread primitives: ensure the provenance passed to "init" remains valid

#5234 cargo-miri fails when cargo uses argfiles

#5186 Lookup exported statics when encountering an unsupported imported static

#5242 Miri can't detect clashing shims between static and function symbols in all cases

#5239 Cannot enable `debug!`/`trace!` macros in Miri

#5226 Miri allows calling function item via null reference.

#4725 Simplify libc-based tests with shared helpers

#3986 socketpair ``SOCK_DGRAM`` support

#3449 Implement basic support for sockets

#5179 SC load is too strict when there were mixed SC and non-SC stores

#5227 Possible false positive in c-variadics: retreving different pointer types is flaged as UB

#5080 Some fs functionality is not supported on Android

#5222 Miri sometimes miscompute the sign of NaN when performing float multiplication