Commits

Breadcrumbs

History for

oncodeql-cli/v2.23.3

User selector

All users

All time

Commit History

Commits on Sep 30, 2025

• C++: Update QLDoc.

  MathiasVP

  committed
  ca53a8e

  Copy full SHA for ca53a8e

• Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

  Show description for 1b2bd30
  

  MathiasVP

  and

  aschackmull

  authored
  1b2bd30

  Copy full SHA for 1b2bd30

Commits on Sep 25, 2025

• C++: Delete incorrect comment and add a bunch of barrier guard tests.

  MathiasVP

  committed
  c1c1f60

  Copy full SHA for c1c1f60

• C++: Add more comments to describe the constant expression hack.

  MathiasVP

  committed
  04ce405

  Copy full SHA for 04ce405

• C++: Fix fan-out.

  MathiasVP

  committed
  5b5c1de

  Copy full SHA for 5b5c1de

• C++: Fully delete TRange.

  MathiasVP

  committed
  b169ccf

  Copy full SHA for b169ccf

Commits on Sep 24, 2025

• C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.

  MathiasVP

  committed
  a07d03f

  Copy full SHA for a07d03f

• C++: Get rid of the case range constant value with and instead implement 'rangeGuard'.

  MathiasVP

  committed
  d15e388

  Copy full SHA for d15e388

• C++: Rename in the name of consistency.

  MathiasVP

  committed
  d10d5fd

  Copy full SHA for d10d5fd

• C++: Add a comment to the 'ConditionalBranchInstruction' case in 'additionalImpliesStep.

  MathiasVP

  committed
  99e1a07

  Copy full SHA for 99e1a07

• C++: Remove superfluous inference logic.

  MathiasVP

  committed
  2b47ac8

  Copy full SHA for 2b47ac8

• C++: Add QLDoc to TRange.

  MathiasVP

  committed
  b3cbdb5

  Copy full SHA for b3cbdb5

Commits on Sep 18, 2025

• C++: Lots of renamings.

  MathiasVP

  committed
  ac5233d

  Copy full SHA for ac5233d

• C++: Instantiate the shared guards library.

  MathiasVP

  committed
  840097f

  Copy full SHA for 840097f

• C++: Qualified import of cpp.

  MathiasVP

  committed
  3a8f77d

  Copy full SHA for 3a8f77d

• C++: Delete a bunch of predicates. Also set up things so that they work after instantiating the shared guards library.

  MathiasVP

  committed
  2b0b840

  Copy full SHA for 2b0b840

Commits on Sep 8, 2025

• Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

  Show description for 702d6d8
  

  MathiasVP

  and

  Copilot

  authored
  702d6d8

  Copy full SHA for 702d6d8

• C++: Lift a few more predicates to expression guards.

  MathiasVP

  committed
  9f47996

  Copy full SHA for 9f47996

Commits on Sep 3, 2025

• C++: Fix some Ql4Ql violations.

  michaelnebel

  committed
  83d53ba

  Copy full SHA for 83d53ba

Commits on Aug 13, 2025

• C++: Remove code that is now subsumed.

  MathiasVP

  committed
  9ee313f

  Copy full SHA for 9ee313f

• C++: Drive-by: Add forgotten disjuncts involving '__builtin_expect'.

  MathiasVP

  committed
  bf4a84b

  Copy full SHA for bf4a84b

• C++: Skip non-Boolean instructions in the new inference step.

  MathiasVP

  committed
  e6cd27a

  Copy full SHA for e6cd27a

• C++: Add another inference step.

  MathiasVP

  committed
  e67b6d6

  Copy full SHA for e67b6d6

Commits on Aug 1, 2025

• C++: Fix QLDoc.

  MathiasVP

  committed
  0e9286d

  Copy full SHA for 0e9286d

Commits on Jul 31, 2025

• C++: Add a comment on the old SSA library.

  MathiasVP

  committed
  c8f4b28

  Copy full SHA for c8f4b28

Commits on Jan 28, 2025

• Merge pull request #18586 from geoffw0/floatguards

  Show description for 6337f5a
  geoffw0

  authored
  6337f5a

  Copy full SHA for 6337f5a

Commits on Jan 27, 2025

• Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

  Show description for 67a746e
  

  geoffw0

  and

  jketema

  authored
  67a746e

  Copy full SHA for 67a746e

Commits on Jan 24, 2025

• C++: Add a note for the other predicates as well.

  geoffw0

  committed
  06bd394

  Copy full SHA for 06bd394

• C++: Add a note in the QLDoc for comparesEq.

  geoffw0

  committed
  1f96200

  Copy full SHA for 1f96200

Commits on Jan 22, 2025

• C++: Fix join-order problem found on `IncorrectCheckScanf.ql`

  Show description for 68ec4b6
  jketema

  committed
  68ec4b6

  Copy full SHA for 68ec4b6

Commits on Jan 20, 2025

• Merge pull request #18502 from jketema/consteval

  Show description for 4b85ea3
  jketema

  authored
  4b85ea3

  Copy full SHA for 4b85ea3

• C++: Simplify consteval if to be just a single class with an `isNot` predicate

  jketema

  committed
  a9e0f20

  Copy full SHA for a9e0f20

Commits on Jan 17, 2025

• C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.

  MathiasVP

  committed
  5c494c3

  Copy full SHA for 5c494c3

• C++: Remove an unnecessary conjunct.

  MathiasVP

  committed
  21f9e67

  Copy full SHA for 21f9e67

• C++: Update comment in the char pred of 'GuardConditionFromNotExpr'.

  MathiasVP

  committed
  b39a932

  Copy full SHA for b39a932