Stream: git-wasmtime

Topic: wasmtime / issue #7918 Cranelift: UB in cranelift_jit::Ji...

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 18:19):

bjorn3 added the bug label to Issue #7918.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 18:19):

bjorn3 added the cranelift label to Issue #7918.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 18:19):

bjorn3 opened issue #7918:

The copy_nonoverlapping at https://github.com/bytecodealliance/wasmtime/blob/e7ab3a465a203ae25cbc32c0bf7844e5da78d799/cranelift/jit/src/backend.rs#L881 can pass 1 as src pointer and 0 as dst pointer if contents is empty, which is UB.

Versions and Environment

Cranelift version or commit: 0.104

Operating system: N/A

Architecture: N/A

Extra Info

Found in https://github.com/rust-lang/rustc_codegen_cranelift/actions/runs/7875794948/job/21488463691 by new UB checks on nightly when debug assertions are enabled.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2024 at 16:01):

alexcrichton closed issue #7918:

The copy_nonoverlapping at https://github.com/bytecodealliance/wasmtime/blob/e7ab3a465a203ae25cbc32c0bf7844e5da78d799/cranelift/jit/src/backend.rs#L881 can pass 1 as src pointer and 0 as dst pointer if contents is empty, which is UB.

Versions and Environment

Cranelift version or commit: 0.104

Operating system: N/A

Architecture: N/A

Extra Info

Found in https://github.com/rust-lang/rustc_codegen_cranelift/actions/runs/7875794948/job/21488463691 by new UB checks on nightly when debug assertions are enabled.

Last updated: Oct 23 2024 at 20:03 UTC