amber: 5/5 WARN on an AEC-reproduced artifact whose build environment is documented but not in a Dockerfile
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 52/100
調査の方向性
Start with entries/usenixsec2023-aeadprotocols.yaml in the amber-corpus repository and reproduce the audit on the #532 branch using the command in the issue. Then trace how the amber controls search for reproducibility evidence and handle the documented docker pull image. Done means the audit can distinguish missing evidence from evidence it cannot evaluate, and reports what it searched for.
索引モデルが issue の本文から書いたものです。
説明
Summary
The five amber controls return WARN on an artifact that a USENIX Security '23 AEC independently reproduced, not because it lacks a reproducibility story, but because that story lives in the README and an external image rather than in files the controls look for.
git clone https://github.com/AutomatedAnalysisOf/AEADProtocols.git
cd AEADProtocols && git checkout V1 # cad164e
darnit audit --show-all --framework amber .
Total: 5 | Pass: 0 | Fail: 0 | Warn: 5 | N/A: 0 | Error: 0 | Pending LLM: 0
RE-01.01 .. RE-03.01: WARN - Could not automatically verify
No handler errors.
The artifact:
35 MB: Models/, README.md, tamarin-prover.zip. The README gives a pinned container and run command:
docker pull aeads/tamarin
docker run -it -v $PWD:/opt/case-studies aeads/tamarin bash
and vendors the prover source for manual builds. Badges: Available, Functional, Results Reproduced.
RE-01.02 (BuildEnvDeclared) is the clearest case, the build environment is declared, just not as a Dockerfile. And the WARN is indistinguishable from one on a repo with no evidence at all, which is the same complaint as #427.
Suggestions:
- Distinguish no candidate evidence found from candidates found but unevaluable, reporting what was searched for would be a start.
- Consider whether a documented
docker pull <image>counts as a declared build environment, even at suggestive authority
From darnitdevorg/amber-corpus (#534) - artifacts with externally established expected outcomes, so a verdict can be judged right or wrong. Entry: entries/usenixsec2023-aeadprotocols.yaml. Run on the #532 branch.
- 主要言語
- Python
- スター
- 22
- フォーク
- 27
- 平均マージ
- 2日 28分
- マージ済み PR（30日）
- 40
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
darnitdevorg/darnit のほかの issue
-
needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
darnitdevorg/darnit#589 ·
メンテナーはふだん 1 日以内に返信
-
needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
darnitdevorg/darnit#587 ·
メンテナーはふだん 1 日以内に返信
-
needs triage
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
darnitdevorg/darnit#585 ·
メンテナーはふだん 1 日以内に返信
-
quality
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
darnitdevorg/darnit#523 ·
メンテナーはふだん 1 日以内に返信
-
documentation good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
darnitdevorg/darnit#516 ·
メンテナーはふだん 1 日以内に返信
darnitdevorg/darnit の issue をすべて見る
似ている issue
-
bug difficulty:2 good first issue help wanted
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
MakazhanAlpamys/Soup#1865 ·
メンテナーはふだん 1 日以内に返信
-
area: agents area: docs good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
openapi/gknowledge#23 ·
-
useless-suppression reported for deprecated-* messages that should be exempt対応中かも @adityasinha-ghub が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
pylint-dev/pylint#11656 ·
メンテナーはふだん 1 日以内に返信
-
area:provisioning effort:S priority:P2 provider:local-libvirt risk:daytime-only status:in-progress type:bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
randomparity/kdive#3203 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
get() for StrEnum対応中かも @FeJo5952 が今日担当しました。 オープンgood first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
collective/icalendar#1921 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信