Commits

Breadcrumbs

History for

onfa2ee26

User selector

All users

All time

Commit History

Commits on Jul 6, 2023

• C++: Add more default predicates to product flow

  jketema

  committed
  fa2ee26

  Copy full SHA for fa2ee26

Commits on Jun 30, 2023

• Remove pragma[assume_small_delta]

  cklin

  committed
  ce464a7

  Copy full SHA for ce464a7

Commits on Jun 29, 2023

• Merge branch 'main' into implement-is-unreachable-in-call-2

  MathiasVP

  committed
  e4126ae

  Copy full SHA for e4126ae

Commits on Jun 28, 2023

• C++: Implement 'isUnreachableInCall'.

  MathiasVP

  committed
  9e82ce8

  Copy full SHA for 9e82ce8

• C++: Fix join in 'argumentOf'.

  Show description for 78f2fe8
  MathiasVP

  committed
  78f2fe8

  Copy full SHA for 78f2fe8

Commits on Jun 27, 2023

• C++: fix irreducible control flow logic

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  e90153f

  Copy full SHA for e90153f

• Merge remote-tracking branch 'upstream/main' into clears-content

  jketema

  committed
  b1ae3a0

  Copy full SHA for b1ae3a0

• C++: Fix join-order problem in `clearsContent`

  jketema

  committed
  2628552

  Copy full SHA for 2628552

• Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge

  Show description for 06bc460
  MathiasVP

  authored
  06bc460

  Copy full SHA for 06bc460

Commits on Jun 26, 2023

• C++: fix comment formatting

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  dcb3494

  Copy full SHA for dcb3494

• C++: improve irreducible back edge detection

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  aff4066

  Copy full SHA for aff4066

• C++: Replace `not exists` by `forex` in `clearsContent`

  jketema

  committed
  54632cd

  Copy full SHA for 54632cd

• C++: Fix QLDoc issues

  jketema

  committed
  c7e5dc2

  Copy full SHA for c7e5dc2

• C++: Implement `clearsContent` for IR dataflow

  jketema

  committed
  458522a

  Copy full SHA for 458522a

Commits on Jun 23, 2023

• Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators

  Show description for 69ee615
  

  Robert Marsh

  authored
  69ee615

  Copy full SHA for 69ee615

Commits on Jun 22, 2023

• C++: Allow self-flow through indirect parameters.

  MathiasVP

  committed
  0839c1a

  Copy full SHA for 0839c1a

• C++: Fix strncpy model.

  MathiasVP

  committed
  fe97572

  Copy full SHA for fe97572

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

  Show description for ff3c76c
  

  MathiasVP

  and

  jketema

  committed
  ff3c76c

  Copy full SHA for ff3c76c

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

  Show description for 4f1b2c6
  

  MathiasVP

  and

  jketema

  committed
  4f1b2c6

  Copy full SHA for 4f1b2c6

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

  Show description for a8a04c8
  

  MathiasVP

  and

  jketema

  committed
  a8a04c8

  Copy full SHA for a8a04c8

• C++: Add QLDoc to 'hasAddressOperandAndIndirectionIndex'.

  MathiasVP

  committed
  6528985

  Copy full SHA for 6528985

• C++: Ensure that 'PrintIR' for dataflow still compiles.

  MathiasVP

  committed
  3365ff0

  Copy full SHA for 3365ff0

• C++: Adjust the rest of the library to the new API.

  MathiasVP

  committed
  3b0a286

  Copy full SHA for 3b0a286

• C++: Change the API for indirect operands and indirection instructions to not allow pointer conflation.

  MathiasVP

  committed
  6034eb0

  Copy full SHA for 6034eb0

• C++: Fix conflation bug in 'getIRRepresentationOfIndirectInstruction'.

  MathiasVP

  committed
  9e9c811

  Copy full SHA for 9e9c811

Commits on Jun 21, 2023

• C++: fix range analysis back edge detection for irreducible CFGs

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  ba7cb8f

  Copy full SHA for ba7cb8f

Commits on Jun 20, 2023

• Merge pull request #13455 from owen-mc/dataflow/add-flowCheckNodeSpecific

  Show description for d7c97f8
  owen-mc

  authored
  d7c97f8

  Copy full SHA for d7c97f8

• C++: Default to one indirection in the case of self iterators.

  MathiasVP

  committed
  952dbd6

  Copy full SHA for 952dbd6

Commits on Jun 19, 2023

• delete the deprecated Conatiner::getURL predicates

  erik-krogh

  committed
  5fdfd98

  Copy full SHA for 5fdfd98

Commits on Jun 14, 2023

• Rename to `neverSkipInPathGraph`

  owen-mc

  committed
  3ff6d03

  Copy full SHA for 3ff6d03

• Add stub implementations of flowCheckNodeSpecific

  owen-mc

  committed
  5f72ce0

  Copy full SHA for 5f72ce0

• Sync dataflow library

  owen-mc

  committed
  e0f7437

  Copy full SHA for e0f7437

Commits on Jun 9, 2023

• Merge pull request #13083 from aschackmull/dataflow/typestrengthen

  Show description for 1b7bbf6
  aschackmull

  authored
  1b7bbf6

  Copy full SHA for 1b7bbf6

• Merge pull request #13406 from MathiasVP/fix-++-problem

  Show description for 74ed9f5
  MathiasVP

  authored
  74ed9f5

  Copy full SHA for 74ed9f5

• Dataflow: Address review comments.

  aschackmull

  committed
  d230509

  Copy full SHA for d230509