Commits

Breadcrumbs

History for

on3f66b63

User selector

All users

All time

Commit History

Commits on May 22, 2024

• Merge pull request #16533 from MathiasVP/better-negation-guards-in-c

  Show description for 09357e1
  MathiasVP

  authored
  09357e1

  Copy full SHA for 09357e1

Commits on May 21, 2024

• Data flow: Synthesize parameter return nodes

  hvitved

  committed
  454687d

  Copy full SHA for 454687d

Commits on May 20, 2024

• C++: Support 'if(!p)' for C programs in IRGuards.

  MathiasVP

  committed
  0a550bb

  Copy full SHA for 0a550bb

• C++: Rename a few predicates.

  MathiasVP

  committed
  398b90a

  Copy full SHA for 398b90a

Commits on May 15, 2024

• C++: Delete duplicated case in IR generation.

  MathiasVP

  committed
  a1cb419

  Copy full SHA for a1cb419

Commits on May 9, 2024

• Merge pull request #16459 from jketema/handler-fix

  Show description for 4dfcdbc
  jketema

  authored
  4dfcdbc

  Copy full SHA for 4dfcdbc

Commits on May 8, 2024

• C++: Fix copy and paste error in comment

  jketema

  committed
  9e09c5a

  Copy full SHA for 9e09c5a

• C++: Fix destructor translation for handlers

  jketema

  committed
  d68d2cc

  Copy full SHA for d68d2cc

• Merge pull request #16455 from jketema/if-fix

  Show description for 0cbedfb
  jketema

  authored
  0cbedfb

  Copy full SHA for 0cbedfb

• C++: Ensure destructors for ifs are called after both branches

  jketema

  committed
  1a53b92

  Copy full SHA for 1a53b92

• C++: Introduce abstract class to share code between if and constexpr if

  jketema

  committed
  52db1c1

  Copy full SHA for 52db1c1

• C++: Add forgotten `getLastChild` to `TranslatedConstExprIfStmt`

  jketema

  committed
  fa06d88

  Copy full SHA for fa06d88

• C++: Remove the 'BaseSourceVariableInstruction' column as it's functionally determined by the address column.

  MathiasVP

  committed
  6564582

  Copy full SHA for 6564582

Commits on May 7, 2024

• C++: Assign a meaningful definition location to the address of an SSA variable when it's available.

  MathiasVP

  committed
  07d51a5

  Copy full SHA for 07d51a5

Commits on May 3, 2024

• Merge pull request #16415 from MathiasVP/cleanup-ir-variables

  MathiasVP

  authored
  5d5e313

  Copy full SHA for 5d5e313

• C++: Delete predicate that I introduced by mistake.

  MathiasVP

  committed
  d5475c4

  Copy full SHA for d5475c4

• C++: Sync identical files.

  MathiasVP

  committed
  7ca54a6

  Copy full SHA for 7ca54a6

• C++: Convert IR variables to an abstract base class and use final alias'ing to ensure that we don't accidentially extend the abstract base class.

  MathiasVP

  committed
  e8cb8b4

  Copy full SHA for e8cb8b4

• C++: Correctly handle destructors at the end of range-based for-loops in the IR

  jketema

  committed
  ba64cf3

  Copy full SHA for ba64cf3

Commits on May 2, 2024

• Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow

  Show description for f7113e0
  MathiasVP

  authored
  f7113e0

  Copy full SHA for f7113e0

• C++: Fix QLDoc.

  MathiasVP

  committed
  b912918

  Copy full SHA for b912918

• C++: Fix QLDoc.

  MathiasVP

  committed
  322fa36

  Copy full SHA for 322fa36

• C++: Fix QLDoc.

  MathiasVP

  committed
  4a47e11

  Copy full SHA for 4a47e11

Commits on Apr 30, 2024

• Merge pull request #16366 from MathiasVP/fix-ir-for-destructors-in-switch

  Show description for 3a2b0a2
  MathiasVP

  authored
  3a2b0a2

  Copy full SHA for 3a2b0a2

• Merge pull request #16364 from MathiasVP/ir-guards-with-boolean

  Show description for b86aeb6
  MathiasVP

  authored
  b86aeb6

  Copy full SHA for b86aeb6

• C++: Fix IR generation for jump statements.

  MathiasVP

  committed
  a200ced

  Copy full SHA for a200ced

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

  Show description for 32fe084
  

  MathiasVP

  and

  jketema

  authored
  32fe084

  Copy full SHA for 32fe084

• C++: Support guards without implicit boolean conversions.

  MathiasVP

  committed
  bb6cc92

  Copy full SHA for bb6cc92

• C++: Support guards without implicit boolean conversions.

  MathiasVP

  committed
  d736426

  Copy full SHA for d736426

• Merge pull request #16330 from erik-krogh/del-deps-apr-2024

  Show description for 7e83979
  erik-krogh

  authored
  7e83979

  Copy full SHA for 7e83979

Commits on Apr 29, 2024

• C++: Add a missing taint step and accept test changes.

  MathiasVP

  committed
  401717d

  Copy full SHA for 401717d

• C++: Subclasses for both 'begin' and 'end'.

  MathiasVP

  committed
  141af7c

  Copy full SHA for 141af7c

• C++: Use iterator flow in dataflow.

  MathiasVP

  committed
  6e3ddde

  Copy full SHA for 6e3ddde

• C++: Add iterator flow based on dataflow SSA.

  MathiasVP

  committed
  683fe26

  Copy full SHA for 683fe26

• C++: Implement 'getAnUltimateDefinition' on SSA definitions.

  MathiasVP

  committed
  ea1b8a3

  Copy full SHA for ea1b8a3