Commits

Breadcrumbs

History for

on67e3ef7

User selector

All users

All time

Commit History

Commits on Jun 30, 2023

• C++: Revert the barrier added in #13623.

  MathiasVP

  committed
  67e3ef7

  Copy full SHA for 67e3ef7

Commits on Jun 29, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  9791640

  Copy full SHA for 9791640

• C++: Use the pruning stage in the product-flow configuration.

  MathiasVP

  committed
  59d9c6e

  Copy full SHA for 59d9c6e

• Merge pull request #13617 from jketema/pointer-deref-barrier-fps

  Show description for f8b1dc9
  jketema

  authored
  f8b1dc9

  Copy full SHA for f8b1dc9

• Merge pull request #13598 from MathiasVP/add-constant-size-array-fp

  Show description for e428502
  

  Robert Marsh

  authored
  e428502

  Copy full SHA for e428502

• C++: Add more `cpp/invalid-pointer-deref` FP test cases

  jketema

  committed
  2c8d472

  Copy full SHA for 2c8d472

Commits on Jun 28, 2023

• C++: Fix test annotation for `cpp/invalid-pointer-deref` test

  jketema

  committed
  527b908

  Copy full SHA for 527b908

• Merge pull request #13591 from jketema/pointer-deref-barrier

  Show description for 43a8119
  jketema

  authored
  43a8119

  Copy full SHA for 43a8119

• Merge pull request #13596 from MathiasVP/fix-join-in-argumentnode

  Show description for 34abab0
  MathiasVP

  authored
  34abab0

  Copy full SHA for 34abab0

• C++: Add barrier to `InvalidPointerToDerefConfig` in `cpp/invalid-pointer-deref`

  jketema

  committed
  14609a9

  Copy full SHA for 14609a9

• C++: Add 'cpp/constant-array-overflow' FP.

  MathiasVP

  committed
  ae09882

  Copy full SHA for ae09882

• C++: Fix join in 'argumentOf'.

  Show description for 78f2fe8
  MathiasVP

  committed
  78f2fe8

  Copy full SHA for 78f2fe8

• Merge pull request #13117 from rdmarsh2/rdmarsh2/cpp/cobo-handle-array-casts

  Show description for 2c99009
  MathiasVP

  authored
  2c99009

  Copy full SHA for 2c99009

Commits on Jun 27, 2023

• C++: fix irreducible control flow logic

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  e90153f

  Copy full SHA for e90153f

• 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

• C++: Add Geoffrey's testcases.

  MathiasVP

  committed
  51176bd

  Copy full SHA for 51176bd

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

  jketema

  committed
  b1ae3a0

  Copy full SHA for b1ae3a0

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

  MathiasVP

  committed
  f2cbbab

  Copy full SHA for f2cbbab

• 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