-
Notifications
You must be signed in to change notification settings - Fork 517
All issues
Issue creation is restricted in this repository
- #2518 · nandesu-utils opened
on Aug 29, 2022 6
Issues
is:issue state:open
is:issue state:open
Search results
pthread primitives: ensure the provenance passed to "init" remains valid
A-shimsArea: This affects the external function/static shimsArea: This affects the external function/static shimsC-bugCategory: This is a bug.Category: This is a bug.I-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)Impact: makes Miri miss UB, i.e., a false negative (with default settings)Status: Open.#5256 In rust-lang/miri;EII, support
extern_item_implsA-interpreterArea: affects the core interpreterArea: affects the core interpreterC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementStatus: Open.#5247 In rust-lang/miri;Miri can't detect clashing shims between static and function symbols in all cases
A-shimsArea: This affects the external function/static shimsArea: This affects the external function/static shimsC-bugCategory: This is a bug.Category: This is a bug.I-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)Impact: makes Miri miss UB, i.e., a false negative (with default settings)Status: Open.#5242 In rust-lang/miri;Cannot enable
debug!/trace!macros in MiriA-devArea: working on Miri as a developerArea: working on Miri as a developerC-bugCategory: This is a bug.Category: This is a bug.Status: Open.#5239 In rust-lang/miri;cargo-miri fails when cargo uses argfiles
A-windowsArea: affects only Windows targetsArea: affects only Windows targetsC-bugCategory: This is a bug.Category: This is a bug.E-needs-mcveCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleStatus: Open.#5234 In rust-lang/miri;setsockopt: setting option TCP_NODELAY on level IPPROTO_TCP is only supported on connected tcp sockets
A-shimsArea: This affects the external function/static shimsArea: This affects the external function/static shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementStatus: Open.#5206 In rust-lang/miri;RISC-V intrinsics in Miri
A-riscvArea: concerns RISC-V target intrinsicsArea: concerns RISC-V target intrinsicsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementStatus: Open.#5204 In rust-lang/miri;CARGO_BUILD_WARNINGS ignored with
cargo miriA-cargoArea: affects the cargo wrapper (cargo miri)Area: affects the cargo wrapper (cargo miri)C-bugCategory: This is a bug.Category: This is a bug.Status: Open.#5202 In rust-lang/miri;The data race detector does not understand TCP-socket-based synchronization, leading to incorrect data race reports
A-data-raceArea: data race detectorArea: data race detectorA-shimsArea: This affects the external function/static shimsArea: This affects the external function/static shimsC-bugCategory: This is a bug.Category: This is a bug.I-false-UBImpact: makes Miri falsely report UB, i.e., a false positive (with default settings)Impact: makes Miri falsely report UB, i.e., a false positive (with default settings)Status: Open.#5199 In rust-lang/miri;Add support for
O_TMPFILEA-shimsArea: This affects the external function/static shimsArea: This affects the external function/static shimsC-proposalCategory: a proposal for something we might want to do, or maybe not; details still being worked outCategory: a proposal for something we might want to do, or maybe not; details still being worked outStatus: Open.#5184 In rust-lang/miri;Support
fs::set_timesandfs::set_times_nofollowby implementingutimensatA-filesArea: related to files, paths, sockets, file descriptors, or handlesArea: related to files, paths, sockets, file descriptors, or handlesA-shimsArea: This affects the external function/static shimsArea: This affects the external function/static shimsC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementE-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is availableStatus: Open.#5181 In rust-lang/miri;SC load is too strict when there were mixed SC and non-SC stores
A-weak-memoryArea: emulation of weak memory effects (store buffers)Area: emulation of weak memory effects (store buffers)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementStatus: Open.#5179 In rust-lang/miri;