Commits

Breadcrumbs

History for

on35a6784

User selector

All users

All time

Commit History

Commits on Nov 30, 2021

• C++: Implement `ParameterPosition` et al

  hvitved

  committed
  35a6784

  Copy full SHA for 35a6784

• Data flow: Sync files

  hvitved

  committed
  540ecf3

  Copy full SHA for 540ecf3

Commits on Nov 26, 2021

• Merge pull request #7237 from hvitved/dataflow/consistency-config

  Show description for 00ee34c
  aschackmull

  authored
  00ee34c

  Copy full SHA for 00ee34c

Commits on Nov 25, 2021

• Merge pull request #7232 from aschackmull/dataflow/perf

  Show description for a066429
  aschackmull

  authored
  a066429

  Copy full SHA for a066429

• Data flow: Introduce `ConsistencyConfiguration` class

  hvitved

  committed
  6cb0099

  Copy full SHA for 6cb0099

Commits on Nov 24, 2021

• Dataflow: Sync.

  aschackmull

  committed
  7ca3407

  Copy full SHA for 7ca3407

• C++: Add some comments to the two 'flowThrough' predicates.

  MathiasVP

  committed
  6c7a01d

  Copy full SHA for 6c7a01d

• C++: Hide dataflow nodes if they're just used for flow-through for read steps or store steps.

  MathiasVP

  committed
  4cbfc30

  Copy full SHA for 4cbfc30

Commits on Nov 23, 2021

• fix how non existing locations are accounted for

  redsun82

  authored
  055017d

  Copy full SHA for 055017d

• account for non-existing locations

  redsun82

  authored
  9538ac7

  Copy full SHA for 9538ac7

• fix `ThisArgumentOperand` location

  Show description for d626745
  redsun82

  authored
  d626745

  Copy full SHA for d626745

• implement review suggestions

  redsun82

  authored
  e99a040

  Copy full SHA for e99a040

• sync files

  redsun82

  authored
  8b44d5c

  Copy full SHA for 8b44d5c

• add `ThisArgumentOperand` special case

  redsun82

  authored
  30805d9

  Copy full SHA for 30805d9

• sync

  redsun82

  authored
  9b818a0

  Copy full SHA for 9b818a0

• Apply suggestions from code review

  Show description for 4498657
  

  redsun82

  and

  MathiasVP

  authored
  4498657

  Copy full SHA for 4498657

• ...and syncing files again

  redsun82

  authored
  0ff9520

  Copy full SHA for 0ff9520

• C++: more fine-grained Operand location change

  Show description for b5165e3
  redsun82

  authored
  b5165e3

  Copy full SHA for b5165e3

• C++: sync Operand source

  redsun82

  authored
  5202f96

  Copy full SHA for 5202f96

• C++: take IR Operand locations from definitions

  Show description for 74c0197
  redsun82

  authored
  74c0197

  Copy full SHA for 74c0197

• Merge pull request #7218 from hvitved/ssa/fix-consistency-tests

  Show description for 83d204d
  hvitved

  authored
  83d204d

  Copy full SHA for 83d204d

• Shared SSA: Sync files

  hvitved

  committed
  0bd587b

  Copy full SHA for 0bd587b

• Merge branch 'main' into remove-reference-to-as-load

  MathiasVP

  committed
  672485a

  Copy full SHA for 672485a

Commits on Nov 22, 2021

• C++: Restore the missing flow. This has a couple of side-effects: First, it gives us some new good flow (yay). Second, it causes some duplication of results that uses 'argv' as a taint source. The …

  Show description for f308be7
  MathiasVP

  committed
  f308be7

  Copy full SHA for f308be7

Commits on Nov 19, 2021

• Shared SSA: Sync files

  hvitved

  committed
  4068cc9

  Copy full SHA for 4068cc9

Commits on Nov 17, 2021

• C++: Add a 'IteratorByPointer' class so pointers are always iterators.

  MathiasVP

  committed
  6dc6a78

  Copy full SHA for 6dc6a78

Commits on Nov 16, 2021

• Merge pull request #7045 from aschackmull/dataflow/hidden-ret-subpaths

  Show description for c70d384
  aschackmull

  authored
  c70d384

  Copy full SHA for c70d384

Commits on Nov 15, 2021

• C++: Remove the implicit assumption about the existence of a lower bound implying the existence of an upper bound (and vice veraa).

  MathiasVP

  committed
  3f0bfe1

  Copy full SHA for 3f0bfe1

• C++: Cleanup the case for possibly-negative unsigned values.

  MathiasVP

  committed
  63f50a9

  Copy full SHA for 63f50a9

• C++: Fix bug for exact powers of 10 and accept test changes.

  MathiasVP

  committed
  9a9f794

  Copy full SHA for 9a9f794

Commits on Nov 11, 2021

• Update cpp/ql/lib/semmle/code/cpp/commons/Printf.qll

  Show description for 982de28
  

  MathiasVP

  and

  geoffw0

  authored
  982de28

  Copy full SHA for 982de28

• C++: Remove 'ReferenceToInstruction' from the list of instructions we interpret as a load. This makes use lose a bunch of flow, and we'll restore this flow in the next commit.

  MathiasVP

  committed
  dbcd4d6

  Copy full SHA for dbcd4d6

• Dataflow: Include read/store steps when finding non-hidden return.

  aschackmull

  committed
  7ffd9b4

  Copy full SHA for 7ffd9b4

Commits on Nov 10, 2021

• Dataflow: Sync.

  aschackmull

  committed
  6d9fb3c

  Copy full SHA for 6d9fb3c

• Merge branch 'main' into use-range-analysis-in-buffer-write

  MathiasVP

  committed
  e2ab1c8

  Copy full SHA for e2ab1c8