Commits

Commit history

1. Commits on Aug 16, 2023

   • Merge branch 'main' into shared-taint-tracking

     jketema

     authored
     33e8310View commit details

     Copy full SHA for 33e8310

     View code at this pointBrowse repository at this point

   • C++: Respond to review comments.

     MathiasVP

     committed
     20df63fView commit details

     Copy full SHA for 20df63f

     View code at this pointBrowse repository at this point

   • C++: 'origDelta' should always be 'odLeft' when deriving subtraction ranges.

     MathiasVP

     committed
     5e14b5cView commit details

     Copy full SHA for 5e14b5c

     View code at this pointBrowse repository at this point

   • Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr

     Show description for 986aa74
     MathiasVP

     authored
     986aa74View commit details

     Copy full SHA for 986aa74

     View code at this pointBrowse repository at this point
2. Commits on Aug 15, 2023

   • C++: Add precise range analysis for subtraction.

     MathiasVP

     committed
     109e45eView commit details

     Copy full SHA for 109e45e

     View code at this pointBrowse repository at this point

   • C++: Don't do indirect (instruction -> operand) flow when there's a store to the address in between the instruction and the operand.

     MathiasVP

     committed
     569f3c9View commit details

     Copy full SHA for 569f3c9

     View code at this pointBrowse repository at this point

   • C++: Use value numbering to better detect whether a write is certain.

     MathiasVP

     committed
     f662cceView commit details

     Copy full SHA for f662cce

     View code at this pointBrowse repository at this point
3. Commits on Aug 14, 2023

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

     Show description for 9359bea
     MathiasVP

     authored
     9359beaView commit details

     Copy full SHA for 9359bea

     View code at this pointBrowse repository at this point

   • C++: Add more comments.

     MathiasVP

     committed
     e2f671eView commit details

     Copy full SHA for e2f671e

     View code at this pointBrowse repository at this point

   • C++: Add more comments.

     MathiasVP

     committed
     df9c756View commit details

     Copy full SHA for df9c756

     View code at this pointBrowse repository at this point

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

     Show description for c265113
     

     MathiasVP

     and

     jketema

     authored
     c265113View commit details

     Copy full SHA for c265113

     View code at this pointBrowse repository at this point
4. Commits on Aug 13, 2023

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

     MathiasVP

     committed
     2c6bbd8View commit details

     Copy full SHA for 2c6bbd8

     View code at this pointBrowse repository at this point
5. Commits on Aug 11, 2023

   • C++: Rename n' to m.

     MathiasVP

     committed
     efe3c0dView commit details

     Copy full SHA for efe3c0d

     View code at this pointBrowse repository at this point

   • C++: Remove 'ValidForStateConfig'.

     MathiasVP

     committed
     f4e6deeView commit details

     Copy full SHA for f4e6dee

     View code at this pointBrowse repository at this point

   • Merge branch 'main' into post-release-prep/codeql-cli-2.14.2

     henrymercer

     authored
     1213ebaView commit details

     Copy full SHA for 1213eba

     View code at this pointBrowse repository at this point

   • C++: Fix comment.

     MathiasVP

     committed
     88d3fcbView commit details

     Copy full SHA for 88d3fcb

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     3d5b198View commit details

     Copy full SHA for 3d5b198

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     c0a54e9View commit details

     Copy full SHA for c0a54e9

     View code at this pointBrowse repository at this point
6. Commits on Aug 10, 2023

   • C++: Move conjunct below comment.

     MathiasVP

     committed
     9aae174View commit details

     Copy full SHA for 9aae174

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     6d949cbView commit details

     Copy full SHA for 6d949cb

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     a2b8eb9View commit details

     Copy full SHA for a2b8eb9

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     1455e8bView commit details

     Copy full SHA for 1455e8b

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     dcc1429View commit details

     Copy full SHA for dcc1429

     View code at this pointBrowse repository at this point

   • C++: Fix more comments.

     MathiasVP

     committed
     b750016View commit details

     Copy full SHA for b750016

     View code at this pointBrowse repository at this point
7. Commits on Aug 9, 2023

   • Post-release preparation for codeql-cli-2.14.2

     

     github-actions[bot]

     committed
     432c21dView commit details

     Copy full SHA for 432c21d

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     ce9b018View commit details

     Copy full SHA for ce9b018

     View code at this pointBrowse repository at this point

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

     MathiasVP

     committed
     8a49077View commit details

     Copy full SHA for 8a49077

     View code at this pointBrowse repository at this point

   • Revert "Merge pull request #13880 from MathiasVP/type-bounds-preparation"

     Show description for acd16af
     MathiasVP

     committed
     acd16afView commit details

     Copy full SHA for acd16af

     View code at this pointBrowse repository at this point

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

     Show description for cb1076c
     MathiasVP

     committed
     cb1076cView commit details

     Copy full SHA for cb1076c

     View code at this pointBrowse repository at this point

   • C++: Also key SSA defs and uses by the base address.

     MathiasVP

     committed
     499b6f3View commit details

     Copy full SHA for 499b6f3

     View code at this pointBrowse repository at this point

   • C++: Generate SSA variables for all calls instead of just for calls to

     Show description for e2feed7
     MathiasVP

     committed
     e2feed7View commit details

     Copy full SHA for e2feed7

     View code at this pointBrowse repository at this point
8. Commits on Aug 8, 2023

   • C++: `indirectReturnOutNodeOperand0` and `indirectReturnOutNodeInstruction0`

     Show description for f4f5d43
     MathiasVP

     committed
     f4f5d43View commit details

     Copy full SHA for f4f5d43

     View code at this pointBrowse repository at this point
9. Commits on Aug 7, 2023

   • Release preparation for version 2.14.2

     

     github-actions[bot]

     committed
     79c90faView commit details

     Copy full SHA for 79c90fa

     View code at this pointBrowse repository at this point

   • Merge pull request #13907 from MathiasVP/cleanup-ssa-internals

     Show description for eeaa361
     

     Robert Marsh

     authored
     eeaa361View commit details

     Copy full SHA for eeaa361

     View code at this pointBrowse repository at this point

   • C++: Fix QLDoc.

     MathiasVP

     committed
     60f2e8aView commit details

     Copy full SHA for 60f2e8a

     View code at this pointBrowse repository at this point