Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Dec 3, 2025

• Use flowFrom.

  aschackmull

  committed
  dc6d3fe

  Copy full SHA for dc6d3fe

Commits on Oct 28, 2025

• C++/ConstantSizeArrayOffByOne

  d10c

  committed
  464f6cb

  Copy full SHA for 464f6cb

Commits on Aug 15, 2025

• [DIFF-INFORMED] C++: ConstantSizeArrayOffByOne

  d10c

  committed
  fabdf99

  Copy full SHA for fabdf99

Commits on Aug 21, 2023

• C++: Promote 'cpp/invalid-pointer-deref' out of experimental.

  MathiasVP

  committed
  4daabda

  Copy full SHA for 4daabda

Commits on Aug 9, 2023

• Revert "Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis"

  Show description for cb1076c
  MathiasVP

  committed
  cb1076c

  Copy full SHA for cb1076c

Commits on Aug 4, 2023

• C++: Filter type-based reasons out of MCTV queries.

  MathiasVP

  committed
  9807c0b

  Copy full SHA for 9807c0b

Commits on Jul 25, 2023

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for b1c6ee4
  

  MathiasVP

  and

  jketema

  authored
  b1c6ee4

  Copy full SHA for b1c6ee4

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 7f7930b
  

  MathiasVP

  and

  jketema

  authored
  7f7930b

  Copy full SHA for 7f7930b

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 97809e7
  

  MathiasVP

  and

  jketema

  authored
  97809e7

  Copy full SHA for 97809e7

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for e1f519f
  

  MathiasVP

  and

  jketema

  authored
  e1f519f

  Copy full SHA for e1f519f

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 9f9cf9f
  

  MathiasVP

  and

  jketema

  authored
  9f9cf9f

  Copy full SHA for 9f9cf9f

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 2cfa14b
  

  MathiasVP

  and

  jketema

  authored
  2cfa14b

  Copy full SHA for 2cfa14b

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 5cad8ec
  

  MathiasVP

  and

  jketema

  authored
  5cad8ec

  Copy full SHA for 5cad8ec

Commits on Jul 19, 2023

• C++: Add more documentation to the 'cpp/invalid-pointer-deref' query.

  MathiasVP

  committed
  922f4d5

  Copy full SHA for 922f4d5

Commits on Jul 18, 2023

• C++: Split the query into 4 files.

  MathiasVP

  committed
  5099de5

  Copy full SHA for 5099de5

• C++: More cleanup.

  MathiasVP

  committed
  a038b38

  Copy full SHA for a038b38

• Merge pull request #13699 from MathiasVP/final-config-to-invalid-pointer-deref

  Show description for d41d2bc
  MathiasVP

  authored
  d41d2bc

  Copy full SHA for d41d2bc

Commits on Jul 17, 2023

• C++: Remove barrier that's no longer needed.

  MathiasVP

  committed
  d63ead5

  Copy full SHA for d63ead5

Commits on Jul 13, 2023

• C++: No need to select the 'instruction' as the sink when the dataflow node has a better 'toString'.

  MathiasVP

  committed
  c13f015

  Copy full SHA for c13f015

• C++: Completely get rid of merged path nodes.

  MathiasVP

  committed
  5e06043

  Copy full SHA for 5e06043

Commits on Jul 12, 2023

• C++/Swift: Remove `none()` dataflow configuration predicates

  Show description for 52ab215
  jketema

  committed
  52ab215

  Copy full SHA for 52ab215

• C++: Fix comment.

  MathiasVP

  committed
  2c2f9b9

  Copy full SHA for 2c2f9b9

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 19872d5
  

  MathiasVP

  and

  jketema

  authored
  19872d5

  Copy full SHA for 19872d5

• Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

  Show description for 3d5414b
  

  MathiasVP

  and

  jketema

  authored
  3d5414b

  Copy full SHA for 3d5414b

Commits on Jul 11, 2023

• C++: Join with 'invalidPointerToDerefSource' in 'hasFlowPath' to prevent conflation of paths.

  MathiasVP

  committed
  63c5684

  Copy full SHA for 63c5684

Commits on Jul 10, 2023

• C++: Add a final configuration to preserve call contexts between configuration transitions.

  MathiasVP

  committed
  ae8ecc9

  Copy full SHA for ae8ecc9

Commits on Jul 6, 2023

• C++: Add more default predicates to product flow

  jketema

  committed
  fa2ee26

  Copy full SHA for fa2ee26

Commits on Jun 28, 2023

• Merge pull request #13591 from jketema/pointer-deref-barrier

  Show description for 43a8119
  jketema

  authored
  43a8119

  Copy full SHA for 43a8119

• C++: Add barrier to `InvalidPointerToDerefConfig` in `cpp/invalid-pointer-deref`

  jketema

  committed
  14609a9

  Copy full SHA for 14609a9

• Merge pull request #13117 from rdmarsh2/rdmarsh2/cpp/cobo-handle-array-casts

  Show description for 2c99009
  MathiasVP

  authored
  2c99009

  Copy full SHA for 2c99009

Commits on Jun 27, 2023

• Merge branch 'main' into rdmarsh2/cpp/cobo-handle-array-casts

  MathiasVP

  committed
  f2cbbab

  Copy full SHA for f2cbbab

• Merge pull request #13559 from MathiasVP/add-barrier-to-invalid-deref-query

  Show description for 985650c
  MathiasVP

  authored
  985650c

  Copy full SHA for 985650c

Commits on Jun 26, 2023

• C++: Prune the set of interesting pointer-arithmetic instructions by another flow.

  MathiasVP

  committed
  ef383a1

  Copy full SHA for ef383a1

• C++: Use 'arrayTypeCand' in 'isSourceImpl' instead of checking for array size explicitly.

  MathiasVP

  committed
  d68b060

  Copy full SHA for d68b060

• C++: Fix Code Scanning errors.

  MathiasVP

  committed
  3b4f2b2

  Copy full SHA for 3b4f2b2