CodeQLが「models-as-data」形式でサニタイザーとバリデーターをサポート

CodeQLは、コード内のセキュリティ問題を発見して修正するGitHubコードスキャン（GitHub code scanning）の背後にある静的解析エンジン（static analysis engine）です。C/C++、C#、Go、Java/Kotlin、JavaScript/TypeScript、Python、Ruby、Rustの各言語において、データ拡張（models-as-data）を使用してカスタムのサニタイザーとバリデーターを定義できるようになりました。 What’s new CodeQLでは、サニタイザーとバリデーターはそれぞれバリア（barriers）とバリアガード（barrier guards）として表現されます。 バリアとバリアガードを使用すると、CodeQLがコード内をどのように汚染データ（tainted data）として追跡するかをカスタマイズできます。バリアは、特定の脆弱性タイプに対して出力がサニタイズ済みとみなされる関数やメソッドを示します（例：クロスサイトスクリプティングを防止するHTMLエスケープ関数）。バリアガードは、データが安全かどうかを示すブール値を返す関数を示し、ガードされた分岐を通る汚染フロー（taint flow）を停止します。 以前は、バリアを定義するにはカスタムのCodeQLコードを書く必要がありました。現在では、2つの新しい拡張可能な述語（extensible predicates）を使用して、YAMLデータ拡張ファイルで宣言的に追加できるようになりました。 barrierModel：指定されたクエリ種別（query kind）に対して、モデル化された要素で汚染フローを停止します。 barrierGuardModel：条件チェックが期待される値を返したときに、汚染フローを停止します。 これらの新しい述語でモデル化されたバリアをCodeQLモデルパック（CodeQL model packs）に追加できます。これにより、カスタムのCodeQLコードを記述することなく、プロジェクト独自のサニタイズおよび検証関数を認識するようにCodeQLの分析を拡張しやすくなります。 Learn more 各言語でのバリアとバリアガードの定義方法に関する詳細と例については、カスタマイズガイドを参照してください。 Customizing library models for C and C++ Customizing library models for C# Customizing library models for Go Customizing library models for Java and Kotlin Customizing library models for JavaScript Customizing library models for Python Customizing library models for Ruby GitHubコードスキャンでCodeQLモデルパックを使用する方法に関する詳細は、CodeQLモデルパックによるCodeQLカバレッジの拡張（Extending CodeQL coverage with CodeQL model packs）を参照してください。 この機能はCodeQL 2.25.2以降で利用可能です。 記事「CodeQL now supports sanitizers and validators in models-as-data」は、The GitHub Blogに最初に掲載されました。

CodeQLが「models-as-data」形式でサニタイザーとバリデーターをサポート

背景や根拠まで確認しますか？

このニュースを、実務の判断につなげる

関連記事

調べる

選ぶ

サイト