Commits

Breadcrumbs

History for

on9dbea53

User selector

All users

All time

Commit History

Commits on Jan 23, 2023

• Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into refactor-param-out-nodes-2

  MathiasVP

  committed
  9dbea53

  Copy full SHA for 9dbea53

Commits on Jan 21, 2023

• C++: Refactor parameter out nodes to not depend on 'ReturnIndirectionInstruction's.

  MathiasVP

  committed
  ae99858

  Copy full SHA for ae99858

Commits on Jan 20, 2023

• C++: In dataflow use the AST representation of IR Instructions and Operands

  jketema

  committed
  f628152

  Copy full SHA for f628152

Commits on Jan 16, 2023

• C++: Fix spurious results in default taint tracking

  jketema

  committed
  a892ae8

  Copy full SHA for a892ae8

Commits on Jan 13, 2023

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

  Show description for cdd9567
  

  MathiasVP

  and

  jketema

  authored
  cdd9567

  Copy full SHA for cdd9567

Commits on Jan 11, 2023

• C++: Make sure that arguments of const pointer-type (as opposed to arguments of pointer to const-type) has an outgoing argument node.

  MathiasVP

  committed
  a83879f

  Copy full SHA for a83879f

Commits on Jan 10, 2023

• Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  MathiasVP

  committed
  8b01dfe

  Copy full SHA for 8b01dfe

• Merge pull request #11775 from atorralba/atorralba/all/omittable-exists

  Show description for 72a11e7
  atorralba

  authored
  72a11e7

  Copy full SHA for 72a11e7

• C++: Remove omittable exists variables

  atorralba

  committed
  3fcc99e

  Copy full SHA for 3fcc99e

• C++: Introduce (_Complex) _Float16 type which is needed after frontend update

  jketema

  committed
  1bab950

  Copy full SHA for 1bab950

Commits on Jan 9, 2023

• Merge pull request #11781 from MathiasVP/as-expr-for-arrays

  Show description for 0f93e5c
  MathiasVP

  authored
  0f93e5c

  Copy full SHA for 0f93e5c

Commits on Jan 6, 2023

• Merge pull request #11823 from geoffw0/heuristicalloc

  Show description for f3914ff
  geoffw0

  authored
  f3914ff

  Copy full SHA for f3914ff

Commits on Jan 5, 2023

• C++: Add a warning on HeuristicAllocationExpr.getSizeBytes() and similar methods.

  geoffw0

  committed
  c160e0b

  Copy full SHA for c160e0b

Commits on Jan 3, 2023

• C++: Mark a number of private predicates in the GVN library as deprecated

  Show description for 5f4326f
  jketema

  committed
  5f4326f

  Copy full SHA for 5f4326f

Commits on Dec 22, 2022

• Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  MathiasVP

  committed
  e86e3ec

  Copy full SHA for e86e3ec

• C++: Map more expressions to operand nodes.

  MathiasVP

  committed
  05cd251

  Copy full SHA for 05cd251

Commits on Dec 21, 2022

• C++: Fix implicit this.

  MathiasVP

  committed
  bbf0ec8

  Copy full SHA for bbf0ec8

• C++: Model semantics of '__except' condition in IR.

  MathiasVP

  committed
  ff6e8a2

  Copy full SHA for ff6e8a2

• C++: Fix exception handling for '__try __except'.

  MathiasVP

  committed
  e6a03a6

  Copy full SHA for e6a03a6

Commits on Dec 20, 2022

• C++: Add explicit qualifiers.

  MathiasVP

  committed
  07ab119

  Copy full SHA for 07ab119

• C++: Also handle '__finally' blocks.

  MathiasVP

  committed
  d2964a7

  Copy full SHA for d2964a7

• C++: Handle Microsoft '__try __except' in the existing 'TryStmt' IR logic.

  MathiasVP

  committed
  3c8efa8

  Copy full SHA for 3c8efa8

• Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  jketema

  committed
  0addae8

  Copy full SHA for 0addae8

Commits on Dec 19, 2022

• C++: Define the `argv` flow source in terms the input parameter

  jketema

  committed
  a73bd05

  Copy full SHA for a73bd05

Commits on Dec 16, 2022

• Merge pull request #11722 from MathiasVP/make-buffer.qll-unique-again

  Show description for df7a4ac
  

  Robert Marsh

  authored
  df7a4ac

  Copy full SHA for df7a4ac

• Merge pull request #11727 from MathiasVP/fix-crement-and-assign-op-dataflow-mappings

  Show description for c09ed10
  MathiasVP

  authored
  c09ed10

  Copy full SHA for c09ed10

• Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow

  MathiasVP

  committed
  33649ed

  Copy full SHA for 33649ed

• C++: Fix mapping between dataflow nodes and '{Crement, Assign}Operations'.

  MathiasVP

  committed
  df52655

  Copy full SHA for df52655

• C++: Make the 'getBufferSize' a lot more like the pre-use-use flow implementation.

  MathiasVP

  committed
  c06f725

  Copy full SHA for c06f725

• Merge pull request #11674 from hvitved/dataflow/param-context

  Show description for e45edcc
  hvitved

  authored
  e45edcc

  Copy full SHA for e45edcc

Commits on Dec 15, 2022

• Data flow: Work around functionality-induced misoptimization

  hvitved

  committed
  f8571dd

  Copy full SHA for f8571dd

• Data flow: Sync files

  hvitved

  committed
  6eda042

  Copy full SHA for 6eda042

• C++: Attempt to clarify the way Allocation.qll and Deallocation.qll should be used.

  geoffw0

  committed
  e7ea0d7

  Copy full SHA for e7ea0d7

• C++: Prevent non-termination in 'getTypeImpl' when a iterator defines itself as 'value_type'.

  MathiasVP

  committed
  73b93be

  Copy full SHA for 73b93be

• C++: Fix join orders.

  MathiasVP

  committed
  526b913

  Copy full SHA for 526b913