Commits

Breadcrumbs

History for

on9da7c9f

User selector

All users

All time

Commit History

Commits on May 10, 2023

• C++: Use heuristic allocation in 'cpp/overrun-write'.

  MathiasVP

  committed
  9da7c9f

  Copy full SHA for 9da7c9f

• C++: Add a testcase that needs heuristic allocation.

  MathiasVP

  committed
  023b8e4

  Copy full SHA for 023b8e4

Commits on May 5, 2023

• Merge branch 'main' into overrun-write-only-one-alert

  MathiasVP

  committed
  cad0244

  Copy full SHA for cad0244

• Merge pull request #12959 from MathiasVP/identity-consistency-check

  Show description for 09ba9a7
  MathiasVP

  authored
  09ba9a7

  Copy full SHA for 09ba9a7

Commits on May 4, 2023

• Merge pull request #12997 from MathiasVP/sync-product-flow-across-calls

  Show description for 27c4408
  MathiasVP

  authored
  27c4408

  Copy full SHA for 27c4408

• C++: Accept test changes.

  MathiasVP

  committed
  de08ada

  Copy full SHA for de08ada

• C++: Add testcase with repeated TP alerts.

  MathiasVP

  committed
  a09a8db

  Copy full SHA for a09a8db

Commits on May 3, 2023

• Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached

  Show description for 0b2f560
  jketema

  authored
  0b2f560

  Copy full SHA for 0b2f560

• C++: Accept test changes.

  MathiasVP

  committed
  2a4b176

  Copy full SHA for 2a4b176

• Merge branch 'main' into identity-consistency-check

  MathiasVP

  committed
  77001a0

  Copy full SHA for 77001a0

• C++: Accept consistency changes.

  MathiasVP

  committed
  5dc9d9a

  Copy full SHA for 5dc9d9a

• Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions

  Show description for 2af48e2
  MathiasVP

  authored
  2af48e2

  Copy full SHA for 2af48e2

• C++: Also account for setter-related flow and jump steps.

  MathiasVP

  committed
  0d6fdc6

  Copy full SHA for 0d6fdc6

Commits on May 2, 2023

• C++: Ensure that product dataflow library enters/leaves through the same call.

  MathiasVP

  committed
  7fa6894

  Copy full SHA for 7fa6894

• C++: Add testcase with FP.

  MathiasVP

  committed
  635d290

  Copy full SHA for 635d290

• Merge pull request #12966 from MathiasVP/dataflow-for-static-vars

  Show description for ab67103
  MathiasVP

  authored
  ab67103

  Copy full SHA for ab67103

• C++: fix duplicated UnreachedInstruction in raw IR

  

  Robert Marsh

  committed
  c6e0ee2

  Copy full SHA for c6e0ee2

• C++: handle calls to noreturn functions

  

  Robert Marsh

  committed
  c01ee59

  Copy full SHA for c01ee59

Commits on Apr 28, 2023

• C++: Accept consistency changes.

  MathiasVP

  committed
  a7d238f

  Copy full SHA for a7d238f

• C++: Add an API for indirect barrier guards and use it in tests.

  MathiasVP

  committed
  8c8b919

  Copy full SHA for 8c8b919

• C++: Add a test that needs indirect barrier guards.

  MathiasVP

  committed
  a6adf82

  Copy full SHA for a6adf82

• C++: Rewrite the barrier guard tests to be expression based. This is really what we expect people to write in queries.

  MathiasVP

  committed
  0f0384c

  Copy full SHA for 0f0384c

• C++: Fix inconsistencies.

  MathiasVP

  committed
  c35cb70

  Copy full SHA for c35cb70

• C++: Accept query changes.

  MathiasVP

  committed
  fd2f025

  Copy full SHA for fd2f025

• C++: Accept test changes.

  MathiasVP

  committed
  24d1cac

  Copy full SHA for 24d1cac

• C++: Add static local testcases.

  MathiasVP

  committed
  3eca60c

  Copy full SHA for 3eca60c

• Merge pull request #12960 from MathiasVP/fp-invalid-deref-2

  Show description for 205bb76
  MathiasVP

  authored
  205bb76

  Copy full SHA for 205bb76

• C++: Remove unused parameter in test.

  MathiasVP

  committed
  4ef58cd

  Copy full SHA for 4ef58cd

• Merge pull request #12900 from MathiasVP/ir-translate-constant-static-local-vars-2

  MathiasVP

  authored
  5f4d089

  Copy full SHA for 5f4d089

Commits on Apr 27, 2023

• C++: Add FPs for 'cpp/invalid-pointer-deref'.

  MathiasVP

  committed
  5c23474

  Copy full SHA for 5c23474

• C++: accept test changes.

  MathiasVP

  committed
  e46c53a

  Copy full SHA for e46c53a

• Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp

  Show description for 1372ee7
  

  MathiasVP

  and

  geoffw0

  authored
  1372ee7

  Copy full SHA for 1372ee7

• C++: Add another FP.

  MathiasVP

  committed
  432c0b5

  Copy full SHA for 432c0b5

• C++: Add FP for 'cpp/invalid-pointer-deref'.

  MathiasVP

  committed
  5a8bed0

  Copy full SHA for 5a8bed0

Commits on Apr 26, 2023

• C++: Fix missing result for 'getFunction' and accept test changes.

  MathiasVP

  committed
  b18e096

  Copy full SHA for b18e096