Adding guards against possible NULL pointers dereference
まだ誰も着手していません。
評価
調査の方向性
original_report.txt と Python3.11_static_analysis_result.txt を確認し、その後、./configure と infer run -- make --keep-going を使って報告された解析を再現する。レポートでは、NULL-pointer dereferences の可能性が挙げられているが、対象となるファイルや修正の限定された範囲は特定されていない。完了するには、各指摘を検証し、確認された脆弱性に適切なテストを用いて対処する必要がある。
索引モデルが issue の本文から書いたものです。
説明
Bug report
Infer is a static analysis tool.
I used it to analyze CPython code base and got some interesting results.
I used the following command to complete the static analysis and got the original results in the attachment original_report.txt.
./configure
infer run -- make --keep-going
I've stripped out some of the more obvious false positives in the attachment Python3.11_static_analysis_result.txt,
the rest are vulnerabilities that I think may need attention.
Python is my favorite programming language. I hope this deicovery is helpful.
- 主要言語
- Python
- スター
- 77.2k
- フォーク
- 36k
- 平均マージ
- 1日 9時間
- マージ済み PR（30日）
- 558
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/cpython のほかの issue
-
docs pending
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
stdlib type-feature
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
stdlib type-feature
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
build type-bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
stdlib topic-email type-feature
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
-
🐛 Bug 🔔 Pending processing
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
jumpserver/jumpserver#17584 ·