Commits

Breadcrumbs

History for

on9033670

User selector

All users

All time

Commit History

Commits on Jun 29, 2023

• C++: Accept test changes after merge.

  MathiasVP

  committed
  9033670

  Copy full SHA for 9033670

• Merge branch 'main' into implement-is-unreachable-in-call-2

  MathiasVP

  committed
  e4126ae

  Copy full SHA for e4126ae

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

  Show description for e428502
  

  Robert Marsh

  authored
  e428502

  Copy full SHA for e428502

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

• C++: Accept test changes.

  MathiasVP

  committed
  655f1fe

  Copy full SHA for 655f1fe

• C++: Add tests with FPs that need call contexts.

  MathiasVP

  committed
  25be9d4

  Copy full SHA for 25be9d4

• 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

• 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

• 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

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

  Show description for 757f40c
  

  Robert Marsh

  authored
  757f40c

  Copy full SHA for 757f40c

• Apply suggestions from code review

  Show description for 527b537
  

  jketema

  and

  MathiasVP

  authored
  527b537

  Copy full SHA for 527b537

• 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++: Accept test changes.

  MathiasVP

  committed
  c1077fe

  Copy full SHA for c1077fe

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

• C++: Add another testcase with conflation.

  MathiasVP

  committed
  c7cff37

  Copy full SHA for c7cff37

• C++: Accept test changes.

  MathiasVP

  committed
  6543da9

  Copy full SHA for 6543da9

• C++: Add failing test.

  MathiasVP

  committed
  5816f17

  Copy full SHA for 5816f17

Commits on Jun 21, 2023

• C++: fix range analysis back edge detection for irreducible CFGs

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  ba7cb8f

  Copy full SHA for ba7cb8f

Commits on Jun 20, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  2b0282c

  Copy full SHA for 2b0282c