Commits

Breadcrumbs

History for

on03d6528

User selector

All users

All time

Commit History

Commits on Jan 15, 2026

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

  Show description for 03d6528
  

  MathiasVP

  and

  jketema

  authored
  03d6528

  Copy full SHA for 03d6528

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

  Show description for 1b11790
  

  MathiasVP

  and

  jketema

  authored
  1b11790

  Copy full SHA for 1b11790

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

  Show description for d6ca1ca
  

  MathiasVP

  and

  jketema

  authored
  d6ca1ca

  Copy full SHA for d6ca1ca

Commits on Jan 12, 2026

• C++: Fix Code Scanning alerts.

  MathiasVP

  committed
  4f4baee

  Copy full SHA for 4f4baee

• C++: Generate IR for assertions in release builds.

  MathiasVP

  committed
  aa058c2

  Copy full SHA for aa058c2

• C++: Avoid generating IR for a few cases where we will be synthesizing assertions.

  MathiasVP

  committed
  a18f3b6

  Copy full SHA for a18f3b6

• C++: Add a few helper predicates.

  MathiasVP

  committed
  67ab0fe

  Copy full SHA for 67ab0fe

Commits on Jan 8, 2026

• Merge pull request #21113 from paldepind/cpp/range-analysis-float-ceil

  Show description for 26bd332
  paldepind

  authored
  26bd332

  Copy full SHA for 26bd332

Commits on Jan 7, 2026

• C++: Remove `safeFloor` in simple range analysis

  paldepind

  committed
  f5ddb1d

  Copy full SHA for f5ddb1d

Commits on Jan 6, 2026

• C++: Simplify expression

  jketema

  committed
  c567197

  Copy full SHA for c567197

• C++: Remove redundant SSA branch after IR fix

  jketema

  committed
  063e5d3

  Copy full SHA for 063e5d3

• C++: Use the loaded `this` instead of the `this` initialization

  jketema

  committed
  740518d

  Copy full SHA for 740518d

Commits on Dec 12, 2025

• 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: Move Go package-grouping support into shared lib.

  aschackmull

  committed
  5bddc8d

  Copy full SHA for 5bddc8d

• C++: Use shared model coverage code.

  aschackmull

  committed
  e262438

  Copy full SHA for e262438

• 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

• Merge pull request #20986 from aschackmull/java/mad-barriers

  Show description for 7285a8e
  aschackmull

  authored
  7285a8e

  Copy full SHA for 7285a8e

Commits on Dec 11, 2025

• Add dummy instantiations for other languages.

  aschackmull

  committed
  5ab26e4

  Copy full SHA for 5ab26e4

• C/C++ overlay: Discard xml entities

  IdrissRio

  committed
  84bbe71

  Copy full SHA for 84bbe71

• C/C++ overlay: Add overlay support for discarding macro invocations

  IdrissRio

  committed
  3f372d2

  Copy full SHA for 3f372d2

• C/C++ overlay: Add overlay support for discarding namespaces

  IdrissRio

  committed
  1286ca6

  Copy full SHA for 1286ca6

• C/C++ overlay: Add overlay support for discarding user types

  IdrissRio

  committed
  c34456e

  Copy full SHA for c34456e

• C/C++ overlay: Add overlay support for discarding functions

  IdrissRio

  committed
  4702e20

  Copy full SHA for 4702e20

Commits on Dec 10, 2025

• Guards: Rename -WithState to Parameterized-.

  aschackmull

  committed
  09058e4

  Copy full SHA for 09058e4

• Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards.

  aschackmull

  committed
  ebb9899

  Copy full SHA for ebb9899

Commits on Nov 28, 2025

• Merge pull request #20909 from github/idrissrio/cpp/overlay/overlay.qll

  Show description for 9fd31bf
  IdrissRio

  authored
  9fd31bf

  Copy full SHA for 9fd31bf

• C/C++ overlay: Address review comments

  IdrissRio

  committed
  4ad25e4

  Copy full SHA for 4ad25e4

• C/C++ overlay: Address review comments

  Show description for eac06dd
  IdrissRio

  committed
  eac06dd

  Copy full SHA for eac06dd

Commits on Nov 27, 2025

• C/C++ overlay: Address review comments

  IdrissRio

  committed
  3d69286

  Copy full SHA for 3d69286

• C/C++ Overlay: Preserve entities that have at least one location in an unchanged file

  Show description for 6c09325
  IdrissRio

  committed
  6c09325

  Copy full SHA for 6c09325

• C/C++ overlay: Add basic Overlay.qll file

  IdrissRio

  committed
  39136f3

  Copy full SHA for 39136f3