Commits

Breadcrumbs

History for

oncodeql-cli/v2.15.3

User selector

All users

All time

Commit History

Commits on Oct 30, 2023

• C++: Update documentation.

  MathiasVP

  committed
  375f0ea

  Copy full SHA for 375f0ea

• C++: Simplify 'InvalidPointerToDereference.qll' now that the difference between 'derefSource' and 'pai' is always 0.

  MathiasVP

  committed
  1e699ec

  Copy full SHA for 1e699ec

• C++: Remove the use of range analysis in 'invalidPointerToDerefSource'.

  MathiasVP

  committed
  c8edf31

  Copy full SHA for c8edf31

Commits on Oct 16, 2023

• C++: Make 'hasSize' slightly smarter when handling ternary operators.

  MathiasVP

  committed
  7e6857d

  Copy full SHA for 7e6857d

Commits on Oct 4, 2023

• C++: Add more QLDoc.

  MathiasVP

  committed
  843e9ad

  Copy full SHA for 843e9ad

Commits on Oct 3, 2023

• C++: Block flow through indirect flow through pointer-arithmetic instructions when following flow for the allocation size.

  MathiasVP

  committed
  9df5e43

  Copy full SHA for 9df5e43

Commits on Sep 1, 2023

• C++: Change queries to use 'asExpr' instead of 'asConvertedExpr'.

  MathiasVP

  committed
  20f501d

  Copy full SHA for 20f501d

Commits on Aug 29, 2023

• Merge pull request #14006 from MathiasVP/promote-invalid-pointer-deref-out-of-experimental

  Show description for d14ad92
  MathiasVP

  authored
  d14ad92

  Copy full SHA for d14ad92

Commits on Aug 25, 2023

• C++: Disable field flow from the 'cpp/invalid-pointer-deref' query.

  MathiasVP

  committed
  89b91ec

  Copy full SHA for 89b91ec

• CPP:Only consider **argv as tainted.

  alexet

  committed
  a2f2b6c

  Copy full SHA for a2f2b6c

• C++: Add a small amount of pruning to 'SizeBarrierConfig'.

  MathiasVP

  committed
  9c5d735

  Copy full SHA for 9c5d735

• C++: More pruning.

  MathiasVP

  committed
  ded06a7

  Copy full SHA for ded06a7

Commits on Aug 23, 2023

• C++: Share RangeAnalysisUtil with 'cpp/overrun-write'.

  MathiasVP

  committed
  123e587

  Copy full SHA for 123e587

Commits on Aug 14, 2023

• Merge pull request #13725 from MathiasVP/fix-barriers-in-invalid-pointer-deref

  Show description for 9359bea
  MathiasVP

  authored
  9359bea

  Copy full SHA for 9359bea

• C++: Add more comments.

  MathiasVP

  committed
  e2f671e

  Copy full SHA for e2f671e

• C++: Add more comments.

  MathiasVP

  committed
  df9c756

  Copy full SHA for df9c756

• Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll

  Show description for c265113
  

  MathiasVP

  and

  jketema

  authored
  c265113

  Copy full SHA for c265113

Commits on Aug 13, 2023

• C++: Replace 'left' with 'small' and 'right' with 'large' for consistency.

  MathiasVP

  committed
  2c6bbd8

  Copy full SHA for 2c6bbd8

Commits on Aug 11, 2023

• C++: Rename n' to m.

  MathiasVP

  committed
  efe3c0d

  Copy full SHA for efe3c0d

• C++: Remove 'ValidForStateConfig'.

  MathiasVP

  committed
  f4e6dee

  Copy full SHA for f4e6dee

• C++: Fix comment.

  MathiasVP

  committed
  88d3fcb

  Copy full SHA for 88d3fcb

• C++: Fix a bug where 'boundedImpl' could give back multiple deltas.

  MathiasVP

  committed
  3d5b198

  Copy full SHA for 3d5b198

• C++: Fix an inequality that should be strict, but wasn't.

  MathiasVP

  committed
  c0a54e9

  Copy full SHA for c0a54e9

Commits on Aug 10, 2023

• C++: Move conjunct below comment.

  MathiasVP

  committed
  9aae174

  Copy full SHA for 9aae174

• C++: Rename 'getAFlowStateForNode' to 'getASizeAddend'.

  MathiasVP

  committed
  6d949cb

  Copy full SHA for 6d949cb

• C++: Remove the '+ 1' in 'getAFlowStateForNode'.

  MathiasVP

  committed
  a2b8eb9

  Copy full SHA for a2b8eb9

• C++: Convert all '<'s to '<='s.

  MathiasVP

  committed
  1455e8b

  Copy full SHA for 1455e8b

• C++: Get rid of '+ 1' in comments.

  MathiasVP

  committed
  dcc1429

  Copy full SHA for dcc1429

• C++: Fix more comments.

  MathiasVP

  committed
  b750016

  Copy full SHA for b750016

Commits on Aug 9, 2023

• C++: Move bounds checkout out of 'operandGuardChecks' for clarity.

  MathiasVP

  committed
  ce9b018

  Copy full SHA for ce9b018

• Merge branch 'main' into fix-barriers-in-invalid-pointer-deref

  MathiasVP

  committed
  8a49077

  Copy full SHA for 8a49077

• 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 7, 2023

• C++: Fix QLDoc.

  MathiasVP

  committed
  60f2e8a

  Copy full SHA for 60f2e8a

Commits on Aug 6, 2023

• C++: Fix QLDoc.

  MathiasVP

  committed
  33e991b

  Copy full SHA for 33e991b

Commits on Aug 5, 2023

• C++: Fix barriers in 'AllocationToInvalidPointer.qll'.

  MathiasVP

  committed
  f0a1742

  Copy full SHA for f0a1742