Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

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

• C++: Rewrite flow test common to use inline expectation test module

  Show description for aeb6293
  jketema

  committed
  aeb6293

  Copy full SHA for aeb6293

• Add default for `hasOptionalResult`

  jketema

  committed
  3efc78e

  Copy full SHA for 3efc78e

• C++: Rewrite inline expectation test to demonstrate `MergeTests`

  jketema

  committed
  adbf66a

  Copy full SHA for adbf66a

• C++: Rewrite local flow test to use `TestSig`

  jketema

  committed
  9228e0d

  Copy full SHA for 9228e0d

• C++: Accept test changes.

  MathiasVP

  committed
  b32d55a

  Copy full SHA for b32d55a

Commits on May 22, 2023

• C++: add neq refinement test for range analysis

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  681cc4c

  Copy full SHA for 681cc4c

• C++: fix equality refinement in new range analysis

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  6a997ab

  Copy full SHA for 6a997ab

• Merge pull request #13237 from jketema/pointer-deref-fp

  Show description for e3a5805
  MathiasVP

  authored
  e3a5805

  Copy full SHA for e3a5805

• C++: Add `cpp/invalid-pointer-deref` false positives

  jketema

  committed
  3f289b1

  Copy full SHA for 3f289b1

Commits on May 19, 2023

• C++: fix cxartesian product in constant off-by-one query

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  bf07b0f

  Copy full SHA for bf07b0f

• C++: Add testcase with FP (and also fix an incorrect test annotation).

  MathiasVP

  committed
  c15ebf8

  Copy full SHA for c15ebf8

Commits on May 18, 2023

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

  Show description for 8cf25ba
  MathiasVP

  authored
  8cf25ba

  Copy full SHA for 8cf25ba

Commits on May 17, 2023

• Merge pull request #13200 from jketema/deref-subpath

  Show description for e3aecd3
  jketema

  authored
  e3aecd3

  Copy full SHA for e3aecd3

• Merge pull request #13197 from jketema/test-annotation

  Show description for e143002
  jketema

  authored
  e143002

  Copy full SHA for e143002

• C++: Update expected test results

  jketema

  committed
  014eb25

  Copy full SHA for 014eb25

• C++: Add forgotten test annotation in for `cpp/invalid-pointer-deref` test

  jketema

  committed
  b1c1513

  Copy full SHA for b1c1513