Commits

Breadcrumbs

History for

on9b818a0

User selector

All users

All time

Commit History

Commits on Nov 23, 2021

• 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

Commits on Nov 9, 2021

• C++: Change 'annotate_path_to_sink' so that you now annotate a ir-path with the previous node (instead of its source). This gives a better overview of the path.

  MathiasVP

  committed
  10bca35

  Copy full SHA for 10bca35

Commits on Nov 8, 2021

• C++: Pull in the latest changes to 'SsaImplCommon'.

  MathiasVP

  committed
  8e496f7

  Copy full SHA for 8e496f7

• Merge branch 'main' into use-shared-ssa-in-ir-dataflow

  MathiasVP

  committed
  fff5d29

  Copy full SHA for fff5d29

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

  MathiasVP

  committed
  021d941

  Copy full SHA for 021d941

Commits on Nov 4, 2021

• Merge pull request #7018 from geoffw0/nullterm3

  Show description for 34aa498
  MathiasVP

  authored
  34aa498

  Copy full SHA for 34aa498

• C++: Teach 'getMaxConvertedLength' to use 'SimpleRangeAnalysis'.

  MathiasVP

  committed
  ac90259

  Copy full SHA for ac90259

Commits on Nov 3, 2021

• C++: Change the structure of the 'annotate_path_to_sink' tests to better test path-explanations.

  MathiasVP

  committed
  ae4b6c5

  Copy full SHA for ae4b6c5

• C++: Add comments on why 'ReferenceToInstruction' is interpreted like a 'LoadInstruction' at certain places.

  MathiasVP

  committed
  4095c20

  Copy full SHA for 4095c20

• C++: Remove redundant conjunct.

  MathiasVP

  committed
  43a4795

  Copy full SHA for 43a4795

• C++: Rename 'valueFlow' to 'conversionFlow' and add a QLDoc that explains its purpose.

  MathiasVP

  committed
  1f89b49

  Copy full SHA for 1f89b49

• Merge branch 'main' into use-shared-ssa-in-ir-dataflow

  MathiasVP

  committed
  dfbfbe4

  Copy full SHA for dfbfbe4

• Revert "C++: Don't count write operations as uses."

  Show description for ad5619f
  MathiasVP

  committed
  ad5619f

  Copy full SHA for ad5619f

Commits on Nov 2, 2021

• Merge pull request #7025 from MathiasVP/nomagic-parameterCand

  Show description for 4a2894a
  MathiasVP

  authored
  4a2894a

  Copy full SHA for 4a2894a

• C++: Add 'InheritanceConversionInstruction' to the list of instructions that set 'certain = false' in 'explicitWrite'.

  MathiasVP

  committed
  3e6ac74

  Copy full SHA for 3e6ac74