【要約】OSSの脆弱性を発見してGitHubに報告するまで【Flask-SimpleLogin】 [Zenn_Python] | Summary by TechDistill
> Source: Zenn_Python
Execute Primary Source
// Problem
- ・自動スキャンツール（bandit, semgrep）では検知できない論理的欠陥。
- ・ドキュメントの仕様（リスト入力対応）と実装の不一致。
- ・
is_logged_in関数内での変数gotの未定義参照による実行時エラー。
// Approach
1.ターゲット選定：PyPI配布、低メンテナ、ユーザー入力処理、小規模コードの条件で選定。
2.自動スキャン：
bandit, semgrep, pip-audit を実行し、既知の脆弱性を確認。3.手動レビュー：
__init__.py の is_logged_in 関数を精査。4.PoC作成：
@login_required(username=['admin']) を用いた再現コードの実装。5.影響分析：500エラー（DoS）および認可バイパスの発生条件を特定。
// Result
- ・
UnboundLocalErrorによるDoSの再現に成功。 - ・カスタムエラーハンドラ設定時における認可バイパスの特定。
- ・修正案（
got = get_username()のスコープ変更）の提示。 - ・GitHubへのIssue報告およびCVE申請準備の完了。
Senior Engineer Insight
>
自動スキャンの限界を突いた、極めて実践的な事例である。ドキュメントの仕様と実装の乖離は、大規模システムでも致命的な脆弱性となる。型ヒント（Iterable[str]）の導入が、逆に実装の不備を招くリスクを示唆している。単なるDoSに留まらず、認可バイパスというセキュリティ上の本質的なリスクまで掘り下げた点は高く評価できる。コードの境界値、特に型が変化する箇所への注視が不可欠である。