Commits

Breadcrumbs

History for

oncodeql-cli/v2.15.5

User selector

All users

All time

Commit History

Commits on Nov 24, 2023

• C++: Taint-flow through integer to boolean casts.

  MathiasVP

  committed
  0c924c2

  Copy full SHA for 0c924c2

Commits on Nov 22, 2023

• SSA: Add locations to ease debugging

  hvitved

  committed
  1a6886c

  Copy full SHA for 1a6886c

Commits on Nov 20, 2023

• C++: Fix global variable flow for array types.

  MathiasVP

  committed
  dcba8e5

  Copy full SHA for dcba8e5

Commits on Nov 16, 2023

• C++: Reduce code duplication by moving shared code into a module.

  MathiasVP

  committed
  d25c24b

  Copy full SHA for d25c24b

• C++: Fix duplication on reference dereference expressions.

  MathiasVP

  committed
  5a7cb8f

  Copy full SHA for 5a7cb8f

Commits on Nov 10, 2023

• C++: Move a couple of predicates to 'Node0Impl'.

  MathiasVP

  committed
  9062fb6

  Copy full SHA for 9062fb6

Commits on Nov 9, 2023

• C++: Improve (and simplify) 'toString's.

  MathiasVP

  committed
  eb1024c

  Copy full SHA for eb1024c

• C++: Simplify 'isGlobalUse' and 'isGlobalDefImpl'.

  MathiasVP

  committed
  86e7919

  Copy full SHA for 86e7919

• C++: Implement jumpStep using the indirection instead of index.

  MathiasVP

  committed
  9762313

  Copy full SHA for 9762313

• C++: Also add a 'getIndirection' on 'GlobalDef' as well. This will be useful in the next commit.

  MathiasVP

  committed
  95bb70f

  Copy full SHA for 95bb70f

• C++: Obtain the SSA variable of a 'GlobalUse' using the indirection instead of the index (like we do for non-global uses as well).

  MathiasVP

  committed
  fd26ae1

  Copy full SHA for fd26ae1

• C++: Factor the IPA body of 'TGlobalUse' and 'TGlobalDef' out into predicates.

  MathiasVP

  committed
  bb5a78d

  Copy full SHA for bb5a78d

Commits on Nov 7, 2023

• C++: Add QLDoc.

  MathiasVP

  committed
  0fd4d4a

  Copy full SHA for 0fd4d4a

• C++: Add a barrier feature to 'MustFlow'.

  MathiasVP

  committed
  022c9eb

  Copy full SHA for 022c9eb

• C++: Allow source = sink in 'MustFlow'.

  MathiasVP

  committed
  6bf2d47

  Copy full SHA for 6bf2d47

Commits on Oct 30, 2023

• C++: Define indirect instructions (and operands) using a 'Node0Impl' column instead of an instruction (or operand).

  MathiasVP

  committed
  535d1e2

  Copy full SHA for 535d1e2

Commits on Oct 24, 2023

• C++: Remove implied conjunct.

  MathiasVP

  committed
  1fce265

  Copy full SHA for 1fce265

Commits on Oct 23, 2023

• C++: Correctly model that 'operator->', and 'get'

  Show description for 67ed12c
  MathiasVP

  committed
  67ed12c

  Copy full SHA for 67ed12c

• C++: Fix missing result in 'ModelUtil'. The problem was that 'n.asInstruction()' on line 81 wasn't necessarily a 'CallInstruction' (it could be a conversion).

  MathiasVP

  committed
  b107c4c

  Copy full SHA for b107c4c

Commits on Oct 16, 2023

• C++: Add QLDoc.

  MathiasVP

  committed
  26a6653

  Copy full SHA for 26a6653

Commits on Oct 13, 2023

• C++: Split 'defaultViableCallable' and 'viableCallable'.

  MathiasVP

  committed
  140ff53

  Copy full SHA for 140ff53

Commits on Oct 12, 2023

• C++: Add an abstract class that can be used to extend 'viableCallable'.

  MathiasVP

  committed
  6865ce5

  Copy full SHA for 6865ce5

Commits on Oct 10, 2023

• C++: Use the fully converted expression when converting models to dataflow nodes.

  MathiasVP

  committed
  512c10e

  Copy full SHA for 512c10e

Commits on Oct 7, 2023

• delete the deprecated `isBarrierGuard` predicate from the shared dataflow library, and its uses

  erik-krogh

  committed
  4bc4e08

  Copy full SHA for 4bc4e08

Commits on Oct 6, 2023

• Merge pull request #14365 from MathiasVP/disable-flow-through-pointer-arith-for-size

  Show description for eb3f196
  MathiasVP

  authored
  eb3f196

  Copy full SHA for eb3f196

Commits on Oct 5, 2023

• C++: Handle reverse flow when 'nodeTo' is an instruction.

  MathiasVP

  committed
  20900da

  Copy full SHA for 20900da

Commits on Oct 4, 2023

• C++: Use 'unique' in 'hasIRRepresentationOfIndirectInstruction' similar to how it's done in 'hasIRRepresentationOfIndirectOperand'.

  MathiasVP

  committed
  75c74d5

  Copy full SHA for 75c74d5

Commits on Oct 3, 2023

• Merge branch 'main' into henrymercer/rc-3.11-mergeback

  henrymercer

  committed
  f3847b3

  Copy full SHA for f3847b3

• C++: Actually propagate the 'isBarrier1' or 'isBarrier2' predicates to the dataflow configurations.

  MathiasVP

  committed
  57d3f3f

  Copy full SHA for 57d3f3f

Commits on Sep 28, 2023

• Merge pull request #14305 from asgerf/shared/flow-state-inout-barriers

  Show description for 0d96ed8
  asgerf

  authored
  0d96ed8

  Copy full SHA for 0d96ed8

Commits on Sep 25, 2023

• Update DataFlowImpl.qll copies

  asgerf

  committed
  d501856

  Copy full SHA for d501856

Commits on Sep 22, 2023

• C++: Fix import conflict.

  aschackmull

  committed
  ae278fc

  Copy full SHA for ae278fc

• Dataflow: Make use of defaults for language-specific hooks.

  aschackmull

  committed
  66da997

  Copy full SHA for 66da997

Commits on Sep 21, 2023

• Merge pull request #13982 from aschackmull/dataflow/typeflow-calledge-pruning

  Show description for 13f7daf
  aschackmull

  authored
  13f7daf

  Copy full SHA for 13f7daf

Commits on Sep 20, 2023

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

  MathiasVP

  authored
  22d66b6

  Copy full SHA for 22d66b6