Commits

Breadcrumbs

History for

onc3fdc83

User selector

All users

All time

Commit History

Commits on May 25, 2023

• 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

• C++: Add in-barrier on sources to reduce duplication.

  MathiasVP

  committed
  298013a

  Copy full SHA for 298013a

• C++: Prune flow states based on 'PointerArithmeticToDerefConfig'.

  MathiasVP

  committed
  64d7b49

  Copy full SHA for 64d7b49

Commits on May 23, 2023

• C++: Promote the product-dataflow library out of experimental.

  MathiasVP

  committed
  81dbfec

  Copy full SHA for 81dbfec

Commits on May 22, 2023

• C++: remove unneeded pragma

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  4ed7450

  Copy full SHA for 4ed7450

• C++: autoformat

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  604affd

  Copy full SHA for 604affd

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

Commits on May 18, 2023

• C++: Reduce code-duplication in 'cpp/overrun-write'.

  MathiasVP

  committed
  a77c624

  Copy full SHA for a77c624

Commits on May 17, 2023

• Merge branch 'main' into deref-size

  jketema

  authored
  d1efffe

  Copy full SHA for d1efffe

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

  Show description for e3aecd3
  jketema

  authored
  e3aecd3

  Copy full SHA for e3aecd3

• C++: Use range analysis-based `hasSize` predicate in `cpp/invalid-pointer-deref`

  Show description for b83aaf9
  jketema

  committed
  b83aaf9

  Copy full SHA for b83aaf9

• C++: Implement the `subpaths` query predicate for `cpp/invalid-pointer-deref`

  jketema

  committed
  31ae513

  Copy full SHA for 31ae513

Commits on May 16, 2023

• Merge branch 'main' into precompute-states-in-overrun-write

  MathiasVP

  committed
  a5632a2

  Copy full SHA for a5632a2

Commits on May 15, 2023

• C++: Fix Code Scanning error.

  MathiasVP

  committed
  650e9e1

  Copy full SHA for 650e9e1

• C++: Share more code between 'ValidState' and 'StringSizeConfig'.

  MathiasVP

  committed
  f1c124a

  Copy full SHA for f1c124a

• C++: Make comment more clear.

  MathiasVP

  committed
  f31709f

  Copy full SHA for f31709f

• C++: Add more comments.

  MathiasVP

  committed
  a7712b6

  Copy full SHA for a7712b6

Commits on May 12, 2023

• C++: restrict flowstates in constant off-by-one query

  

  Robert Marsh

  committed
  584adf8

  Copy full SHA for 584adf8

• C++: Remove flow through ssa phi back-edges.

  MathiasVP

  committed
  f20a690

  Copy full SHA for f20a690

• C++: Precompute the set of necessary states.

  MathiasVP

  committed
  75e36e8

  Copy full SHA for 75e36e8

• Merge pull request #13099 from MathiasVP/heuristic-allocation-for-overrun-write

  Show description for f7924bd
  MathiasVP

  authored
  f7924bd

  Copy full SHA for f7924bd

Commits on May 11, 2023

• Merge pull request #12971 from MathiasVP/fix-fp-in-invalid-deref-2

  Show description for fd62820
  MathiasVP

  authored
  fd62820

  Copy full SHA for fd62820

Commits on May 10, 2023

• C++: refactor off-by-one query to use flowstate

  

  Robert Marsh

  committed
  f77c77f

  Copy full SHA for f77c77f

• C++: Enable implicit this warnings

  kaspersv

  committed
  8410eb3

  Copy full SHA for 8410eb3

• C++: Add a member predicate to phi nodes for checking if a phi is a read-phi and use it to restrict flow in 'cpp/invalid-pointer-deref'.

  MathiasVP

  committed
  f05cce8

  Copy full SHA for f05cce8

• Merge branch 'main' into fix-fp-in-invalid-deref-2

  jketema

  authored
  c3a7f98

  Copy full SHA for c3a7f98

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

  MathiasVP

  committed
  9da7c9f

  Copy full SHA for 9da7c9f

Commits on May 9, 2023

• C++: Make implicit this receivers explicit

  kaspersv

  committed
  c46898c

  Copy full SHA for c46898c

• C++: Add QLDoc to 'getOverflow'.

  MathiasVP

  committed
  2021f46

  Copy full SHA for 2021f46

Commits on May 4, 2023

• C++: ignore cast arrays in constant off-by-one query

  

  Robert Marsh

  committed
  b7653ec

  Copy full SHA for b7653ec

• C++: stitch paths in array off-by-one query

  

  Robert Marsh

  committed
  3abf5d1

  Copy full SHA for 3abf5d1

• C++: Only alert on the largest possible overflow.

  MathiasVP

  committed
  2587f8e

  Copy full SHA for 2587f8e

Commits on May 2, 2023

• Post-release preparation for codeql-cli-2.13.1

  

  github-actions[bot]

  committed
  18d4af9

  Copy full SHA for 18d4af9

Commits on Apr 28, 2023

• Release preparation for version 2.13.1

  

  github-actions[bot]

  committed
  3bd2917

  Copy full SHA for 3bd2917