著者/所属機関
- Ana Nora Evans (University of Virginia) et al.
出典
ICSE 2020 (https://arxiv.org/abs/2007.00752)
内容メモ
- Rustはmemory safe，data race freeなコードを記述可能とする堅牢な型システムを持つ
- 一方で低レベルな性能最適化をサポートするUnsafe Rustも組み込まれている
- C言語っぽい任意メモリアクセスポインタやグローバル変数など，静的チェック困難な操作を利用可能
- Unsafe Rust - The Rust Programming Language
- これに対し，実世界のRustライブラリ・アプリではUnsafe Rustがどのように使われいるのかを調査
unsafeキーワードを使っているのは30%未満だったが，半分以上のライブラリのコールドチェーンのどこかでUnsafe Rustが使われていた
Tagged: #Rust