document what is needed for this to be a statically verified sandbox
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 42/100
- issue の種類
- ドキュメント
- 明瞭さ
- 説明が足りない
- 活発さ
- 静か
- 技術スタック
- rust
調査の方向性
リポジトリのREADMEとリンク先のcap-directories/README.mdから始め、続いて一覧にあるRustのツールとチェックについて、依存関係、unsafeコード、ambient directory access、ビルドスクリプト、既知のunsoundnessを調査します。READMEのセクションに、適用可能なツール、その制限、および静的に検証されたサンドボックスについて検証できることと検証できないことが記載されれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Would adding a section to the Readme about this be welcome?
Together with static analysis, I think cap-std can be used to reduce the necessary code review to know that something does not escape the capabilities handed to it. So one would only need to review the API that one uses from a crate.
For this one would need some tool(s) one could run on a crate (and recursively its dependencies) to verify that it does not use any of the following:
- cap-directories
- Dir::open_ambient_dir
- the replaced functions/modules/crates (typical clippy job, but probably no ready made lint yet, can clippy guarantee this or is something else needed?)
- unsafe (there is
#![deny(unsafe_code)]https://doc.rust-lang.org/reference/attributes/diagnostics.html , I think there are ready made tools, need to find a good recommendation) - build script https://doc.rust-lang.org/cargo/reference/build-scripts.html (no idea if there is a ready to use tool to check, but easy to code)
- check known unsoundness like https://github.com/rust-lang/rust/issues/25860 are not used, I think miri https://github.com/rust-lang/miri is supposed to catch it, but need to double check
Any suggestions for relevant tools?
While there is research in that direction, for now none of this is to the level of formally proven, but the constructed to be correct level known from Rust.
- 主要言語
- Rust
- スター
- 821
- フォーク
- 59
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
bytecodealliance/cap-std のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
bytecodealliance/cap-std#427 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
bytecodealliance/cap-std#416 · コメント 2 件 ·
-
Archiving cap-std オープン
難易度 5/5 1週間以上 初心者へのやさしさ 15/100
bytecodealliance/cap-std#426 · コメント 2 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 45/100
bytecodealliance/cap-std#423 · コメント 5 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 42/100
bytecodealliance/cap-std#408 · コメント 4 件 · リアクション 2 件 ·
bytecodealliance/cap-std の issue をすべて見る
似ている issue
-
bug github_actions
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
registrystack/registry-stack#1393 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
longbridge/gpui-kit#3223 ·
-
bug engine
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
rocky-data/rocky#2181 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
oasisprotocol/oasis-sdk#2523 ·
-
[indexer] [QA] Add a focused test for the new NonRetryableError / assertSocketAlive() behavior. オープンbot:ai-assisted component:indexer QA-roadmap status:untriaged
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
midnightntwrk/midnight-indexer#1557 ·