Commits

Breadcrumbs

History for

ond40322f

User selector

All users

All time

Commit History

Commits on Jan 28, 2025

• C++: (Bugfix 3) Don't conflate summarized callables and source callables in 'nodeGetEnclosingCallable'.

  MathiasVP

  committed
  d40322f

  Copy full SHA for d40322f

• C++: (Bugfix 2) Don't remap isParameterOf.

  MathiasVP

  committed
  06bc8ad

  Copy full SHA for 06bc8ad

• C++: (Bugfix 1) There should be a callable representing the source code even if there is a summarized version.

  MathiasVP

  committed
  662e749

  Copy full SHA for 662e749

Commits on Jan 27, 2025

• C++: Remap calls to source functions to the summarized function.

  MathiasVP

  committed
  4e44201

  Copy full SHA for 4e44201

• Revert "C++: Don't generate dataflow nodes for instructions inside summarized callables."

  Show description for 98265dd
  MathiasVP

  committed
  98265dd

  Copy full SHA for 98265dd

• Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll

  Show description for 67a9051
  

  MathiasVP

  and

  jketema

  authored
  67a9051

  Copy full SHA for 67a9051

Commits on Jan 24, 2025

• C++: Don't generate parameter nodes for bodyless parameters when there is a summary of the enclosing function.

  MathiasVP

  committed
  ad80b36

  Copy full SHA for ad80b36

• C++: Map a parameter node to the summarized callable if it exists.

  MathiasVP

  committed
  de3b111

  Copy full SHA for de3b111

• C++: Don't generate dataflow nodes for instructions inside summarized callables.

  MathiasVP

  committed
  fc39df2

  Copy full SHA for fc39df2

Commits on Jan 23, 2025

• Merge pull request #18556 from MathiasVP/remove-conflation-from-pure-functions

  Show description for ccb28ed
  MathiasVP

  authored
  ccb28ed

  Copy full SHA for ccb28ed

• C++: Add a 'isLocaleParameter' and clean up the model a bit.

  MathiasVP

  committed
  7792839

  Copy full SHA for 7792839

• C++: Move comment.

  MathiasVP

  committed
  67e3b69

  Copy full SHA for 67e3b69

• Update cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll

  Show description for fb12847
  

  MathiasVP

  and

  paldepind

  authored
  fb12847

  Copy full SHA for fb12847

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 21, 2025

• C++: Fix conflation in 'Pure' models.

  MathiasVP

  committed
  1266684

  Copy full SHA for 1266684

• C++: Update `PreprocBlock.qll` QLDoc and add C++23 test

  jketema

  committed
  442dad4

  Copy full SHA for 442dad4

• C++: Support `#elifdef` `#elifndef`, and MSVC's `#import`

  jketema

  committed
  9fd9538

  Copy full SHA for 9fd9538

Commits on Jan 20, 2025

• Merge branch 'main' into remove-conflation-from-out-nodes

  MathiasVP

  committed
  ed65129

  Copy full SHA for ed65129

• 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 18, 2025

• Merge branch 'main' into remove-conflation-from-out-nodes

  MathiasVP

  committed
  d1bb597

  Copy full SHA for d1bb597

• C++: Ensure that 'argumentOf' does not map to multiple argument positions.

  MathiasVP

  committed
  2448475

  Copy full SHA for 2448475

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++: Make 'getInstructionConvertedResultExpression' equivalent in C and C++.

  MathiasVP

  committed
  2d9036e

  Copy full SHA for 2d9036e

• 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

• C++: Insert int-to-bool conversions at binary conditional expressions.

  MathiasVP

  committed
  6577161

  Copy full SHA for 6577161

• C++: Insert int-to-bool conversions at 'NotExpr's.

  MathiasVP

  committed
  f30bfb6

  Copy full SHA for f30bfb6

• C++: Insert int-to-bool conversions at conditions.

  MathiasVP

  committed
  dd39b97

  Copy full SHA for dd39b97