Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

[BUG] cmse spec: cmse_check_address_range() example impl. doesn't check for size==0

オープン
#408 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
4/5
見積もり時間
3〜5日
初心者へのやさしさ
38/100
issue の種類
バグ
明瞭さ
説明が足りない
活発さ
停滞
技術スタック
c

調査の方向性

cmse/cmse.md の 1592 行付近から始めて、cmse_check_address_range() の実装例を調べます。特に、cmse_TT* 呼び出しの前に s がどのように pe になるかを確認してください。サイズがゼロの場合に意図されている動作をプロジェクトに確認し、その後、仕様の例を更新してその扱いを明示的にし、対象となる呼び出し周辺の文書化されたロジックを検証してください。

索引モデルが issue の本文から書いたものです。

説明

bug

Describe the bug

https://github.com/ARM-software/acle/blob/d294acf9fe429710151a166d12082a3434dfd764/cmse/cmse.md?plain=1#L1592

If s is zero, then pe is set just below pb -- or in case pb is zero, we wrap around 0 downwards, to the maximum possible pointer value. In either of those cases, all the subsequent cmse_TT* invocations get bogus pe values.

Arguably, if the caller intends to access zero bytes, we should immediately fail, or immediately validate, the intent (I could see arguments for either outcome). What we should probably not do is call cmse_TT* at all.

Screenshots

If applicable, add screenshots to help explain your problem. This is
useful for layout problems in the PDF or HTML pages.

Our commitment

We will work to solve the bug report in time for the upcoming
release. However, we would like to encourage you to submit the fix
yourself, if possible. If you intend to do so and this is your first
contribution, we recommend reading our contribution
guidelines
.

主要言語
Python
スター
129
フォーク
77
平均マージ
8日 12時間
マージ済み PR(30日)
2

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

ARM-software/acle のほかの issue

ARM-software/acle の issue をすべて見る

似ている issue

Python の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。