InfoQ ホームページ Safety に関するすべてのコンテンツ
-
Steve Klabnik氏とHerb Sutter氏がRustとC++について語る
Kevin Ball氏がホストを務めるSoftware Engineering Dailyのポッドキャストで、Steve Klabnik氏とHerb Sutter氏が、RustとC++に関するいくつかのトピックについて議論している。議論の内容には、これらの言語の共通点と独自性、相違点、進化の仕方などが含まれる。
-
Swift 6が新しいオプトイン・データ競合セーフモードをもたらす
WWDC 2024の講演で、AppleのLanguages and Runtimesチームのリーダーであり、SwiftのコアチームのメンバーでもあるTed Kremenek氏は、Swift 6の新しいデータ競合セーフモードを紹介した。このモードでは、新しいコンパイル時の静的検出機能により、開発者がデータ競合のない並行プログラムを作成できるようになると期待されている。
-
OpenAIがAIの安全性に"Preparedness Framework"を採用
OpenAIはこの頃、AIのリスクを軽減するためのPreparedness Frameworkのベータ版を発表した。このFrameworkには、4つのリスクカテゴリーとそれぞれのリスクレベルの定義が記載されており、OpenAIの安全ガバナンス手順も定義されている。
-
Chromiumがサードパーティ製Rustライブラリの使用を許可し、安全性とセキュリティの向上を図る
ChromiumプロジェクトはビルドシステムにRustツールチェーンを追加し、Rustで書かれたサードパーティライブラリの統合を可能にすることで、セキュリティや安全性の向上、開発スピードの向上を目指している。
-
Rust At Six：新しい言語エディションと広がる採用
Rustは、その機能と業界での採用の両方に関して、ここ数年にわたって着実なペースで成長している。現在、バージョン6で、Rustは、Rustエコシステムの安定性を妨げることなく新しい構文を導入する新しいエディションに近づいている。
-
Rustを使用して安全で正しいLinuxカーネルドライバーを作成
Rustfor Linuxプロジェクトの一環で、Rust for Linuxドライバー開発を可能にすることを目的として、GoogleのAndroidチームは、Rustを使用することで得られるメリットの評価に取り組んでいる。
-
Rust Hyper HTTPライブラリはCurlをより安全にすることに貢献
Cで記述されている、世界中の約60億のデバイスにインストールされている人気のあるcurlおよびlibcurlツールは、メモリセーフでない言語の使用に起因するよく知られたセキュリティ問題にさらされている。新しいイニシアチブは、Rust Hyperライブラリに基づくcurl用のメモリセーフなHTTP/HTTPSバックエンドを提供することを目��としている。
-
C言語からRustへのトランスパイルを目指すC2Rustニュースをアップしました
c2Rustは、C99準拠のコードのRustへのマイグレーションを可能にするオープンソースプロジェクトだ。比較的新しいこのツールの開発を通じて、開発者たちは、C言語の記述方法に関するいくつかの教訓を得るとともに、それをABIレベルでRustに置き換える可能性に関する現在の限界について探ることができた。
-
ZetZ、形式的検証機能を備えたCのダイアレクト
ZetZ、略してZZは、RustにインスパイアされたCのダイアレクト(diarect, 方言)だ。コンパイル時に仮想マシン内でシンボリック実行することによって、コードの形式的検証を行う。作者でメンテナのAvid Picciani氏に話を聞いた。
-
Swift 5ではメモリの排他アクセスが必須になる
Swift 5では，変数がプログラムの他の部分で変更されている間，別の名称を使ってアクセスできないようにすることで，Swiftプログラムのメモリ安全性が向上している。この変更は，既存のアプリの振る舞いにも，Swiftコンパイラ自身にも重大な影響を及ぼす。
-
LLVMを拡張してメモリ空間安全性をCで実現するChecked C
Checked CはMicrosoft Researchの主導による、オープンでコラボレーティブなプロジェクトである。C言語を拡張して、バッファオーバーランや領域外メモリアクセス、不正な型キャストといったエラーのない、信頼性の高いプログラムを記述できるようにすることを目標とする。移植を容易にするため、Checked Cコードでは、標準Cで記述されたコードとの共存を可能にしている。
-
Electric CloudがDevOps向けの予測分析機能をローンチ
ElectricFlow DevOps Foresightでは、リリースパイプラインのパターン識別にディープラーニングを導入して、ソフトウェアリリースの成功可能性を評価し、パイプラインのパフォーマンスとアプリケーション品質を漸進的に向上するためのレコメンデーションを生成している。
-
よりテクニカルなテスタになるには
テストの実施において、テクニカルなテスト技法(test craft)のテクニックをうまく適用できるテスタは、チームの品質と生産性の向上を実現するという意味から、より価値の高い存在である。テスタがよりテクニカルになるためには、コードについて学ぶとともに、テキストファイルを操作し解析する方法、アプリケーションプラットフォームにおいて最も重要な分析ツールを扱う方法を知っておくことが必要だ。
-
QConSF - 最高に輝くチームを作る
Alexandre Freire氏はQConSFでModern Agileのフレームワークにフォーカスした講演を行い、組織で実施するための方法を説いた。彼は下地にある文化がこれらのプラクティスをサポートする必要があり、さもなければプラクティスは強制されるだけで、素晴らしいチームを作るに至らないとと強調した。
-
21世紀型のリーダーシップ：ヒトを力づけるのは不可能
21世紀型のリーダーシップ、シリーズ2つ目はgoAgile社のJenni Jepsen氏の講演だ。人々を力づけることはできないが、人々が力づけられていると感じるような組織づくりについてアイデアを述べている。