Commits

Breadcrumbs

History for

on60c0226

User selector

All users

All time

Commit History

Commits on Jul 5, 2023

• Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/constant-size/test.cpp

  Show description for 60c0226
  

  MathiasVP

  and

  calumgrant

  authored
  60c0226

  Copy full SHA for 60c0226

Commits on Jul 3, 2023

• C++: more constant-array-overflow tests

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  1c2c48c

  Copy full SHA for 1c2c48c

Commits on Jun 27, 2023

• Merge pull request #13574 from kaspersv/kaspersv/cpp-remaining-implicit-this

  Show description for 656b4fc
  kaspersv

  authored
  656b4fc

  Copy full SHA for 656b4fc

• CPP: Enable implicit this warnings for remaining packs

  kaspersv

  committed
  d197919

  Copy full SHA for d197919

• Merge remote-tracking branch 'upstream/main' into clears-content

  jketema

  committed
  b1ae3a0

  Copy full SHA for b1ae3a0

• Merge pull request #13559 from MathiasVP/add-barrier-to-invalid-deref-query

  Show description for 985650c
  MathiasVP

  authored
  985650c

  Copy full SHA for 985650c

• C++: Fix join-order problem in `clearsContent`

  jketema

  committed
  2628552

  Copy full SHA for 2628552

• Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge

  Show description for 06bc460
  MathiasVP

  authored
  06bc460

  Copy full SHA for 06bc460

Commits on Jun 26, 2023

• C++: fix comment formatting

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  dcb3494

  Copy full SHA for dcb3494

• C++: improve irreducible back edge detection

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  aff4066

  Copy full SHA for aff4066

• Merge pull request #13116 from rdmarsh2/rdmarsh2/cpp/cobo-array-vars

  Show description for 757f40c
  

  Robert Marsh

  authored
  757f40c

  Copy full SHA for 757f40c

• C++: Prune the set of interesting pointer-arithmetic instructions by another flow.

  MathiasVP

  committed
  ef383a1

  Copy full SHA for ef383a1

• C++: Replace `not exists` by `forex` in `clearsContent`

  jketema

  committed
  54632cd

  Copy full SHA for 54632cd

• Apply suggestions from code review

  Show description for 527b537
  

  jketema

  and

  MathiasVP

  authored
  527b537

  Copy full SHA for 527b537

• C++: Use 'arrayTypeCand' in 'isSourceImpl' instead of checking for array size explicitly.

  MathiasVP

  committed
  d68b060

  Copy full SHA for d68b060

• C++: Fix Code Scanning errors.

  MathiasVP

  committed
  3b4f2b2

  Copy full SHA for 3b4f2b2

• C++: Fix joins.

  MathiasVP

  committed
  b87bf46

  Copy full SHA for b87bf46

• C++: Fix QLDoc issues

  jketema

  committed
  c7e5dc2

  Copy full SHA for c7e5dc2

• C++: Implement `clearsContent` for IR dataflow

  jketema

  committed
  458522a

  Copy full SHA for 458522a

Commits on Jun 24, 2023

• C++: Speed up analysis on 'Samate' by avoiding the 'Variable' column in the dataflow stages of the query.

  MathiasVP

  committed
  e32f7d8

  Copy full SHA for e32f7d8

• C++: Fix Code Scanning error.

  MathiasVP

  committed
  e0f5c58

  Copy full SHA for e0f5c58

• C++: Accept test changes.

  MathiasVP

  committed
  c1077fe

  Copy full SHA for c1077fe

• C++: Add a barrier to the 'cpp/invalid-pointer-deref' query.

  MathiasVP

  committed
  9d5b8cf

  Copy full SHA for 9d5b8cf

• C++: Add more test cases to 'cpp/invalid-pointer-deref'.

  MathiasVP

  committed
  fba753c

  Copy full SHA for fba753c

Commits on Jun 23, 2023

• Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators

  Show description for 69ee615
  

  Robert Marsh

  authored
  69ee615

  Copy full SHA for 69ee615

• Merge branch 'main' into rdmarsh2/cpp/cobo-array-vars

  MathiasVP

  committed
  600c60a

  Copy full SHA for 600c60a

Commits on Jun 22, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  79fb6a6

  Copy full SHA for 79fb6a6

• C++: Allow self-flow through indirect parameters.

  MathiasVP

  committed
  0839c1a

  Copy full SHA for 0839c1a

• C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.

  MathiasVP

  committed
  da54751

  Copy full SHA for da54751

• C++: Fix strncpy model.

  MathiasVP

  committed
  fe97572

  Copy full SHA for fe97572

• C++: Add testcase demonstrating that the model for 'strncpy' is broken.

  MathiasVP

  committed
  273e5bc

  Copy full SHA for 273e5bc

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

  Show description for ff3c76c
  

  MathiasVP

  and

  jketema

  committed
  ff3c76c

  Copy full SHA for ff3c76c

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

  Show description for 4f1b2c6
  

  MathiasVP

  and

  jketema

  committed
  4f1b2c6

  Copy full SHA for 4f1b2c6

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

  Show description for a8a04c8
  

  MathiasVP

  and

  jketema

  committed
  a8a04c8

  Copy full SHA for a8a04c8

• C++: Add QLDoc to 'hasAddressOperandAndIndirectionIndex'.

  MathiasVP

  committed
  6528985

  Copy full SHA for 6528985