Commits

Breadcrumbs

History for

onaf1da1e

User selector

All users

All time

Commit History

Commits on Dec 6, 2023

• C++: Also support the `__noreturn__` attribute in `exits`

  Show description for af1da1e
  jketema

  committed
  af1da1e

  Copy full SHA for af1da1e

• C++: accept test changes for IR Guards replacement

  jketema

  committed
  edf1786

  Copy full SHA for edf1786

• C++: change note for IRGuards replacing Guards

  

  Robert Marsh

  authored and

  jketema

  committed
  88073a5

  Copy full SHA for 88073a5

• C++: replace Guards with IRGuards

  

  Robert Marsh

  authored and

  jketema

  committed
  172445f

  Copy full SHA for 172445f

• Merge pull request #15021 from jketema/ir-guards-unreached-fix

  Show description for db1dc6f
  jketema

  authored
  db1dc6f

  Copy full SHA for db1dc6f

• Merge pull request #14799 from MathiasVP/solve-modify-copy-problem

  Show description for 9fa20f5
  MathiasVP

  authored
  9fa20f5

  Copy full SHA for 9fa20f5

• C++: Fix handling of unreached instructions in IRGuards

  jketema

  committed
  4390e4c

  Copy full SHA for 4390e4c

• C++: Add test showing unreachable instructions give spurious blocks in IRGuards

  jketema

  committed
  d6e30cd

  Copy full SHA for d6e30cd

• Merge pull request #15015 from jketema/exit

  Show description for 49a4306
  jketema

  authored
  49a4306

  Copy full SHA for 49a4306

Commits on Dec 5, 2023

• Upgrade/downgrade script

  d10c

  committed
  66c0a4a

  Copy full SHA for 66c0a4a

• Relax the C++ dbscheme for link_targets/2

  d10c

  committed
  0307354

  Copy full SHA for 0307354

• C++: Add `_Exit` to the list of exiting (non-returning) functions

  jketema

  committed
  696cbea

  Copy full SHA for 696cbea

• Merge pull request #15005 from jketema/ir-guards-ternary-fix

  Show description for 30e5e74
  jketema

  authored
  30e5e74

  Copy full SHA for 30e5e74

• Merge pull request #14867 from MathiasVP/reduce-duplication-from-operators

  Show description for 8ce4bbe
  MathiasVP

  authored
  8ce4bbe

  Copy full SHA for 8ce4bbe

• C++: Fix IRGuards ternary behaviour

  jketema

  committed
  4d702e2

  Copy full SHA for 4d702e2

• C++: Add IRGuards test that shows that ternary behaviour is not quite correct

  jketema

  committed
  d849615

  Copy full SHA for d849615

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

  Show description for 2908acf
  

  MathiasVP

  and

  jketema

  authored
  2908acf

  Copy full SHA for 2908acf

• Merge branch 'main' into solve-modify-copy-problem

  MathiasVP

  committed
  db0d203

  Copy full SHA for db0d203

• C++: Add barrier to prevent duplication.

  MathiasVP

  committed
  a8020f4

  Copy full SHA for a8020f4

Commits on Dec 4, 2023

• C++: Add test annotation

  jketema

  committed
  7f1bd49

  Copy full SHA for 7f1bd49

• C++: Fix Code Scanning errors.

  MathiasVP

  committed
  d9d36ff

  Copy full SHA for d9d36ff

• C++: Make 'node.asExpr()' behave as 'node.asDefinition()' in void contexts.

  MathiasVP

  committed
  03b77db

  Copy full SHA for 03b77db

• C++: Fix `chmod` prototype in toctou test and additional test

  jketema

  committed
  3e2397a

  Copy full SHA for 3e2397a

• C++: Fix FP by special-casing compound assignments in 'asExprInternal'.

  MathiasVP

  committed
  359b15b

  Copy full SHA for 359b15b

• C++: Add more CWE-119 testcases with compound assignments instead of increments.

  MathiasVP

  committed
  ce28c9b

  Copy full SHA for ce28c9b

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

  Show description for 6020457
  

  MathiasVP

  and

  jketema

  authored
  6020457

  Copy full SHA for 6020457

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

  Show description for 1198d23
  

  MathiasVP

  and

  jketema

  authored
  1198d23

  Copy full SHA for 1198d23

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

  Show description for 5a12a0a
  

  MathiasVP

  and

  jketema

  authored
  5a12a0a

  Copy full SHA for 5a12a0a

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

  Show description for 09117d3
  

  MathiasVP

  and

  jketema

  authored
  09117d3

  Copy full SHA for 09117d3

• Merge pull request #14961 from MathiasVP/unique-in-operand

  Show description for 6c7e809
  MathiasVP

  authored
  6c7e809

  Copy full SHA for 6c7e809

Commits on Dec 1, 2023

• C++: Remove unneeded dataflow imports

  jketema

  committed
  b185efa

  Copy full SHA for b185efa

Commits on Nov 30, 2023

• C++: Add change note.

  MathiasVP

  committed
  3a61dd0

  Copy full SHA for 3a61dd0

• Merge branch 'main' into reduce-duplication-from-operators

  MathiasVP

  committed
  c1561e8

  Copy full SHA for c1561e8

• C++: Add more comments.

  MathiasVP

  committed
  43932b6

  Copy full SHA for 43932b6

• C++: Replace 'strictcount(...) = 1' with 'unique(...)'.

  MathiasVP

  committed
  a7ef84f

  Copy full SHA for a7ef84f