Commits

Breadcrumbs

History for

onaed0e68

User selector

All users

All time

Commit History

Commits on Jan 26, 2026

• C++: Remove uniqueness since it is enforced earlier now.

  MathiasVP

  committed
  aed0e68

  Copy full SHA for aed0e68

• C++: Enforce uniqueness in the other branch of 'getSize'.

  MathiasVP

  committed
  13a5249

  Copy full SHA for 13a5249

• C++: Enforce uniqueness in 'getVariableSize'.

  MathiasVP

  committed
  91752e5

  Copy full SHA for 91752e5

Commits on Jan 23, 2026

• Merge pull request #21212 from MathiasVP/fix-as-definition

  Show description for cabcb83
  MathiasVP

  authored
  cabcb83

  Copy full SHA for cabcb83

• C++: Add change note.

  MathiasVP

  committed
  6c2a3a6

  Copy full SHA for 6c2a3a6

• C++: Fix asDefinition to not only work for SSA definitions.

  MathiasVP

  committed
  a556152

  Copy full SHA for a556152

• C++: Add change note

  jketema

  committed
  7ed1c0a

  Copy full SHA for 7ed1c0a

• C++: Add MaD models for MySQL escaping

  jketema

  committed
  ecd247b

  Copy full SHA for ecd247b

Commits on Jan 21, 2026

• C++: Drive-by fix: Don't use the uncached ''getAPhiInputOrPriorDefinition' predicate. Instead, cache it and call it like we are supposed to.

  MathiasVP

  committed
  60ee92d

  Copy full SHA for 60ee92d

• C++: Add ''isLiveAtEndOfBlock' predicate to 'Definition'.

  MathiasVP

  committed
  d89967c

  Copy full SHA for d89967c

• Merge branch 'main' into ir-support-for-assertions

  MathiasVP

  committed
  e1089c8

  Copy full SHA for e1089c8

• C++: Fix bugs in variable resolution for assertions following review comments.

  MathiasVP

  committed
  e4ec792

  Copy full SHA for e4ec792

• C++: Add more tests.

  MathiasVP

  committed
  c30dffc

  Copy full SHA for c30dffc

• Merge pull request #21185 from MathiasVP/mad-cpp-guards

  Show description for 6ae1ea7
  MathiasVP

  authored
  6ae1ea7

  Copy full SHA for 6ae1ea7

Commits on Jan 20, 2026

• Update cpp/ql/lib/semmle/code/cpp/Preprocessor.qll

  Show description for 701569b
  

  jketema

  and

  Copilot

  authored
  701569b

  Copy full SHA for 701569b

• C++: Add upgrade and downgrade script

  jketema

  committed
  b35271a

  Copy full SHA for b35271a

• C++: Update dbscheme stats file

  jketema

  committed
  28047fe

  Copy full SHA for 28047fe

• C++: Support C23/C++26 `#embed` preprocessor directives

  jketema

  committed
  e704406

  Copy full SHA for e704406

• C++: Add up/downgrade scripts

  igfoo

  committed
  49ced5f

  Copy full SHA for 49ced5f

• C++: Use more standard shared dbscheme sections

  Show description for 7d6a1f7
  igfoo

  committed
  7d6a1f7

  Copy full SHA for 7d6a1f7

Commits on Jan 19, 2026

• Post-release preparation for codeql-cli-2.24.0

  

  github-actions[bot]

  committed
  48475e6

  Copy full SHA for 48475e6

• Release preparation for version 2.24.0

  

  github-actions[bot]

  committed
  4142b9c

  Copy full SHA for 4142b9c

• C++: Add 'internal: do not use' comment.

  MathiasVP

  committed
  d183dcd

  Copy full SHA for d183dcd

• C++: Autoformat.

  MathiasVP

  committed
  c11b464

  Copy full SHA for c11b464

• C++: Delete unnecessary conjuncts after review comments.

  MathiasVP

  committed
  b363154

  Copy full SHA for b363154

• Apply suggestions from code review

  Show description for c47a9dd
  

  MathiasVP

  and

  Copilot

  authored
  c47a9dd

  Copy full SHA for c47a9dd

• C++: Add change note.

  MathiasVP

  committed
  7aca94b

  Copy full SHA for 7aca94b

• C++: Fix Code Scanning alert.

  MathiasVP

  committed
  c70633a

  Copy full SHA for c70633a

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll

  Show description for 58a3260
  

  MathiasVP

  and

  jketema

  authored
  58a3260

  Copy full SHA for 58a3260

• C++: Finish up implementation of MaD barriers.

  MathiasVP

  committed
  a11b271

  Copy full SHA for a11b271

• WIP

  Show description for 4825480
  

  aschackmull

  authored and

  MathiasVP

  committed
  4825480

  Copy full SHA for 4825480

• C++: Parameterize the BarrierGuard modules. This is useful for barrier guards with flow states and will be necessary in the next commit for adding MaD specified barriers.

  MathiasVP

  committed
  07ac8a5

  Copy full SHA for 07ac8a5

• Merge pull request #21171 from MathiasVP/fix-conflation-in-guards

  Show description for dc7ce3f
  MathiasVP

  authored
  dc7ce3f

  Copy full SHA for dc7ce3f

Commits on Jan 16, 2026

• C++: Switch another 'DataFlowType' to 'Type'.

  MathiasVP

  committed
  f05bff0

  Copy full SHA for f05bff0

• C++: Add change note.

  MathiasVP

  committed
  08a6b99

  Copy full SHA for 08a6b99