Commit history

1. Commits on Dec 16, 2025

   • Merge pull request #21036 from paldepind/rust/prioritize-manual-summaries

     Show description for 63329b4
     paldepind

     authored
     63329b4View commit details

     Copy full SHA for 63329b4

     Browse repository at this point

   • Rust: Fix typo in comment

     Show description for 8c4b81e
     

     paldepind

     and

     Copilot

     authored
     8c4b81eView commit details

     Copy full SHA for 8c4b81e

     Browse repository at this point

   • Rust: Fix manual model for PathBuf::as_path

     paldepind

     committed
     477e1cdView commit details

     Copy full SHA for 477e1cd

     Browse repository at this point
2. Commits on Dec 15, 2025

   • Merge pull request #21011 from aschackmull/mad/shared-externalflow

     Show description for d709343
     hvitved

     authored
     d709343View commit details

     Copy full SHA for d709343

     Browse repository at this point

   • Merge pull request #21035 from hvitved/rust/ord-models

     Show description for 74ed18a
     hvitved

     authored
     74ed18aView commit details

     Copy full SHA for 74ed18a

     Browse repository at this point

   • Rust: Don't apply generated models for functions that have a manual model

     paldepind

     committed
     1b70111View commit details

     Copy full SHA for 1b70111

     Browse repository at this point

   • Rust: Add test with wrong generated model

     paldepind

     committed
     d2cfd53View commit details

     Copy full SHA for d2cfd53

     Browse repository at this point

   • Merge pull request #21025 from github/oscarsj/mergeback-rc-3-20-into-main

     Show description for 2824c98
     oscarsj

     authored
     2824c98View commit details

     Copy full SHA for 2824c98

     Browse repository at this point

   • Rust: Add models for `core::cmp::Ord::{min,max,clamp}`

     hvitved

     committed
     fc49360View commit details

     Copy full SHA for fc49360

     Browse repository at this point

   • Merge pull request #21026 from michaelnebel/csharp/migratesolution

     Show description for 70447c6
     michaelnebel

     authored
     70447c6View commit details

     Copy full SHA for 70447c6

     Browse repository at this point

   • Merge pull request #21009 from geoffw0/varfps

     Show description for 93e8534
     geoffw0

     authored
     93e8534View commit details

     Copy full SHA for 93e8534

     Browse repository at this point

   • Merge branch 'main' into varfps

     geoffw0

     authored
     01f9b42View commit details

     Copy full SHA for 01f9b42

     Browse repository at this point

   • Merge pull request #21031 from github/workflow/coverage/update

     Show description for 949cfc3
     michaelnebel

     authored
     949cfc3View commit details

     Copy full SHA for 949cfc3

     Browse repository at this point

   • Add changed framework coverage reports

     github-actions[bot]

     committed
     f7bbddeView commit details

     Copy full SHA for f7bbdde

     Browse repository at this point
3. Commits on Dec 12, 2025

   • Merge pull request #20929 from owen-mc/go/fix-data-flow-consistency-checks

     Show description for af2fbd8
     owen-mc

     authored
     af2fbd8View commit details

     Copy full SHA for af2fbd8

     Browse repository at this point

   • Merge pull request #21024 from MathiasVP/csharp-implicit-map-value-reads

     Show description for 3ea92ea
     MathiasVP

     authored
     3ea92eaView commit details

     Copy full SHA for 3ea92ea

     Browse repository at this point

   • Merge pull request #21020 from hvitved/shared/source-sink-provenance-prio

     Show description for b61a439
     hvitved

     authored
     b61a439View commit details

     Copy full SHA for b61a439

     Browse repository at this point

   • C#: Exclude all test projects from the Release build configuration.

     michaelnebel

     committed
     e417938View commit details

     Copy full SHA for e417938

     Browse repository at this point

   • C#: Update the default solution to point to the .slnx file instead.

     michaelnebel

     committed
     7f1a9b5View commit details

     Copy full SHA for 7f1a9b5

     Browse repository at this point

   • C#: Migrate CSharp.sln to CSharp.slnx (as is).

     michaelnebel

     committed
     1e43d06View commit details

     Copy full SHA for 1e43d06

     Browse repository at this point

   • MaD: Use "namespace" instead "package" in shared code.

     aschackmull

     committed
     64a48e4View commit details

     Copy full SHA for 64a48e4

     Browse repository at this point

   • MaD: Rename file.

     aschackmull

     committed
     7f8d077View commit details

     Copy full SHA for 7f8d077

     Browse repository at this point

   • Merge branch 'main' of https://github.com/github/codeql into oscarsj/mergeback-rc-3-20-into-main

     oscarsj

     committed
     d972af9View commit details

     Copy full SHA for d972af9

     Browse repository at this point

   • C#: Add change note.

     MathiasVP

     committed
     2720f57View commit details

     Copy full SHA for 2720f57

     Browse repository at this point

   • Merge pull request #20989 from github/post-release-prep/codeql-cli-2.23.8

     Show description for 72b63bb
     oscarsj

     authored
     72b63bbView commit details

     Copy full SHA for 72b63bb

     Browse repository at this point

   • C#: Add implicit reads of System.Collections.Generic.KeyValuePair`2.Value at taint sinks.

     MathiasVP

     committed
     f30ebabView commit details

     Copy full SHA for f30ebab

     Browse repository at this point

   • C#: Slightly refactor 'CollectionFlow' tests to add a taint-flow test.

     MathiasVP

     committed
     b499661View commit details

     Copy full SHA for b499661

     Browse repository at this point

   • Merge pull request #21019 from paldepind/rust/impl-return

     Show description for c5987b4
     paldepind

     authored
     c5987b4View commit details

     Copy full SHA for c5987b4

     Browse repository at this point

   • Go: Use shared modelCoverage.

     aschackmull

     committed
     8564b4eView commit details

     Copy full SHA for 8564b4e

     Browse repository at this point

   • Rust: Update expected test output

     hvitved

     committed
     0b00589View commit details

     Copy full SHA for 0b00589

     Browse repository at this point

   • Rust: Apply same filtering of generated summaries as in C# and Java

     hvitved

     committed
     0b81d44View commit details

     Copy full SHA for 0b81d44

     Browse repository at this point

   • Shared: Prefer source/sink models with manual provenance over generated

     hvitved

     committed
     c4a8e9dView commit details

     Copy full SHA for c4a8e9d

     Browse repository at this point

   • Merge pull request #21018 from aschackmull/csharp/guards-connect-barrierguard

     Show description for f8c144b
     aschackmull

     authored
     f8c144bView commit details

     Copy full SHA for f8c144b

     Browse repository at this point

   • Merge pull request #21012 from hvitved/csharp/nhibernate-sql-sinks

     Show description for 6f27863
     hvitved

     authored
     6f27863View commit details

     Copy full SHA for 6f27863

     Browse repository at this point

   • Merge pull request #20994 from hvitved/csharp/remove-pre-ssa

     Show description for 0566a9f
     hvitved

     authored
     0566a9fView commit details

     Copy full SHA for 0566a9f

     Browse repository at this point