タグ: #memory-safety

한국어English日本語中文

← すべての記事

• Rust標準ライブラリ検証キャンペーンが見つけたメモリ安全性バグは0件だった

  AWSとRust Foundationが主導したverify-rust-stdキャンペーンの結果論文が、2026年のNASA Formal Methods Symposiumに掲載されました。著者たちが「ソフトウェアライブラリを対象に報告された中で最大の検証キャンペーン」と呼ぶこの取り組みは、自動生成ハーネス16,748件を作り11,970件を通過させましたが、標準ライブラリにおいて未知のメモリ安全性の脆弱性は一つも見つかりませんでした

  2026-07-16 · 47 分で読めます #formal-methods#rust#verification#memory-safety#testing

• Rustとシステムプログラミングの帰還 完全攻略 — Ownership, Borrowing, Lifetime, Trait, Async, Tokio, Cargo, WebAssembly (2025)

  なぜRustは9年連続で「最も愛される言語」なのか。Graydon Hoareの個人プロジェクトからLinuxカーネルまで、OwnershipとBorrowingの革命、Lifetimeの仕組み、Trait System、zero-cost abstractions、Tokio非同期ランタイム、Cargoの完成度、Firefox/swc/Turbopack/DenoがRustを選んだ理由、Leptos/Dioxusによるフロントエンド、

  2026-04-15 · 18 分で読めます #rust#systems-programming#memory-safety#tokio#webassembly

• Rustプログラミング入門ガイド — 所有権、ライフタイム、安全なシステムプログラミング

  なぜRustなのか？所有権システム、ライフタイム、パターンマッチング、エラー処理、非同期、Cargoまで。C/C++を置き換える安全なシステム言語。

  2026-04-12 · 24 分で読めます #ai#rust#programming#systems#ownership