In I64ToI32Lowering pass, lowerReinterpretFloat64() and lowerReinterpretInt64() are not multithreading, ASAN, STACK_OVERLOW_CHECK or SAFE_HEAP safe

未关闭

#4,710 创建于 2022年6月2日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

还没有人认领这个 Issue。

评估

难度: 4/5
预计耗时: 3-5 天
新手友好度: 25/100

Issue 类型: 缺陷
描述清晰度: 需要澄清
活跃度: 停滞
技术栈: cpp, wasm
领域: compilers

调研方向

从所引用行附近的 src/passes/I64ToI32Lowering.cpp 中的 lowerReinterpretFloat64() 和 lowerReinterpretInt64() 开始。跟踪 pass 如何处理内存地址 0，并考虑 multithreading、ASAN、STACK_OVERFLOW_CHECK 和 SAFE_HEAP 的假设；当这些 lowering 在受影响的 Wasm2JS 构建中是安全的时，工作就完成了。

由索引模型根据 Issue 内容生成。

描述

In https://github.com/WebAssembly/binaryen/blob/fc00dcc64c337a8128fbf2b5fbdb40bb0aaa861b/src/passes/I64ToI32Lowering.cpp#L548-L584

there are assumptions made that are unsafe for multithreaded Wasm2JS builds. The memory address zero could be trashed by other threads when they are reinterpreted as float64/int64.

Also the Emscripten STACK_OVERFLOW_CHECK, ASAN and SAFE_HEAP checks place a cookie at address 0.

主要语言: WebAssembly
星标: 8.6k
派生: 885
平均合并: 2 天 4 小时
30 天内合并 PR: 77

贡献指南

打开贡献指南

从这里开始

先读完整个 Issue，再读项目的贡献指南。
在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
Fork 仓库，在一个分支上完成修改。
提交 Pull Request，并在描述里引用这个 Issue 编号。

WebAssembly/binaryen 的其他 Issue

Remove unnecessary null pointer checks 未关闭

难度 1/5 1 小时以内新手友好度 88/100

WebAssembly/binaryen#9135 · 1 条评论 · 2026年9月22日创建
Most lit/help tests fail with new python-filecheck 未关闭

难度 2/5 半天新手友好度 76/100

WebAssembly/binaryen#9018 · 3 条评论 · 2026年8月19日创建
Exact Type Precision vs Optimization Cost 未关闭

难度 5/5 一周以上新手友好度 25/100

WebAssembly/binaryen#9133 · 2026年9月22日创建
Complete the ChildTyper migration of validator child-type checks 未关闭

难度 4/5 3-5 天新手友好度 52/100

WebAssembly/binaryen#9123 · 2026年9月20日创建
ChildTyper constraints drop sharedness, blocking validator migration 未关闭

难度 5/5 一周以上新手友好度 35/100

WebAssembly/binaryen#9122 · 2026年9月20日创建

查看 WebAssembly/binaryen 的全部 Issue

相似的 Issue

[flang][cuda] CUFPredefinedVarToGPU crashes on a fir.copy whose destination is the predefined-variable declare 未关闭

flang:fir-hlfir

难度 2/5 1-3 小时新手友好度 70/100

llvm/llvm-project#225935 · 2026年9月23日创建
Unicode string escape silently accepts any number of repeated 'u' characters, not just one 未关闭

难度 2/5 1-3 小时新手友好度 75/100

objectionary/eo#8923 · 2026年9月23日创建
user feedback: Rename `lam` to `lambda` and give the unit type a name 未关闭

难度 2/5 1-3 小时新手友好度 75/100

argotorg/solcore#587 · 2026年9月23日创建
`quote_keys` quotes private class member names, producing invalid output 未关闭

难度 2/5 1-3 小时新手友好度 75/100

terser/terser#1743 · 2026年9月23日创建
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend 未关闭

coarray

难度 2/5 1-3 小时新手友好度 70/100

lfortran/lfortran#13405 · 2026年9月23日创建

更多 Compilers Issue