Add new state: Unicode compatibility normalization

評価

調査の方向性

説明

Hey ,

I noticed that you are considering only two states:

1. One regarding the path normalization if it is done or not before the safe check
2. Second concerns the safe check.

as shown next:

https://github.com/github/codeql/blob/c1c0a705b9f14c0f577a9ae56a9d699e8b6e67d6/python/ql/lib/semmle/python/security/dataflow/PathInjectionQuery.qll#L20-L28

However, there is a third state that is a required one: Unicode normalized. If ever a Unicode normalization is performed with a compatibility algorithm (NFKC or NFKD), the query would miss some cases precisely those ones where the Unicode normalization is not performed before the path normalization and the safe check. I draw a little chart to depict my saying:

The previous chart shows that when you consider a potential Unicode compatibility normalization, it is a required step before path normalization and safe check. If ever placed between the first two steps or after the last one, that would yield a vulnerable case that got missed due to the fact that the Unicode normalization may reintroduce unexpected special characters such as .. and /.

Regards
@Sim4n6

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

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

github/codeql のほかの issue

• JavaScript externs model StorageEvent() with no type argument オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 84/100

  github/codeql#22632 · 2026年9月20日 に作成

• C#: cs/simplifiable-boolean-expression false positive on Nullable<bool> compared with a literal オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 82/100

  github/codeql#22556 · 2026年9月14日 に作成

• Add AlertSuppression.ql for Rust (inline // codeql[...] suppression) オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  github/codeql#21637 · コメント 2 件 · 2026年4月2日 に作成

• Organization owned immutable actions raise warning about unpinned 3rd party actions tag オープン
  false-positive

  難易度 2/5 1〜3時間 初心者へのやさしさ 70/100

  github/codeql#21076 · コメント 3 件 · リアクション 3 件 · 2025年12月21日 に作成

• Python: `isType` treats any object in a module named `*typing` as a type, corrupting points-to for unrelated containers オープン
  false-positive

  難易度 3/5 1〜2日 初心者へのやさしさ 68/100

  github/codeql#22621 · 2026年9月18日 に作成

github/codeql の issue をすべて見る

似ている issue

• ip-address: Address4 decodes leading-zero octets as decimal while resolvers decode them as octal, allowing SSRF and trust-boundary bypass オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  databricks/databricks-sql-nodejs#526 · 2026年9月22日 に作成

• pii_scan gate does not block on its two critical rules: an SSN or credit-card number passes オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 88/100

  sipyourdrink-ltd/bernstein#6191 · 2026年9月22日 に作成

• injector: non-canonical loopback spellings bypass echo detection オープン
  security severity:low track:open-source

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  ntindle/spark-vm#259 · 2026年9月22日 に作成

• [addtool] DeepZero オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 72/100

  gwen001/offsectools_www#2055 · 2026年9月22日 に作成

• claude auto-review custom_prompt executes shell substitutions オープン

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  WalletConnect/actions#112 · 2026年9月22日 に作成

Security の issue をもっと見る