Commits

Breadcrumbs

History for

ondcb3494

User selector

All users

All time

Commit History

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

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 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 #13083 from aschackmull/dataflow/typestrengthen

  Show description for 1b7bbf6
  aschackmull

  authored
  1b7bbf6

  Copy full SHA for 1b7bbf6

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

  Show description for 74ed9f5
  MathiasVP

  authored
  74ed9f5

  Copy full SHA for 74ed9f5

• Dataflow: Address review comments.

  aschackmull

  committed
  d230509

  Copy full SHA for d230509

• Dataflow: Fix QL4QL alert.

  aschackmull

  committed
  4399138

  Copy full SHA for 4399138

• Dataflow: Sync.

  aschackmull

  committed
  53f2b8a

  Copy full SHA for 53f2b8a

• Dataflow: Add empty type strengthening predicate for languages without type pruning.

  aschackmull

  committed
  fd83241

  Copy full SHA for fd83241

• Dataflow: Sync.

  aschackmull

  committed
  e8cea79

  Copy full SHA for e8cea79

Commits on Jun 8, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  a357eee

  Copy full SHA for a357eee

• C++: Ensure that postfix crement operations are handled properly in dataflow SSA.

  MathiasVP

  committed
  afb1129

  Copy full SHA for afb1129

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

  MathiasVP

  committed
  57ae1e9

  Copy full SHA for 57ae1e9

• add change-note

  erik-krogh

  committed
  39438c6

  Copy full SHA for 39438c6

• wait with deprecating Container::getURL()

  erik-krogh

  committed
  2241350

  Copy full SHA for 2241350

• delete old deprecations

  erik-krogh

  committed
  a4ef861

  Copy full SHA for a4ef861

Commits on Jun 7, 2023

• Merge pull request #13352 from erik-krogh/once-again-deps-not-py-cpp

  Show description for 6ba7f9a
  erik-krogh

  authored
  6ba7f9a

  Copy full SHA for 6ba7f9a

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++: Fix query formatting

  jketema

  committed
  86df424

  Copy full SHA for 86df424

• 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

• C++: Move location where `getASuccessor` is used to avoid join order problems

  jketema

  committed
  11182e4

  Copy full SHA for 11182e4

Commits on Jun 2, 2023

• C++: Fix join order in `cpp/invalid-pointer-deref`

  jketema

  committed
  8ac1d56

  Copy full SHA for 8ac1d56

• 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

• Merge pull request #13331 from aibaars/use-shortest-distances-to-count-indirections

  Show description for 05e5ebe
  MathiasVP

  authored
  05e5ebe

  Copy full SHA for 05e5ebe

• C++: sync files from C#

  erik-krogh

  committed
  5cbe6db

  Copy full SHA for 5cbe6db

• C++: Use the 'shortestDistances' HOP to count indirections instead of manual recursion. This avoids cyclic problems when we have invalid types.

  

  MathiasVP

  authored and

  aibaars

  committed
  cc8aac5

  Copy full SHA for cc8aac5

Commits on May 31, 2023

• Merge pull request #13333 from geoffw0/macroname

  Show description for 4497aa5
  MathiasVP

  authored
  4497aa5

  Copy full SHA for 4497aa5

• Merge pull request #13337 from MathiasVP/revert-13207

  Show description for 67cd6b7
  sashabu

  authored
  67cd6b7

  Copy full SHA for 67cd6b7