Commits

Breadcrumbs

History for

on6ce3f35

User selector

All users

All time

Commit History

Commits on Mar 19, 2024

• C++: Fix API for guards.

  MathiasVP

  committed
  6ce3f35

  Copy full SHA for 6ce3f35

• Merge pull request #15958 from MathiasVP/ir-guards-from-switch-statements-2

  Show description for 597f008
  MathiasVP

  authored
  597f008

  Copy full SHA for 597f008

• C++: Fix cartesian product in 'simple_comparison_eq'.

  MathiasVP

  committed
  350b239

  Copy full SHA for 350b239

• C++: Add change note.

  MathiasVP

  committed
  0c3d9f7

  Copy full SHA for 0c3d9f7

Commits on Mar 18, 2024

• Merge pull request #15853 from hvitved/dataflow/get-location

  Show description for fc55567
  hvitved

  authored
  fc55567

  Copy full SHA for fc55567

• C++: Add AST wrappers for the new predicates.

  MathiasVP

  committed
  dbd47b3

  Copy full SHA for dbd47b3

• C++: Add guards logic for constant comparisons.

  MathiasVP

  committed
  44045d3

  Copy full SHA for 44045d3

• C++: Generalize more predicates from booleans to abstract values.

  MathiasVP

  committed
  a21eea4

  Copy full SHA for a21eea4

• Merge branch 'main' into experimental-surprising-lifetimes-for-range-based-for-loop

  MathiasVP

  committed
  575af1a

  Copy full SHA for 575af1a

• Merge pull request #15941 from MathiasVP/ir-guards-from-switch-statements

  Show description for 1d12e0c
  MathiasVP

  authored
  1d12e0c

  Copy full SHA for 1d12e0c

Commits on Mar 15, 2024

• C++: Fix QLoc.

  MathiasVP

  committed
  f4f417c

  Copy full SHA for f4f417c

• C++: Add change note.

  MathiasVP

  committed
  b5e5949

  Copy full SHA for b5e5949

• C++: Add more general public predicates to work with abstract values.

  MathiasVP

  committed
  34decd3

  Copy full SHA for 34decd3

• C++: Convert 'getBranchSuccessor' to use abstract values.

  MathiasVP

  committed
  f4eb5f5

  Copy full SHA for f4eb5f5

• C++: Introduce 'AbstractValue' similar to what C# has.

  MathiasVP

  committed
  b7292fb

  Copy full SHA for b7292fb

• C++: Include 'SwitchInstruction's as 'IRGuardCondition's.

  MathiasVP

  committed
  2af68d3

  Copy full SHA for 2af68d3

• C++: Expose some previously private classes from our models so they can be used in queries.

  MathiasVP

  committed
  f7c29e6

  Copy full SHA for f7c29e6

• C++: Implement alias and side effect models for iterators.

  MathiasVP

  committed
  19c9ea7

  Copy full SHA for 19c9ea7

Commits on Mar 14, 2024

• C++: Rename 'IndirectTemporaryExpr' to 'IndirectOperandExprNode'.

  MathiasVP

  committed
  7fdea27

  Copy full SHA for 7fdea27

• Merge pull request #15918 from MathiasVP/fix-as-expr-for-temps

  Show description for dacf7d7
  MathiasVP

  authored
  dacf7d7

  Copy full SHA for dacf7d7

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

  MathiasVP

  authored
  a24432b

  Copy full SHA for a24432b

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

  MathiasVP

  authored
  c375497

  Copy full SHA for c375497

Commits on Mar 13, 2024

• C++: Fix mapping issue between dataflow nodes and expressions when the expression is a prvalue.

  MathiasVP

  committed
  a839c92

  Copy full SHA for a839c92

• C++: suppress destructors with reuse expressions until proper support is added

  jketema

  committed
  866a393

  Copy full SHA for 866a393

• Merge pull request #15901 from jketema/destructors11

  Show description for 67b3670
  jketema

  authored
  67b3670

  Copy full SHA for 67b3670

• C++: Introduce re-use expressions in the database scheme

  jketema

  committed
  8d5eab4

  Copy full SHA for 8d5eab4

• C++: Recognize glib allocations and deallocations.

  MathiasVP

  committed
  bcd36b1

  Copy full SHA for bcd36b1

Commits on Mar 12, 2024

• Merge pull request #15867 from hvitved/dataflow/ap-limit

  Show description for dddba32
  hvitved

  authored
  dddba32

  Copy full SHA for dddba32

Commits on Mar 11, 2024

• C++: Implement new data flow interface

  hvitved

  committed
  1c57e99

  Copy full SHA for 1c57e99

• Sync files

  hvitved

  committed
  da66281

  Copy full SHA for da66281

Commits on Mar 7, 2024

• C++: Add an explicit definition of the address of an IRVariable.

  MathiasVP

  committed
  cf162aa

  Copy full SHA for cf162aa

• C++: Refactor the address out of 'DefImpl' and into a new abstract class 'OperandBasedDef'.

  MathiasVP

  committed
  84797b9

  Copy full SHA for 84797b9

Commits on Mar 6, 2024

• Merge pull request #15816 from MathiasVP/remove-ssa-pruning-stage

  Show description for 66d2a84
  jketema

  authored
  66d2a84

  Copy full SHA for 66d2a84

Commits on Mar 5, 2024

• C++: Suppress epxr destructors in preparation for temporaries

  

  Robert Marsh

  committed
  fbbd57b

  Copy full SHA for fbbd57b

• C++: Remove the pruning stage from SSA.

  MathiasVP

  committed
  f400228

  Copy full SHA for f400228