Commits

Breadcrumbs

History for

oncodeql-cli/latest

User selector

All users

All time

Commit History

Commits on Mar 13, 2026

• Explicitly mark DataFlowNodes.qll as overlay[local]

  owen-mc

  committed
  99f4930

  Copy full SHA for 99f4930

• Mark various files as `overlay[local]`

  owen-mc

  committed
  f32f853

  Copy full SHA for f32f853

• Go: annotate the standard library with for overlay

  Show description for c56feb7
  

  jbj

  authored and

  owen-mc

  committed
  c56feb7

  Copy full SHA for c56feb7

Commits on Mar 12, 2026

• Add and use `exprRefersToNil` predicate

  owen-mc

  committed
  c271755

  Copy full SHA for c271755

Commits on Feb 10, 2026

• Fix edge case in MaD validation

  Show description for 936c4cc
  owen-mc

  committed
  936c4cc

  Copy full SHA for 936c4cc

Commits on Jan 28, 2026

• Use shared `getScope` instead of `getRoot`

  owen-mc

  committed
  52c510b

  Copy full SHA for 52c510b

• Use shared `getASuccessor` and `getAPredecessor`

  owen-mc

  committed
  b2f8782

  Copy full SHA for b2f8782

• Use shared basic blocks library

  owen-mc

  committed
  3dd6b3f

  Copy full SHA for 3dd6b3f

Commits on Jan 26, 2026

• Go: Adapt to changes in `FlowSummaryImpl`

  hvitved

  committed
  739748c

  Copy full SHA for 739748c

Commits on Jan 9, 2026

• Validate models for barriers and barrier guards

  owen-mc

  committed
  c271e52

  Copy full SHA for c271e52

Commits on Jan 6, 2026

• Go: Add support for MaD barriers and barrier guards.

  

  aschackmull

  authored and

  owen-mc

  committed
  1fbc28b

  Copy full SHA for 1fbc28b

Commits on Dec 15, 2025

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

  Show description for d709343
  hvitved

  authored
  d709343

  Copy full SHA for d709343

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
  af2fbd8

  Copy full SHA for af2fbd8

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

  aschackmull

  committed
  64a48e4

  Copy full SHA for 64a48e4

• MaD: Rename file.

  aschackmull

  committed
  7f8d077

  Copy full SHA for 7f8d077

• Go: Use shared modelCoverage.

  aschackmull

  committed
  8564b4e

  Copy full SHA for 8564b4e

• Go: Move Go package-grouping support into shared lib.

  aschackmull

  committed
  5bddc8d

  Copy full SHA for 5bddc8d

• Java/C++: Thread additional models through the shared lib.

  aschackmull

  committed
  0725251

  Copy full SHA for 0725251

• C++/Go/Java: Don't import top-level extensible predicates.

  aschackmull

  committed
  47dcf05

  Copy full SHA for 47dcf05

• C++/C#/Go: Use shared interpretModelForTest.

  aschackmull

  committed
  0915db4

  Copy full SHA for 0915db4

• C++/C#/Go: Align ExternalFlowExtensions with Java.

  aschackmull

  committed
  f0e7f1a

  Copy full SHA for f0e7f1a

Commits on Dec 11, 2025

• Add dummy instantiations for other languages.

  aschackmull

  committed
  5ab26e4

  Copy full SHA for 5ab26e4

Commits on Dec 4, 2025

• Add post-update nodes for implicit field read nodes

  owen-mc

  committed
  a20c8cf

  Copy full SHA for a20c8cf

• (Refactor) Make `lookThroughImplicitFieldRead` public

  owen-mc

  committed
  dcfa721

  Copy full SHA for dcfa721

• Remove identity steps

  owen-mc

  committed
  9bf2070

  Copy full SHA for 9bf2070

Commits on Dec 2, 2025

• Merge pull request #20917 from owen-mc/go/enable-data-flow-consistency-checks

  Show description for 848677e
  owen-mc

  authored
  848677e

  Copy full SHA for 848677e

Commits on Nov 28, 2025

• Remove redundant import

  owen-mc

  committed
  fb0b407

  Copy full SHA for fb0b407

• Remove redundant char pred

  owen-mc

  committed
  2058c4a

  Copy full SHA for 2058c4a

Commits on Nov 26, 2025

• Be more specific to avoid CP

  owen-mc

  committed
  6fbed90

  Copy full SHA for 6fbed90

• Add exclusions to data flow consistency checks

  owen-mc

  committed
  eca9ec5

  Copy full SHA for eca9ec5

Commits on Oct 1, 2025

• Fix pointer content store step for write to field of pointer dereference

  owen-mc

  committed
  6fcd358

  Copy full SHA for 6fcd358

• Add and use `WriteNode.writesFieldPreUpdate`

  owen-mc

  committed
  489b843

  Copy full SHA for 489b843

• Rename confusing predicate and add qldoc

  owen-mc

  committed
  630a844

  Copy full SHA for 630a844

• Use slightly less confusing syntax

  owen-mc

  committed
  b1bcbec

  Copy full SHA for b1bcbec

• Rename helper predicate

  owen-mc

  committed
  1d9a93a

  Copy full SHA for 1d9a93a