論文の概要: A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System
- arxiv url: http://arxiv.org/abs/2607.03056v1
- Date: Fri, 03 Jul 2026 07:46:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-09 13:06:20.396341
- Title: A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System
- Title（参考訳）: OpenBSDオペレーティングシステムにおけるラッジとアンベールの導入に関する測定的研究
- Abstract要約: 本稿では,OpenBSDにおける誓約と公開システムコールの採用について,縦断的な評価を行った。
19リリースをカバーするデータセットが与えられた後、多くのプログラムとライブラリが、公式リリースで導入される前にシステムコールを使用するように修正された。
特に /usr/bin と /usr/sbin のプログラムはシステムコールを使用するように修正されているが、プログラムとライブラリのサイズは、呼び出されたシステムコールの量と相関しない。
- 参考スコア（独自算出の注目度）: 0.3621872132054675
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: The paper presents a longitudinal measurement study on the adoption of the pledge and unveil system calls in OpenBSD. These system calls are used to sandbox programs and libraries. Given a dataset covering 19 releases, many programs and libraries were modified to use the system calls already before their introductions in official releases. The adoption rates have also steadily grown; a linear trend provides a coarse but sensible heuristic. Although particularly programs residing in /usr/bin and /usr/sbin have been modified to use the system calls, the sizes of programs and libraries do not correlate well with the amounts of pledge and unveil system calls invoked. Regarding the pledges made, standard input and output operations have frequently been requested, although the full fine-grained arsenal offered by pledge has generally been utilized in OpenBSD. The same observation is seen in that particularly read operations to given paths have frequently been unveiled. All in all, the measurement results indicate that the adoption of system call minimization and sandboxing techniques is not necessarily as troublesome as has often been discussed in the literature.
- Abstract（参考訳）: 本稿では,OpenBSDにおける誓約と公開システムコールの採用について,縦断的な評価を行った。
これらのシステムコールはサンドボックスプログラムやライブラリに使用される。
19リリースをカバーするデータセットが与えられた後、多くのプログラムとライブラリが、公式リリースで導入される前にシステムコールを使用するように修正された。
採用率も着実に伸びており、線形傾向は粗いが賢明なヒューリスティックとなっている。
特に /usr/bin と /usr/sbin のプログラムはシステムコールを使用するように修正されているが、プログラムとライブラリのサイズは、呼び出されたシステムコールの量と相関しない。
誓約に関して、標準の入力と出力の操作は頻繁に要求されているが、誓約によって提供される完全な細粒の武器は一般にOpenBSDで活用されている。
同様の観察は、特に特定の経路に対する読み出し操作が頻繁に公表されているという点でも見られる。
以上の結果から,システムコールの最小化とサンドボックス化技術の導入は,文献でよく議論されるようなトラブルではないことが示唆された。
関連論文リスト
- Literate Tracing [0.42303492200814446]
リテラトトレースは、注釈付き具体的なシステムの実行トレースを使用してソフトウェアシステムを説明する。
プログラムのセマンティクスに忠実な構築によって保証されるインタラクティブな視覚的かつインタラクティブなトレースを生成するツールであるTReXについて説明する。
我々はTReXを使用して、Linuxカーネル、Gitソース管理システム、GCCコンパイラを含む大規模システムソフトウェアコンポーネントを説明するリテラトトレースを記述した。
論文 参考訳（メタデータ） (2025-10-10T07:17:51Z) - pySigLib -- Fast Signature-Based Computations on CPU and GPU [9.126976857662084]
我々は、CPUとGPU上でシグネチャカーネルとシグネチャカーネルの最適化実装を提供する高性能PythonライブラリpySigLibを提案する。
本稿では,既存のライブラリのランタイムのごく一部で精度の高い勾配を提供するシグネチャカーネルの新たな差別化手法を提案する。
論文 参考訳（メタデータ） (2025-09-12T18:00:14Z) - OpenFactCheck: A Unified Framework for Factuality Evaluation of LLMs [92.15965868250645]
OpenFactCheckは、大規模な言語モデルのためのオープンソースのファクトチェックフレームワークである。
ユーザーは自動的にファクトチェックシステムを簡単にカスタマイズできる。
また、そのシステムを用いて、入力文書におけるすべてのクレームの事実性を評価する。
論文 参考訳（メタデータ） (2024-08-06T15:49:58Z) - Deciphering Oracle Bone Language with Diffusion Models [70.69739681961558]
Oracle Bone Script (OBS) は約3,000年前の中国の上海王朝に由来する。
本稿では,Oracle Bone Script Decipher(OBSD)の開発を通じて,画像生成技術を採用した新しいアプローチを提案する。
OBSDは、古代の言語のAI支援分析の新しいコースをグラフ化して、解読のための重要な手がかりを生成する。
論文 参考訳（メタデータ） (2024-06-02T09:42:23Z) - PromptSet: A Programmer's Prompting Dataset [0.0]
PromptSetという,オープンソースのPythonプログラムで使用される61,000以上のユニークな開発者プロンプトを備えた,新しいデータセットを提示する。
このデータセット上で解析を行い、プロンプトのための静的linterの概念を導入する。
論文 参考訳（メタデータ） (2024-02-26T16:34:29Z) - RelayAttention for Efficient Large Language Model Serving with Long System Prompts [59.50256661158862]
本稿では,長いシステムプロンプトを含むLCMサービスの効率を向上させることを目的とする。
これらのシステムプロンプトの処理には、既存の因果注意アルゴリズムにおいて、大量のメモリアクセスが必要である。
本稿では,DRAMから入力トークンのバッチに対して,DRAMから隠れた状態を正確に1回読み取ることのできるアテンションアルゴリズムであるRelayAttentionを提案する。
論文 参考訳（メタデータ） (2024-02-22T18:58:28Z) - Regular Abstractions for Array Systems [0.0]
本研究では,アレーシステム上での安全性と生存性を証明する新しいフレームワークを開発する。
フレームワークの要点は、配列システムを文字列書き換えシステムとしてオーバー近似することである。
これにより、文字列書き換えシステムの強力な検証手法を利用できる。
論文 参考訳（メタデータ） (2024-01-05T03:35:55Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳（メタデータ） (2023-01-05T18:18:46Z) - Quantum secure direct communication with private dense coding using
general preshared quantum state [59.99354397281036]
我々は、一般化された量子状態と高密度符号化の一般化を用いて、セキュアな直接通信を研究する。
本稿では,具体的なプロトコルを提案し,情報漏洩の上限を導出する。
論文 参考訳（メタデータ） (2021-12-30T16:12:07Z) - Scikit-dimension: a Python package for intrinsic dimension estimation [58.8599521537]
この技術ノートは、固有次元推定のためのオープンソースのPythonパッケージであるtextttscikit-dimensionを紹介している。
textttscikit-dimensionパッケージは、Scikit-learnアプリケーションプログラミングインターフェイスに基づいて、既知のID推定子のほとんどを均一に実装する。
パッケージを簡潔に記述し、実生活と合成データにおけるID推定手法の大規模(500以上のデータセット)ベンチマークでその使用を実証する。
論文 参考訳（メタデータ） (2021-09-06T16:46:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。