Commits

Breadcrumbs

History for

on570fdeb

User selector

All users

All time

Commit History

Commits on May 21, 2025

• Java: Deprecate redundant basic block predicates.

  aschackmull

  committed
  db01828

  Copy full SHA for db01828

Commits on May 19, 2025

• Merge pull request #19518 from jketema/depr

  Show description for dfbe08d
  jketema

  authored
  dfbe08d

  Copy full SHA for dfbe08d

• Merge pull request #19511 from MathiasVP/as-expr-array-aggregate-literal

  Show description for adb7410
  MathiasVP

  authored
  adb7410

  Copy full SHA for adb7410

• cpp: removed now unused predicate `commandLineArg`

  

  Napalys

  authored and

  jketema

  committed
  703aec1

  Copy full SHA for 703aec1

• all: used Erik's script to delete outdated deprecations

  

  Napalys

  authored and

  jketema

  committed
  c74321a

  Copy full SHA for c74321a

Commits on May 16, 2025

• C++: Fix missing 'asExpr' for array aggregate literals.

  MathiasVP

  committed
  8e005a6

  Copy full SHA for 8e005a6

• Update cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll

  Show description for bbce0d0
  

  GeekMasher

  and

  jketema

  authored
  bbce0d0

  Copy full SHA for bbce0d0

• feat(cpp): Update FlowSources to add wmain

  GeekMasher

  authored
  c79a724

  Copy full SHA for c79a724

• Merge pull request #19501 from MathiasVP/as-expr-class-aggregate-literal

  Show description for 03d6633
  MathiasVP

  authored
  03d6633

  Copy full SHA for 03d6633

• Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll

  Show description for e11ab0f
  

  MathiasVP

  and

  Copilot

  authored
  e11ab0f

  Copy full SHA for e11ab0f

Commits on May 15, 2025

• C++: Small refactoring.

  MathiasVP

  committed
  d31ddad

  Copy full SHA for d31ddad

• C++: Add a subclass of PostUpdateNodes and ensure that 'node.asExpr() instanceof ClassAggregateLiteral' holds for this new node subclass.

  MathiasVP

  committed
  783560c

  Copy full SHA for 783560c

• C++: Update semantics of picking the static call target in dataflow.

  MathiasVP

  committed
  69a1a87

  Copy full SHA for 69a1a87

Commits on May 14, 2025

• C++: Fix IR edge case where there are no function calls taking an argument

  jketema

  committed
  4012813

  Copy full SHA for 4012813

Commits on May 13, 2025

• C++: Drive-by join order fix. Before:

  Show description for f255fc2
  MathiasVP

  committed
  f255fc2

  Copy full SHA for f255fc2

• C++: Cache and fix join order in 'hasIncompleteSsa'.

  MathiasVP

  committed
  0836f0b

  Copy full SHA for 0836f0b

• C++: Filter out instructions with incomplete SSA in range analysis.

  MathiasVP

  committed
  9d2eb3d

  Copy full SHA for 9d2eb3d

• C++: Add an 'hasIncompleteSsa' predicate to check whether a function has correctly modelled SSA information.

  MathiasVP

  committed
  510df38

  Copy full SHA for 510df38

Commits on May 12, 2025

• C++: Expose 'isBusyDef'.

  MathiasVP

  committed
  f1b4e05

  Copy full SHA for f1b4e05

• C++: Expose 'MemoryLocation0'.

  MathiasVP

  committed
  e51cb47

  Copy full SHA for e51cb47

Commits on Apr 25, 2025

• C++: Set `defaultFieldFlowBranchLimit` to 3

  jketema

  committed
  9396f0e

  Copy full SHA for 9396f0e

• C++: Do not limit second level scopes to the top-level

  jketema

  committed
  ac3c3ae

  Copy full SHA for ac3c3ae

Commits on Apr 23, 2025

• C++: Support C23 `typeof` and `typeof_unqual`

  jketema

  committed
  df3282c

  Copy full SHA for df3282c

Commits on Apr 17, 2025

• C++: Minor textual fixes

  jketema

  committed
  0bcee84

  Copy full SHA for 0bcee84

Commits on Apr 16, 2025

• C++: add predicate to distinguish between array/field designators

  IdrissRio

  committed
  49183bb

  Copy full SHA for 49183bb

Commits on Apr 15, 2025

• C++: add isVLA() to ArrayType to identify variable-length arrays

  IdrissRio

  committed
  033bade

  Copy full SHA for 033bade

Commits on Apr 11, 2025

• Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

  Show description for deef95d
  

  MathiasVP

  and

  tausbn

  authored
  deef95d

  Copy full SHA for deef95d

• Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

  Show description for bfc494c
  

  MathiasVP

  and

  tausbn

  authored
  bfc494c

  Copy full SHA for bfc494c

Commits on Apr 10, 2025

• C++: Ensure we always have 'Position's even if there are no calls in the DB.

  MathiasVP

  committed
  3bb249f

  Copy full SHA for 3bb249f

• C++: Add a few predicates to 'ReturnKind'.

  MathiasVP

  committed
  b678112

  Copy full SHA for b678112

• C++: Move the 'getArgumentIndex' into the abstract 'Position' class. It is implemented in all subclasses anyway.

  MathiasVP

  committed
  960e990

  Copy full SHA for 960e990

• C++: Expose a few predicates from 'ExternalFlow'.

  MathiasVP

  committed
  94e08e3

  Copy full SHA for 94e08e3

Commits on Apr 1, 2025

• Merge pull request #19159 from github/idrissrio/calling-conventions

  Show description for 1ebce01
  IdrissRio

  authored
  1ebce01

  Copy full SHA for 1ebce01

Commits on Mar 31, 2025

• C++: add calling convention specifier class

  IdrissRio

  committed
  f83f14b

  Copy full SHA for f83f14b

• C++: Use DataFlowIntegration in IteratorFlow.

  aschackmull

  committed
  a6a694d

  Copy full SHA for a6a694d