Commits

Breadcrumbs

History for

on8a49077

User selector

All users

All time

Commit History

Commits on Aug 9, 2023

• Merge branch 'main' into fix-barriers-in-invalid-pointer-deref

  MathiasVP

  committed
  8a49077

  Copy full SHA for 8a49077

• C++: Also key SSA defs and uses by the base address.

  MathiasVP

  committed
  499b6f3

  Copy full SHA for 499b6f3

• C++: Generate SSA variables for all calls instead of just for calls to

  Show description for e2feed7
  MathiasVP

  committed
  e2feed7

  Copy full SHA for e2feed7

Commits on Aug 8, 2023

• C++: `indirectReturnOutNodeOperand0` and `indirectReturnOutNodeInstruction0`

  Show description for f4f5d43
  MathiasVP

  committed
  f4f5d43

  Copy full SHA for f4f5d43

Commits on Aug 7, 2023

• Merge pull request #13907 from MathiasVP/cleanup-ssa-internals

  Show description for eeaa361
  

  Robert Marsh

  authored
  eeaa361

  Copy full SHA for eeaa361

• C++: Fix QLDoc.

  MathiasVP

  committed
  60f2e8a

  Copy full SHA for 60f2e8a

• C++: Add more QLDoc.

  MathiasVP

  committed
  f2f4e1f

  Copy full SHA for f2f4e1f

• Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis

  Show description for e9750af
  MathiasVP

  authored
  e9750af

  Copy full SHA for e9750af

• C++: Unify the two branches.

  MathiasVP

  committed
  291f1a1

  Copy full SHA for 291f1a1

• Merge pull request #13887 from jketema/float128x

  Show description for 467231e
  MathiasVP

  authored
  467231e

  Copy full SHA for 467231e

• C++: Fix typo in change note

  jketema

  committed
  073d170

  Copy full SHA for 073d170

• C++: Add change note

  jketema

  committed
  e795e1c

  Copy full SHA for e795e1c

• C++: Make the branches more identical.

  MathiasVP

  committed
  6e6e118

  Copy full SHA for 6e6e118

• C++: Adjust to data flow refactor

  hvitved

  committed
  7ef3adc

  Copy full SHA for 7ef3adc

Commits on Aug 6, 2023

• C++: Fix QLDoc.

  MathiasVP

  committed
  33e991b

  Copy full SHA for 33e991b

Commits on Aug 5, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  af07efe

  Copy full SHA for af07efe

• C++: Fix barriers in 'AllocationToInvalidPointer.qll'.

  MathiasVP

  committed
  f0a1742

  Copy full SHA for f0a1742

• C++: Make 'SizeBarrier' private as promised.

  MathiasVP

  committed
  7c9d41d

  Copy full SHA for 7c9d41d

• C++: Accept test changes.

  MathiasVP

  committed
  835b5e3

  Copy full SHA for 835b5e3

• C++: Fix QLDoc.

  MathiasVP

  committed
  0f285cc

  Copy full SHA for 0f285cc

• C++: Fix barriers in 'InvalidPointerToDereference.qll'.

  MathiasVP

  committed
  c0828a4

  Copy full SHA for c0828a4

Commits on Aug 4, 2023

• C++: Update dbscheme stats file

  jketema

  committed
  daf6ecd

  Copy full SHA for daf6ecd

• Merge pull request #13851 from MathiasVP/sink-without-states

  Show description for abe3a81
  MathiasVP

  authored
  abe3a81

  Copy full SHA for abe3a81

• C++: Update dbscheme and add upgrade and downgrade scripts

  jketema

  committed
  7b3bdee

  Copy full SHA for 7b3bdee

• C++: Remove support for `_Float128x` which is not actually supported by gcc

  jketema

  committed
  ea9f49e

  Copy full SHA for ea9f49e

• C++: Accept test changes.

  MathiasVP

  committed
  2d832db

  Copy full SHA for 2d832db

• C++: Filter type-based reasons out of MCTV queries.

  MathiasVP

  committed
  9807c0b

  Copy full SHA for 9807c0b

• C++: Let 'hasConstantBound' determine a reason.

  MathiasVP

  committed
  b14db86

  Copy full SHA for b14db86

• C++: Infer a constant upper bound whenever we convert to a 'larger' upper bound (and similarly for lower bounds).

  MathiasVP

  committed
  050a563

  Copy full SHA for 050a563

• Merge pull request #13880 from MathiasVP/type-bounds-preparation

  Show description for 3e9d9e7
  MathiasVP

  authored
  3e9d9e7

  Copy full SHA for 3e9d9e7

• Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisStage.qll

  Show description for 98e670f
  

  MathiasVP

  and

  jketema

  authored
  98e670f

  Copy full SHA for 98e670f

• Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisImpl.qll

  Show description for 121d754
  

  MathiasVP

  and

  jketema

  authored
  121d754

  Copy full SHA for 121d754

• C++: Add more comments to explain the meaning of 'combineWith'.

  MathiasVP

  committed
  86dbb50

  Copy full SHA for 86dbb50

• C++: Bind 'impl'. Oops.

  MathiasVP

  committed
  75c3332

  Copy full SHA for 75c3332

• C++: Share some code by introducing a parameterized module to construct reasons.

  MathiasVP

  committed
  d398c8c

  Copy full SHA for d398c8c