Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

Masaki Hara (qnighy@qnmd.info)'s status on Monday, 08-Oct-2018 22:38:19 JST Masaki Hara

https://github.com/rust-lang/rust/issues/54908
Ralf Jung氏、今度はCoqではなくmiriでRustの安全性バグを見つけたらしい。
miriはRustの中間言語インタプリタで、インタプリタなので手軽にvalgrind的なチェックをはさみつつ実行できるという利点がある。
In conversation Monday, 08-Oct-2018 22:38:19 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: avatars0.githubusercontent.com
  
  `From for Rc` creates underaligned reference · Issue #54908 · rust-lang/rust
  
  from GitHub
  
  The function allocate_for_ptr is passed a *const [T], which it turns into a &RcBox<[T]>. Unfortunately, the latter has an alignment of 8 even if T has smaller alignment. This leads to UB ...

Feeds