Commits

Breadcrumbs

History for

onc7e5dc2

User selector

All users

All time

Commit History

Commits on Jun 26, 2023

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

  jketema

  committed
  458522a

  Copy full SHA for 458522a

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

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 20, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  2b0282c

  Copy full SHA for 2b0282c

• C++: add a test for self-valued iterators

  

  Robert Marsh

  authored and

  MathiasVP

  committed
  971456c

  Copy full SHA for 971456c

Commits on Jun 16, 2023

• C++: Add `cpp/invalid-pointer-def` FP test case

  jketema

  committed
  9ff5754

  Copy full SHA for 9ff5754

• C++: Add more `cpp/invalid-pointer-deref` FPs

  jketema

  committed
  0e68767

  Copy full SHA for 0e68767

Commits on Jun 15, 2023

• C++: Add FP test case for `cpp/invalid-pointer-deref`

  jketema

  committed
  8fb3d83

  Copy full SHA for 8fb3d83

Commits on Jun 9, 2023

• Merge pull request #13406 from MathiasVP/fix-++-problem

  Show description for 74ed9f5
  MathiasVP

  authored
  74ed9f5

  Copy full SHA for 74ed9f5

Commits on Jun 8, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  a357eee

  Copy full SHA for a357eee

• C++: Add a testcase that started to fail in #13326.

  MathiasVP

  committed
  57ae1e9

  Copy full SHA for 57ae1e9

• delete old deprecations

  erik-krogh

  committed
  a4ef861

  Copy full SHA for a4ef861

Commits on Jun 5, 2023

• Merge pull request #13374 from jketema/ptr-deref-min

  Show description for 272ced6
  jketema

  authored
  272ced6

  Copy full SHA for 272ced6

• Merge pull request #13355 from jketema/ptr-deref-forward

  Show description for 93215ba
  jketema

  authored
  93215ba

  Copy full SHA for 93215ba

• C++: Remove `cpp/invalid-pointer-deref` results duplicating ones with smaller `k`

  jketema

  committed
  4a27028

  Copy full SHA for 4a27028

• C++: Add `cpp/invalid-pointer-deref` test case with almost duplicated results

  jketema

  committed
  90f0209

  Copy full SHA for 90f0209

• C++: Update expected test results

  jketema

  committed
  7f7b048

  Copy full SHA for 7f7b048

• Merge pull request #12036 from nmouha/patch-1

  Show description for 52fb00c
  MathiasVP

  authored
  52fb00c

  Copy full SHA for 52fb00c

Commits on Jun 2, 2023

• C++: Ensure that the sink instruction occurs last in `cpp/invalid-pointer-deref`

  Show description for ac4933a
  jketema

  committed
  ac4933a

  Copy full SHA for ac4933a

Commits on May 31, 2023

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

  jketema

  committed
  ace7b6b

  Copy full SHA for ace7b6b

Commits on May 30, 2023

• C++: Add nodes query predicate to `cpp/invalid-pointer-deref`

  jketema

  committed
  dd30acf

  Copy full SHA for dd30acf

• C++: Take into account the delta at the final sink in `cpp/invalid-pointer-deref`

  jketema

  committed
  f5ed02a

  Copy full SHA for f5ed02a

• C++: Add `cpp/invalid-pointer-deref` test case that shows some duplicate results

  jketema

  committed
  de974cc

  Copy full SHA for de974cc

• Merge pull request #13294 from MathiasVP/better-test-for-range-analysis

  Show description for 16bc584
  jketema

  authored
  16bc584

  Copy full SHA for 16bc584

Commits on May 26, 2023

• C++: Change separator from ':' to '|'.

  MathiasVP

  committed
  9828af4

  Copy full SHA for 9828af4

• Merge pull request #13045 from rdmarsh2/rdmarsh2/cpp/improve-constant-off-by-one

  Show description for b2fb2aa
  

  Robert Marsh

  authored
  b2fb2aa

  Copy full SHA for b2fb2aa

• Merge pull request #13267 from MathiasVP/promote-overrun-write

  Show description for 6365739
  jketema

  authored
  6365739

  Copy full SHA for 6365739

Commits on May 25, 2023

• C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.

  MathiasVP

  committed
  0d1d20c

  Copy full SHA for 0d1d20c

• C++: Also add an out barrier on all sinks.

  MathiasVP

  committed
  c3fdc83

  Copy full SHA for c3fdc83