Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Feb 20, 2026

• C++: Fix typo

  Show description for 8eed18a
  

  paldepind

  and

  jketema

  authored
  8eed18a

  Copy full SHA for 8eed18a

• C++: Improve clarity in comment

  Show description for fdbd49a
  

  paldepind

  and

  MathiasVP

  authored
  fdbd49a

  Copy full SHA for fdbd49a

Commits on Feb 16, 2026

• C++: Divide nr of bounds between branches for phi nodes

  paldepind

  committed
  d0681c6

  Copy full SHA for d0681c6

• C++: Include the actual number of lower/upper bounds for added context in expected files

  paldepind

  committed
  032c7ea

  Copy full SHA for 032c7ea

• Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll

  Show description for 84be851
  

  MathiasVP

  and

  Copilot

  authored
  84be851

  Copy full SHA for 84be851

Commits on Feb 12, 2026

• C++: Lower the treshold for max number of bounds to 2^29.

  MathiasVP

  committed
  2dc91a5

  Copy full SHA for 2dc91a5

• C++: Also compute type bounds for accesses of an enum type.

  MathiasVP

  committed
  a4dd4f9

  Copy full SHA for a4dd4f9

Commits on Jan 9, 2026

• C++: Improve bounds from inequalities on integers

  paldepind

  committed
  3a13588

  Copy full SHA for 3a13588

Commits on Jan 7, 2026

• C++: Remove `safeFloor` in simple range analysis

  paldepind

  committed
  f5ddb1d

  Copy full SHA for f5ddb1d

Commits on Nov 14, 2025

• C++: Fix typo

  Show description for 792ac7a
  

  paldepind

  and

  Copilot

  authored
  792ac7a

  Copy full SHA for 792ac7a

• C++: Make sure that nrOfBoundsNEPhi is functional

  paldepind

  committed
  5da73f3

  Copy full SHA for 5da73f3

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

  Show description for 69e70d7
  paldepind

  committed
  69e70d7

  Copy full SHA for 69e70d7

Commits on Nov 7, 2025

• 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 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

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 Sep 18, 2025

• C++: Do not use the deprecated predicate in queries.

  MathiasVP

  committed
  d8f34db

  Copy full SHA for d8f34db

Commits on Sep 3, 2025

• C++: Fix some Ql4Ql violations.

  michaelnebel

  committed
  83d53ba

  Copy full SHA for 83d53ba

Commits on Jun 27, 2025

• C++: Merge the location tables

  jketema

  committed
  b4caba7

  Copy full SHA for b4caba7

Commits on May 23, 2025

• Rangeanalysis: Simplify Guards integration.

  aschackmull

  committed
  6200031

  Copy full SHA for 6200031

Commits on May 21, 2025

• Java: Deprecate redundant basic block predicates.

  aschackmull

  committed
  db01828

  Copy full SHA for db01828

Commits on May 13, 2025

• C++: Filter out instructions with incomplete SSA in range analysis.

  MathiasVP

  committed
  9d2eb3d

  Copy full SHA for 9d2eb3d

Commits on Jan 14, 2025

• Merge pull request #18461 from paldepind/cpp-conditional-expr-range-analysis

  Show description for 7196892
  paldepind

  authored
  7196892

  Copy full SHA for 7196892

• C++: QLDoc correction.

  geoffw0

  committed
  9600846

  Copy full SHA for 9600846

Commits on Jan 13, 2025

• C++: Minor refactor and documentation tweak to simple range analysis

  paldepind

  committed
  dcdc439

  Copy full SHA for dcdc439

• C++: Only propagate smallest/largest bound in conditional expressions

  paldepind

  committed
  0c9ee4d

  Copy full SHA for 0c9ee4d

Commits on Jan 8, 2025

• Merge branch 'main' into shared/locations-in-range-analysis

  yoff

  authored
  21e7a0e

  Copy full SHA for 21e7a0e