Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jan 26, 2026

• Update cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll

  Show description for 980c4cf
  

  MathiasVP

  and

  Copilot

  authored
  980c4cf

  Copy full SHA for 980c4cf

• C++: Remove uniqueness since it is enforced earlier now.

  MathiasVP

  committed
  aed0e68

  Copy full SHA for aed0e68

• C++: Enforce uniqueness in the other branch of 'getSize'.

  MathiasVP

  committed
  13a5249

  Copy full SHA for 13a5249

• C++: Enforce uniqueness in 'getVariableSize'.

  MathiasVP

  committed
  91752e5

  Copy full SHA for 91752e5

Commits on Aug 8, 2025

• C++: Also handle reference types when computing 'trueSize'.

  MathiasVP

  committed
  d76ce4f

  Copy full SHA for d76ce4f

Commits on Feb 28, 2025

• C++: Another attempt to make the fix more solid. I believe it can't produce negative numbers now.

  geoffw0

  committed
  7169c4b

  Copy full SHA for 7169c4b

Commits on Feb 27, 2025

• C++: Fix the bug.

  geoffw0

  committed
  998bec1

  Copy full SHA for 998bec1

Commits on Feb 26, 2025

• C++: Fix an issue with padding.

  geoffw0

  committed
  1354beb

  Copy full SHA for 1354beb

Commits on Feb 25, 2025

• C++: Avoid problems when a variable has multiple types.

  geoffw0

  committed
  7d7498e

  Copy full SHA for 7d7498e

• C++: Use existing getSize / getRootType to find more generous bounds for arrays inside classes (though it sometimes fails, costing us TPs).

  geoffw0

  committed
  812315d

  Copy full SHA for 812315d

Commits on Feb 21, 2025

• C++: Fix offsetof bug.

  geoffw0

  committed
  ae25399

  Copy full SHA for ae25399

Commits on Feb 3, 2025

• C++: Strip the type when computing the base type of a chain of qualifiers.

  MathiasVP

  committed
  0e6936d

  Copy full SHA for 0e6936d

Commits on Jan 30, 2025

• Update cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll

  Show description for 764a846
  

  MathiasVP

  and

  jketema

  authored
  764a846

  Copy full SHA for 764a846

• Update cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll

  Show description for 839640a
  

  MathiasVP

  and

  jketema

  authored
  839640a

  Copy full SHA for 839640a

Commits on Jan 29, 2025

• C++: Fix FPs in 'cpp/overflow-buffer' caused by unions of structs.

  MathiasVP

  committed
  403a0eb

  Copy full SHA for 403a0eb

Commits on Jan 28, 2025

• C++: Infer larger buffer sizes for non-static member variables.

  MathiasVP

  committed
  d6054c9

  Copy full SHA for d6054c9

Commits on Sep 4, 2024

• Addreessing false positive due to incorrect use of getType

  bdrodes

  committed
  9105375

  Copy full SHA for 9105375

Commits on Oct 5, 2023

• C++: Project away 'why' to prevent tuple duplication in 'Buffer.qll'.

  MathiasVP

  committed
  2f39ab1

  Copy full SHA for 2f39ab1

Commits on Feb 10, 2023

• C++: Revert `semmle.code.cpp.dataflow` to its old state

  Show description for ecdeb9a
  jketema

  committed
  ecdeb9a

  Copy full SHA for ecdeb9a

Commits on Dec 16, 2022

• C++: Make the 'getBufferSize' a lot more like the pre-use-use flow implementation.

  MathiasVP

  committed
  c06f725

  Copy full SHA for c06f725

Commits on Nov 4, 2022

• C++: Inline a predicate that was only used once.

  MathiasVP

  committed
  2617e6d

  Copy full SHA for 2617e6d

Commits on Nov 3, 2022

• C++: Speed up 'Buffer.qll'.

  MathiasVP

  committed
  b42e81c

  Copy full SHA for b42e81c

Commits on Nov 1, 2022

• C++: Use 'max' instead of 'unique.'

  MathiasVP

  committed
  30f1547

  Copy full SHA for 30f1547

Commits on Oct 30, 2022

• C++: Add an initial pruning stage to prevent this

  Show description for 1b50168
  MathiasVP

  committed
  1b50168

  Copy full SHA for 1b50168

• C++: Simplify 'Buffer.qll' by avoiding 'asIndirectExpr'. This removes the flow from 'x' to 'x++', which makes the whole library a lot simpler.

  MathiasVP

  committed
  aa8214a

  Copy full SHA for aa8214a

Commits on Oct 24, 2022

• C++: Fix pointer/pointee conflation and handle flow through '++' when tracking indirect flow.

  MathiasVP

  committed
  a7d6f4f

  Copy full SHA for a7d6f4f

Commits on Oct 14, 2022

• C++: Repair 'Buffer.qll'.

  MathiasVP

  committed
  3ec60f1

  Copy full SHA for 3ec60f1

Commits on Apr 22, 2022

• C++: Cover variable sized member arrays without a size in `Buffer.qll`

  Show description for dee0f09
  jketema

  committed
  dee0f09

  Copy full SHA for dee0f09

Commits on Apr 21, 2022

• C++: Fix the layout of comments in `getBufferSize`

  jketema

  committed
  a09fd8c

  Copy full SHA for a09fd8c

Commits on Sep 24, 2021

• C++: Relax predicate memberMayBeVarSize to mark all members of size 0 or 1 as variable sized

  andersfugmann

  committed
  b08eabe

  Copy full SHA for b08eabe

Commits on Sep 14, 2021

• C++: Update comments on memberMayBeVarSize

  andersfugmann

  committed
  bc22e0d

  Copy full SHA for bc22e0d

Commits on Sep 13, 2021

• C++: zero or one byte sized arrays in unions are considered as having the length of the union its a member of

  andersfugmann

  committed
  342b2df

  Copy full SHA for 342b2df

• C++: Relax constraints on Buffer::memberMayBeVarSize

  andersfugmann

  committed
  3172d57

  Copy full SHA for 3172d57

Commits on Aug 17, 2021

• Packaging: Refactor the cpp libraries

  Show description for 2c5dd2d
  aeisenberg

  committed
  2c5dd2d

  Copy full SHA for 2c5dd2d

Loading