Commits

Breadcrumbs

History for

oncodeql-cli/v2.21.4

User selector

All users

All time

Commit History

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

Commits on Jan 16, 2025

• C++: Remove the type restriction on 'GuardConditionFromNotExpr' since this class also applies to C++.

  MathiasVP

  committed
  d0bd6eb

  Copy full SHA for d0bd6eb

• C++: Support `if consteval` and `if ! consteval`

  jketema

  committed
  bc2f203

  Copy full SHA for bc2f203

• C++: Improve IRGuads logic for 'unlikely' expressions.

  MathiasVP

  committed
  5373e22

  Copy full SHA for 5373e22

• C++: Ensure that 'x' in 'if(!x) is also an AST-based GuardCondition.

  MathiasVP

  committed
  14db788

  Copy full SHA for 14db788

• C++: Remove workaround for missing comparisons against 0 in C code.

  MathiasVP

  committed
  ebb7f28

  Copy full SHA for ebb7f28

• C++: Remove 'inNonZeroCase' from IRGuards since we now always have implicit comparisons against 0 in C code.

  MathiasVP

  committed
  9810a4f

  Copy full SHA for 9810a4f

Commits on Jan 13, 2025

• C++: Speed up the 'cpp/unbounded-write' query.

  MathiasVP

  committed
  2d44b33

  Copy full SHA for 2d44b33

Commits on Dec 16, 2024

• C++: Fix incorrect QLDoc.

  MathiasVP

  committed
  913357b

  Copy full SHA for 913357b

• C++: No need to exclude static and global initializers now that we inline the predicates.

  MathiasVP

  committed
  5327847

  Copy full SHA for 5327847

• C++: Change all the 'ensures' and (and most 'compares') predicates to be inlined to prevent explosions. Also remove the caching since this is't necessary now that the main recursion is cached.

  MathiasVP

  committed
  3bdfdd0

  Copy full SHA for 3bdfdd0

• C++: Move the main recursion into to a cached module.

  MathiasVP

  committed
  404dd33

  Copy full SHA for 404dd33

• C++: Convert IRGuards to use final abstract classes.

  MathiasVP

  committed
  6f73aa5

  Copy full SHA for 6f73aa5

• Revert "Merge pull request #18057 from jketema/codeql-cli-2.19.4"

  Show description for 20dfbdc
  MathiasVP

  committed
  20dfbdc

  Copy full SHA for 20dfbdc

Commits on Nov 21, 2024

• Revert "Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-2"

  Show description for fa8aba8
  jketema

  committed
  fa8aba8

  Copy full SHA for fa8aba8

Commits on Nov 17, 2024

• C++: Exclude guards in static local or global initializers.

  MathiasVP

  committed
  19d53fb

  Copy full SHA for 19d53fb

Commits on Nov 15, 2024

• C++: Make the formatting of conjunct when using 'getDualValue' consistent.

  MathiasVP

  committed
  409f2c1

  Copy full SHA for 409f2c1

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

  Show description for 459bb6e
  

  MathiasVP

  and

  jketema

  authored
  459bb6e

  Copy full SHA for 459bb6e

• C++: Rename 'ScrutineeValueNumber' to 'SwitchConditionValueNumber'.

  MathiasVP

  committed
  5f9d3d7

  Copy full SHA for 5f9d3d7

• C++: Move classes.

  MathiasVP

  committed
  feea29b

  Copy full SHA for feea29b

• C++: Stylistic fixes.

  MathiasVP

  committed
  c80bea3

  Copy full SHA for c80bea3

Commits on Nov 14, 2024

• Update IRGuards.qll

  Show description for 42c1937
  

  MathiasVP

  and

  jketema

  authored
  42c1937

  Copy full SHA for 42c1937

• Update IRGuards.qll

  Show description for 229d40a
  

  MathiasVP

  and

  jketema

  authored
  229d40a

  Copy full SHA for 229d40a

• Update IRGuards.qll

  Show description for b10696c
  

  MathiasVP

  and

  jketema

  authored
  b10696c

  Copy full SHA for b10696c

• C++: Delete unused predicates.

  MathiasVP

  committed
  6e7256f

  Copy full SHA for 6e7256f

• C++: Properly restrict 'unary_simple_comparison_eq'.

  MathiasVP

  committed
  442968c

  Copy full SHA for 442968c