Commits

Breadcrumbs

History for

onced1d58

User selector

All users

All time

Commit History

Commits on May 16, 2025

• C++: Accept test changes.

  MathiasVP

  committed
  ced1d58

  Copy full SHA for ced1d58

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

  MathiasVP

  committed
  8e005a6

  Copy full SHA for 8e005a6

• Merge pull request #19492 from MathiasVP/add-cpp-models

  Show description for d7e07b0
  MathiasVP

  authored
  d7e07b0

  Copy full SHA for d7e07b0

• Adding cipher update modeling (model flow through update to final)

  bdrodes

  committed
  34f5e4e

  Copy full SHA for 34f5e4e

• Merge pull request #19508 from jketema/options

  Show description for 5db797e
  jketema

  authored
  5db797e

  Copy full SHA for 5db797e

• C++: Accept test changes.

  MathiasVP

  committed
  f82f1c8

  Copy full SHA for f82f1c8

• C++: Drop `--clang_vector_types` option

  Show description for 55f8cb7
  jketema

  committed
  55f8cb7

  Copy full SHA for 55f8cb7

• C++: Remove unused options file

  jketema

  committed
  9d5a465

  Copy full SHA for 9d5a465

• C++: Regenerate the models for OpenSSL and sqlite after excluding tests in model-generation (sqlite is unaffected).

  MathiasVP

  committed
  1d31a38

  Copy full SHA for 1d31a38

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

  Show description for 03d6633
  MathiasVP

  authored
  03d6633

  Copy full SHA for 03d6633

• C++: Add change note.

  MathiasVP

  committed
  3df647f

  Copy full SHA for 3df647f

• C++: Accept test changes.

  MathiasVP

  committed
  bebc077

  Copy full SHA for bebc077

• C++: Regenerate the models for OpenSSL and sqlite after model-generation changes.

  MathiasVP

  committed
  560ffc0

  Copy full SHA for 560ffc0

• C++: Don't generate models for stuff we have modeled in Ql by hand.

  MathiasVP

  committed
  d6beb2a

  Copy full SHA for d6beb2a

• C++: Add generated sqlite models.

  MathiasVP

  committed
  de31595

  Copy full SHA for de31595

• C++: Add generated OpenSSL models.

  MathiasVP

  committed
  0290b43

  Copy full SHA for 0290b43

• Merge pull request #19500 from MathiasVP/always-apply-manual-models-when-resolving-calls

  Show description for cadcb20
  MathiasVP

  authored
  cadcb20

  Copy full SHA for cadcb20

• 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 change note.

  MathiasVP

  committed
  f731d0e

  Copy full SHA for f731d0e

• C++: Accept test changes.

  MathiasVP

  committed
  c3c6bb6

  Copy full SHA for c3c6bb6

• 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++: Add a test that demonstrate missing asExpr for aggregate literals.

  MathiasVP

  committed
  0f21075

  Copy full SHA for 0f21075

• C++: Accept test changes.

  MathiasVP

  committed
  e75dcd2

  Copy full SHA for e75dcd2

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

  MathiasVP

  committed
  69a1a87

  Copy full SHA for 69a1a87

• C++: Add tests to exercise the upcoming behavior of function dispatch when there are model-generated summaries AND source definitions.

  MathiasVP

  committed
  c6df950

  Copy full SHA for c6df950

• C++: Exclude tests (by matching paths) in model generation.

  MathiasVP

  committed
  e80c3b5

  Copy full SHA for e80c3b5

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

• C++: Add test case for IR edge case

  jketema

  committed
  96bd9a9

  Copy full SHA for 96bd9a9

• Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2

  Show description for e903d76
  MathiasVP

  authored
  e903d76

  Copy full SHA for e903d76

Commits on May 13, 2025

• Post-release preparation for codeql-cli-2.21.3

  

  github-actions[bot]

  committed
  5f9dd75

  Copy full SHA for 5f9dd75

• Release preparation for version 2.21.3

  

  github-actions[bot]

  committed
  2de4a01

  Copy full SHA for 2de4a01

• Merge pull request #19477 from MathiasVP/fix-infinite-range-analysis-on-incomplete-ssa

  Show description for fa79423
  MathiasVP

  authored
  fa79423

  Copy full SHA for fa79423

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

  Show description for f255fc2
  MathiasVP

  committed
  f255fc2

  Copy full SHA for f255fc2

• Cpp: Update model generator implementation.

  

  michaelnebel

  authored and

  MathiasVP

  committed
  fcecc5a

  Copy full SHA for fcecc5a