miri:Rust 的实用未定义行为检测 [pdf]
Miri: Practical Undefined Behavior Detection for Rust [pdf]

原始链接: https://research.ralfj.de/papers/2026-popl-miri.pdf

``` %PDF-1.7 %文档开始 1 0 obj > 流 xÚmUMoâ0½çWx•ÚÅNÈW… œ„H¶­ Zí•&¦‹TàÐ ¿~3Ú®ö z¿™yóœ87?ž×Ûö¯nÝkõâNýehܤü¹=77Uß\®;?:׺vÜ==¨ç¡oÖî¬nËUµêöç;O^uÍû¥u#ëÿ¤Â½í»O ú¨Û û=Ù˜‰a³?¿û kLy 6FÑæ/7œö}÷ Ì½ÖÚ–][öH`´öØ2 ãš™$`¤TY'`”(ZqŠÇÁ¼BJÅŒ )KÒÌŒ%553 ```

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Miri: Rust 的实用未定义行为检测 [pdf] (ralfj.de) 11 分,ingve 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
相关文章

原文
%PDF-1.7 %ÐÔÅØ 1 0 obj > stream xÚmUMoâ0½çWx•ÚÅNÈW…œ„H¶­ Zí•&¦‹Tàп~3Ú®ö z¿™yóœ87?ž×Ûö¯nÝkõâNýehܤü¹=77Uß\®;?:׺vÜ==¨ç¡oÖî¬nËUµêöç;O^uÍû¥u#ëÿ¤Â½í»O ú¨Ûû=٘‰a³?¿ûkLy 6FÑæ/7œö}÷ Ì½Öږ][öH`´öØ2ãš™$`¤TY'`”(ZqŠÇÁ¼BJŌ )KÒ̌%553
联系我们 contact @ memedata.com