Commits

Breadcrumbs

History for

on3365ff0

User selector

All users

All time

Commit History

Commits on Jun 22, 2023

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

Commits on May 24, 2023

• Merge branch 'main' into rdmarsh2/cpp/improve-constant-off-by-one

  MathiasVP

  committed
  ebc1d5f

  Copy full SHA for ebc1d5f

• Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement

  

  Robert Marsh

  authored
  7404bd9

  Copy full SHA for 7404bd9

• Merge pull request #13269 from jketema/inline-module

  Show description for fca5fb6
  MathiasVP

  authored
  fca5fb6

  Copy full SHA for fca5fb6

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

  jketema

  committed
  9a467f9

  Copy full SHA for 9a467f9

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

  jketema

  committed
  af378df

  Copy full SHA for af378df

• C++: Rewrite inline expectation tests to use the parameterized module

  jketema

  committed
  2276890

  Copy full SHA for 2276890

Commits on May 23, 2023

• C++: Promote 'cpp/overrun-write' out of experimental.

  MathiasVP

  committed
  0dfc9b9

  Copy full SHA for 0dfc9b9

• C++: add test comments

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  86ab960

  Copy full SHA for 86ab960

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

  Show description for 8daa8d7
  MathiasVP

  authored
  8daa8d7

  Copy full SHA for 8daa8d7