Commits

Breadcrumbs

History for

on90d2999

User selector

All users

All time

Commit History

Commits on Aug 13, 2025

• C++: Remove code that is now subsumed.

  MathiasVP

  committed
  9ee313f

  Copy full SHA for 9ee313f

• C++: Drive-by: Add forgotten disjuncts involving '__builtin_expect'.

  MathiasVP

  committed
  bf4a84b

  Copy full SHA for bf4a84b

• C++: Skip non-Boolean instructions in the new inference step.

  MathiasVP

  committed
  e6cd27a

  Copy full SHA for e6cd27a

• C++: Add another inference step.

  MathiasVP

  committed
  e67b6d6

  Copy full SHA for e67b6d6

Commits on Aug 11, 2025

• Merge pull request #20126 from MathiasVP/fix-missing-global-flow

  Show description for f9f99a0
  jketema

  authored
  f9f99a0

  Copy full SHA for f9f99a0

• Merge pull request #20193 from MathiasVP/fix-fp-in-overflow-buffer

  Show description for 851cb04
  MathiasVP

  authored
  851cb04

  Copy full SHA for 851cb04

• Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts

  Show description for ccfcd90
  MathiasVP

  authored
  ccfcd90

  Copy full SHA for ccfcd90

• Merge pull request #20145 from MathiasVP/fix-type-error-in-ir

  Show description for 56aacb1
  MathiasVP

  authored
  56aacb1

  Copy full SHA for 56aacb1

Commits on Aug 8, 2025

• C++: Also handle reference types when computing 'trueSize'.

  MathiasVP

  committed
  d76ce4f

  Copy full SHA for d76ce4f

Commits on Aug 3, 2025

• C++: Sync identical files.

  MathiasVP

  committed
  c726285

  Copy full SHA for c726285

• C++: Specifier-only converting instructions preserve GVNs.

  MathiasVP

  committed
  0d9e298

  Copy full SHA for 0d9e298

Commits on Aug 2, 2025

• C++: Fix missing flow by also generating final global uses for functions that have a post-update node for the global variable.

  MathiasVP

  committed
  73e4bfd

  Copy full SHA for 73e4bfd

Commits on Aug 1, 2025

• C++: Fix type errors in C code.

  MathiasVP

  committed
  7561190

  Copy full SHA for 7561190

• C++: Fix QLDoc.

  MathiasVP

  committed
  0e9286d

  Copy full SHA for 0e9286d

• C++: Modify the API to not expose dataflow nodes.

  MathiasVP

  committed
  b70836e

  Copy full SHA for b70836e

• C++: Stick the exposed SSA classes into a public SSA module.

  MathiasVP

  committed
  33d0598

  Copy full SHA for 33d0598

• C++: Drive-by fix: These files imported both the public dataflow files and the internal ones. Let's only import the internal ones.

  MathiasVP

  committed
  32e6d09

  Copy full SHA for 32e6d09

• C++: Fix imports.

  MathiasVP

  committed
  7ede3aa

  Copy full SHA for 7ede3aa

• C++: Rename SsaInternals to SsaImpl and SsaInternalsCommon to SsaImplCommon.

  MathiasVP

  committed
  0d91622

  Copy full SHA for 0d91622

Commits on Jul 31, 2025

• C++: Add a comment on the old SSA library.

  MathiasVP

  committed
  c8f4b28

  Copy full SHA for c8f4b28

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

  Show description for 8691075
  

  MathiasVP

  and

  Copilot

  authored
  8691075

  Copy full SHA for 8691075

• C++: Expose SSA definitions from dataflow.

  MathiasVP

  committed
  5a91aa2

  Copy full SHA for 5a91aa2

• C++: Drive-by fix suggested by Schack. This now matches the predicate in C#.

  MathiasVP

  committed
  1dae787

  Copy full SHA for 1dae787

Commits on Jul 28, 2025

• SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

  aschackmull

  committed
  3b8234e

  Copy full SHA for 3b8234e

Commits on Jul 23, 2025

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

  Show description for 3a977b8
  

  MathiasVP

  and

  IdrissRio

  authored
  3a977b8

  Copy full SHA for 3a977b8

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

  Show description for 5d6c4a6
  

  MathiasVP

  and

  Copilot

  authored
  5d6c4a6

  Copy full SHA for 5d6c4a6

Commits on Jul 22, 2025

• C++: Extract the barriers from 'cpp/invalid-pointer-deref' into a library.

  MathiasVP

  committed
  a1f4246

  Copy full SHA for a1f4246

Commits on Jul 16, 2025

• C++: Fix instruction class name

  jketema

  committed
  29a6af4

  Copy full SHA for 29a6af4

• C++: Support the spaceship operator in the IR

  jketema

  committed
  f319381

  Copy full SHA for f319381

• C++: No need for 'resolveCall' anymore.

  MathiasVP

  committed
  8b953e4

  Copy full SHA for 8b953e4

• C++: Don't summarize calls through function pointers in FunctionWithWrappers.

  MathiasVP

  committed
  ca913b4

  Copy full SHA for ca913b4

Commits on Jul 15, 2025

• C++: Address review comments

  jketema

  committed
  5297121

  Copy full SHA for 5297121

• C++: Introduce `TypeidInstruction` base class

  jketema

  committed
  a08d594

  Copy full SHA for a08d594

• C++: Fix typo in comment

  jketema

  committed
  54f11ca

  Copy full SHA for 54f11ca

• C++: Fix typeid IR translation

  jketema

  committed
  70bff4e

  Copy full SHA for 70bff4e