Commits

Breadcrumbs

History for

on4ffe70d

User selector

All users

All time

Commit History

Commits on Dec 18, 2024

• C++: Respond to review comments.

  MathiasVP

  committed
  4ffe70d

  Copy full SHA for 4ffe70d

Commits on Dec 17, 2024

• C++: Work around suboptimal codegen for recursive 'forex'.

  MathiasVP

  committed
  0b2b341

  Copy full SHA for 0b2b341

• C++: Fix ql-for-ql findings.

  MathiasVP

  committed
  2cc6ffb

  Copy full SHA for 2cc6ffb

• C++: Sync identical files.

  MathiasVP

  committed
  5ed0222

  Copy full SHA for 5ed0222

• C++: While here, let's avoid materializing 'ensuresEq' and 'ensuresLt' when computing unreachable nodes in dataflow.

  MathiasVP

  committed
  f351558

  Copy full SHA for f351558

• C++: Apply similar join order fixes to the other cases.

  MathiasVP

  committed
  9b6f39c

  Copy full SHA for 9b6f39c

• C++: Join with value number only after joining with 'controls'.

  MathiasVP

  committed
  eea7804

  Copy full SHA for eea7804

Commits on Dec 16, 2024

• C++: Fix incorrect QLDoc.

  MathiasVP

  committed
  913357b

  Copy full SHA for 913357b

• C++: No need to exclude static and global initializers now that we inline the predicates.

  MathiasVP

  committed
  5327847

  Copy full SHA for 5327847

• C++: Change all the 'ensures' and (and most 'compares') predicates to be inlined to prevent explosions. Also remove the caching since this is't necessary now that the main recursion is cached.

  MathiasVP

  committed
  3bdfdd0

  Copy full SHA for 3bdfdd0

• C++: Move the main recursion into to a cached module.

  MathiasVP

  committed
  404dd33

  Copy full SHA for 404dd33

• C++: Convert IRGuards to use final abstract classes.

  MathiasVP

  committed
  6f73aa5

  Copy full SHA for 6f73aa5

• Revert "Merge pull request #18057 from jketema/codeql-cli-2.19.4"

  Show description for 20dfbdc
  MathiasVP

  committed
  20dfbdc

  Copy full SHA for 20dfbdc

Commits on Dec 12, 2024

• C++: Address review comments

  jketema

  committed
  f9bfd96

  Copy full SHA for f9bfd96

• C++: Fix IR printing when multiple edges point to the same block

  jketema

  committed
  35403d4

  Copy full SHA for 35403d4

• C++: Fix AST printing for `OverloadedArrayExpr`

  jketema

  committed
  e43f7fb

  Copy full SHA for e43f7fb

Commits on Dec 10, 2024

• Merge pull request #18251 from MathiasVP/fix-uncertain-array-writes

  Show description for 0f5786e
  MathiasVP

  authored
  0f5786e

  Copy full SHA for 0f5786e

Commits on Dec 9, 2024

• Merge pull request #18136 from MathiasVP/model-active-template-library

  Show description for 1266b24
  MathiasVP

  authored
  1266b24

  Copy full SHA for 1266b24

• C++: VariableAddressInstructions with array types are not single-object types.

  MathiasVP

  committed
  9bcdfb6

  Copy full SHA for 9bcdfb6

Commits on Dec 6, 2024

• C++: Fix two bad joins that happen in 'UnboundedWrite' on #18207.

  MathiasVP

  committed
  c511532

  Copy full SHA for c511532

Commits on Dec 5, 2024

• Merge branch 'brodes/seh_flow_phase2_splitting_seh_edges' of https://github.com/microsoft/codeql into brodes/seh_flow_phase2_splitting_seh_edges

  bdrodes

  committed
  3619b01

  Copy full SHA for 3619b01

• Deleting unused predicate.

  bdrodes

  committed
  48c8697

  Copy full SHA for 48c8697

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll

  Show description for 3115833
  

  bdrodes

  and

  jketema

  authored
  3115833

  Copy full SHA for 3115833

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll

  Show description for 6cbaa73
  

  bdrodes

  and

  jketema

  authored
  6cbaa73

  Copy full SHA for 6cbaa73

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll

  Show description for 1fbd75f
  

  bdrodes

  and

  jketema

  authored
  1fbd75f

  Copy full SHA for 1fbd75f

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll

  Show description for e9ccf37
  

  bdrodes

  and

  jketema

  authored
  e9ccf37

  Copy full SHA for e9ccf37

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll

  Show description for 008d58b
  

  bdrodes

  and

  jketema

  authored
  008d58b

  Copy full SHA for 008d58b

• Update cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll

  Show description for ca6d3b0
  

  bdrodes

  and

  jketema

  authored
  ca6d3b0

  Copy full SHA for ca6d3b0

• Switching from isSeh bools to sublcassed ExceptionEdge.

  bdrodes

  committed
  57fc3fb

  Copy full SHA for 57fc3fb

• Merge remote-tracking branch 'mathiasvp/final-alias-edge-kind' into brodes/seh_flow_phase2_splitting_seh_edges

  Show description for defa869
  bdrodes

  committed
  defa869

  Copy full SHA for defa869

• C++: Expose a final alias instead of the abstract class.

  MathiasVP

  committed
  667abb1

  Copy full SHA for 667abb1

Commits on Dec 4, 2024

• Merge branch 'main' into brodes/seh_flow_phase2_splitting_seh_edges

  bdrodes

  authored
  779376e

  Copy full SHA for 779376e

• Merge branch 'brodes/seh_flow_phase1_throwing_models' into brodes/seh_flow_phase2_splitting_seh_edges

  bdrodes

  committed
  cc43bb1

  Copy full SHA for cc43bb1

• Merge branch 'main' into henrymercer/merge-back-rc-3.16

  henrymercer

  committed
  963f084

  Copy full SHA for 963f084

• Merge pull request #18014 from microsoft/brodes/seh_flow_phase1_throwing_models

  Show description for 9c4030e
  jketema

  authored
  9c4030e

  Copy full SHA for 9c4030e