Commits

Breadcrumbs

History for

on267a7f5

User selector

All users

All time

Commit History

Commits on Nov 10, 2025

• Merge pull request #20779 from MathiasVP/fix-bad-magic

  Show description for 267a7f5
  MathiasVP

  authored
  267a7f5

  Copy full SHA for 267a7f5

• Merge pull request #20784 from jketema/qual-fail

  Show description for eb3e864
  jketema

  authored
  eb3e864

  Copy full SHA for eb3e864

• C++: Give proper `getName`s to more types and fix QLdoc

  jketema

  committed
  f9554e1

  Copy full SHA for f9554e1

Commits on Nov 8, 2025

• Merge pull request #20769 from MathiasVP/add-more-flow-models

  Show description for 74b774e
  MathiasVP

  authored
  74b774e

  Copy full SHA for 74b774e

Commits on Nov 7, 2025

• C++: Fix bad magic.

  MathiasVP

  committed
  6a2debb

  Copy full SHA for 6a2debb

• C++: Fix mistakes in models of internal strcat and strcpy functions.

  MathiasVP

  committed
  56b9566

  Copy full SHA for 56b9566

• C++: Clean up comments.

  MathiasVP

  committed
  f163d01

  Copy full SHA for f163d01

• Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"

  Show description for e7c029a
  esteffin

  committed
  e7c029a

  Copy full SHA for e7c029a

Commits on Nov 6, 2025

• C++: Add a few more models I noticed while here.

  MathiasVP

  committed
  f0da0d9

  Copy full SHA for f0da0d9

Commits on Oct 24, 2025

• C++: Make small trivial tweaks

  paldepind

  committed
  d1ea1af

  Copy full SHA for d1ea1af

• C++: Simplify boundFromGuard

  Show description for 5709964
  paldepind

  committed
  5709964

  Copy full SHA for 5709964

• C++: Use `or` instead of `if`

  Show description for 383e6a4
  paldepind

  committed
  383e6a4

  Copy full SHA for 383e6a4

• C++: Add toString for RelationStrictness

  Show description for 17e0dec
  paldepind

  committed
  17e0dec

  Copy full SHA for 17e0dec

• Merge pull request #20645 from paldepind/cpp/range-analysis-measure

  Show description for a0a6f28
  paldepind

  authored
  a0a6f28

  Copy full SHA for a0a6f28

Commits on Oct 23, 2025

• Guards: Align the SSA signature with the one from shared SSA.

  aschackmull

  committed
  f257c7a

  Copy full SHA for f257c7a

Commits on Oct 21, 2025

• C++: Address review comments

  paldepind

  committed
  0badcfd

  Copy full SHA for 0badcfd

Commits on Oct 17, 2025

• C++: Apply suggested fixes from review

  paldepind

  committed
  979b05c

  Copy full SHA for 979b05c

Commits on Oct 16, 2025

• C++: Add debug predicates

  paldepind

  committed
  9502d83

  Copy full SHA for 9502d83

• C++: Handle guard phi nodes differently

  paldepind

  committed
  c1f0f3d

  Copy full SHA for c1f0f3d

• C++: Add number of bounds test to simple range analysis

  paldepind

  committed
  8896a72

  Copy full SHA for 8896a72

• C++: Apply widening based on number of bounds measure

  paldepind

  committed
  7eacd87

  Copy full SHA for 7eacd87

Commits on Oct 15, 2025

• C++: Factor out widening of bounds

  paldepind

  committed
  8aaf9f6

  Copy full SHA for 8aaf9f6

Commits on Oct 2, 2025

• C++: Fix bad magic on `Element.getFile` when running on InconsistentCheckReturnNull.qll:

  Show description for bc0b876
  MathiasVP

  committed
  bc0b876

  Copy full SHA for bc0b876

Commits on Oct 1, 2025

• Merge branch 'main' into use-shared-guards-library

  MathiasVP

  committed
  b0e9238

  Copy full SHA for b0e9238

Commits on Sep 30, 2025

• C++: Update QLDoc.

  MathiasVP

  committed
  ca53a8e

  Copy full SHA for ca53a8e

• Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

  Show description for 1b2bd30
  

  MathiasVP

  and

  aschackmull

  authored
  1b2bd30

  Copy full SHA for 1b2bd30

Commits on Sep 25, 2025

• C++: Delete incorrect comment and add a bunch of barrier guard tests.

  MathiasVP

  committed
  c1c1f60

  Copy full SHA for c1c1f60

• C++: Add more comments to describe the constant expression hack.

  MathiasVP

  committed
  04ce405

  Copy full SHA for 04ce405

• C++: Fix fan-out.

  MathiasVP

  committed
  5b5c1de

  Copy full SHA for 5b5c1de

• C++: Fully delete TRange.

  MathiasVP

  committed
  b169ccf

  Copy full SHA for b169ccf

Commits on Sep 24, 2025

• C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.

  MathiasVP

  committed
  a07d03f

  Copy full SHA for a07d03f

• C++: Get rid of the case range constant value with and instead implement 'rangeGuard'.

  MathiasVP

  committed
  d15e388

  Copy full SHA for d15e388

• C++: Rename in the name of consistency.

  MathiasVP

  committed
  d10d5fd

  Copy full SHA for d10d5fd

• C++: Add a comment to the 'ConditionalBranchInstruction' case in 'additionalImpliesStep.

  MathiasVP

  committed
  99e1a07

  Copy full SHA for 99e1a07

• C++: Remove superfluous inference logic.

  MathiasVP

  committed
  2b47ac8

  Copy full SHA for 2b47ac8