Commits

Breadcrumbs

History for

onadbf66a

User selector

All users

All time

Commit History

Commits on May 23, 2023

• C++: Rewrite inline expectation test to demonstrate `MergeTests`

  jketema

  committed
  adbf66a

  Copy full SHA for adbf66a

• C++: Rewrite local flow test to use `TestSig`

  jketema

  committed
  9228e0d

  Copy full SHA for 9228e0d

Commits on May 22, 2023

• Merge pull request #13234 from jketema/std-inline

  Show description for a319fc0
  jketema

  authored
  a319fc0

  Copy full SHA for a319fc0

• C++: Add change note

  jketema

  committed
  f31ab3a

  Copy full SHA for f31ab3a

• Merge pull request #13237 from jketema/pointer-deref-fp

  Show description for e3a5805
  MathiasVP

  authored
  e3a5805

  Copy full SHA for e3a5805

• C++: Add `cpp/invalid-pointer-deref` false positives

  jketema

  committed
  3f289b1

  Copy full SHA for 3f289b1

• C++: Include inline namespaces in `StdNamespace`

  jketema

  committed
  f46183d

  Copy full SHA for f46183d

Commits on May 19, 2023

• C++: Add testcase with FP (and also fix an incorrect test annotation).

  MathiasVP

  committed
  c15ebf8

  Copy full SHA for c15ebf8

Commits on May 18, 2023

• C++: Reduce code-duplication in 'cpp/overrun-write'.

  MathiasVP

  committed
  a77c624

  Copy full SHA for a77c624

• Merge pull request #13191 from MathiasVP/fix-pointer-pointee-conflation

  Show description for 8cf25ba
  MathiasVP

  authored
  8cf25ba

  Copy full SHA for 8cf25ba

• Merge pull request #13215 from MathiasVP/update-qldoc-on-typemention

  Show description for 2e73475
  MathiasVP

  authored
  2e73475

  Copy full SHA for 2e73475

• Update cpp/ql/lib/semmle/code/cpp/Type.qll

  MathiasVP

  authored
  a475efb

  Copy full SHA for a475efb

• C++: Update documentation for 'TypeMention'.

  MathiasVP

  committed
  f3b6b47

  Copy full SHA for f3b6b47

Commits on May 17, 2023

• Merge branch 'main' into deref-size

  jketema

  authored
  d1efffe

  Copy full SHA for d1efffe

• Merge pull request #13200 from jketema/deref-subpath

  Show description for e3aecd3
  jketema

  authored
  e3aecd3

  Copy full SHA for e3aecd3

• Merge pull request #13139 from MathiasVP/faster-product-flow

  Show description for 06d5a7f
  MathiasVP

  authored
  06d5a7f

  Copy full SHA for 06d5a7f

• Merge pull request #13199 from jketema/private-prod-flow

  Show description for 8ad1159
  jketema

  authored
  8ad1159

  Copy full SHA for 8ad1159

• Merge pull request #13197 from jketema/test-annotation

  Show description for e143002
  jketema

  authored
  e143002

  Copy full SHA for e143002

• C++: Update expected test results

  jketema

  committed
  014eb25

  Copy full SHA for 014eb25

• C++: Use range analysis-based `hasSize` predicate in `cpp/invalid-pointer-deref`

  Show description for b83aaf9
  jketema

  committed
  b83aaf9

  Copy full SHA for b83aaf9

• C++: Implement the `subpaths` query predicate for `cpp/invalid-pointer-deref`

  jketema

  committed
  31ae513

  Copy full SHA for 31ae513

• C++: Add forgotten `private` specifiers in product flow

  jketema

  committed
  883ec7a

  Copy full SHA for 883ec7a

• C++: Add forgotten test annotation in for `cpp/invalid-pointer-deref` test

  jketema

  committed
  b1c1513

  Copy full SHA for b1c1513

Commits on May 16, 2023

• C++: Accept query test changes.

  MathiasVP

  committed
  402212b

  Copy full SHA for 402212b

• Merge branch 'main' into precompute-states-in-overrun-write

  MathiasVP

  committed
  a5632a2

  Copy full SHA for a5632a2

• C++: Accept test changes.

  MathiasVP

  committed
  c93a051

  Copy full SHA for c93a051

• C++: Fix looping flow that goes from the output argument node and back into the function argument.

  MathiasVP

  committed
  150d4f3

  Copy full SHA for 150d4f3

• C++: Introduce 'indirect_sink' in dataflow tests.

  MathiasVP

  committed
  35e91ba

  Copy full SHA for 35e91ba

• C++: Add example with conflation in dataflow.

  MathiasVP

  committed
  c450328

  Copy full SHA for c450328

• Merge pull request #13149 from MathiasVP/barrier-out-on-phi-back-edges

  Show description for e8423f8
  jketema

  authored
  e8423f8

  Copy full SHA for e8423f8

Commits on May 15, 2023

• C++: Fix Code Scanning error.

  MathiasVP

  committed
  650e9e1

  Copy full SHA for 650e9e1

• C++: Share more code between 'ValidState' and 'StringSizeConfig'.

  MathiasVP

  committed
  f1c124a

  Copy full SHA for f1c124a

• C++: Make comment more clear.

  MathiasVP

  committed
  f31709f

  Copy full SHA for f31709f

• C++: Add more comments.

  MathiasVP

  committed
  a7712b6

  Copy full SHA for a7712b6

Commits on May 12, 2023

• C++: Tweak join orders.

  MathiasVP

  committed
  e1cc7dc

  Copy full SHA for e1cc7dc