Commits

Breadcrumbs

History for

onc79a724

User selector

All users

All time

Commit History

Commits on May 16, 2025

• 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

• C++: Def is only used in defToNode, which doesn't include phi reads nodes.

  aschackmull

  committed
  aaa7e4c

  Copy full SHA for aaa7e4c

• C++: Eliminate dead code, uncertain is always false.

  aschackmull

  committed
  133f087

  Copy full SHA for 133f087

Commits on Mar 28, 2025

• SSA: Remove empty predicates and dead code.

  aschackmull

  committed
  5a986f5

  Copy full SHA for 5a986f5

• C++: Add ssaDefHasSource.

  aschackmull

  committed
  308d154

  Copy full SHA for 308d154

Commits on Mar 25, 2025

• Java/SSA: Keep proper distinction between cached stages.

  aschackmull

  committed
  d5d0274

  Copy full SHA for d5d0274

• C++: Keep all phi input back edges.

  aschackmull

  committed
  4d04391

  Copy full SHA for 4d04391

Commits on Mar 14, 2025

• C++: Move ATL models to ATL namespace.

  MathiasVP

  committed
  7869790

  Copy full SHA for 7869790