Commits

Breadcrumbs

History for

on63f50a9

User selector

All users

All time

Commit History

Commits on Nov 15, 2021

• 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

Commits on Nov 10, 2021

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

  MathiasVP

  committed
  e2ab1c8

  Copy full SHA for e2ab1c8

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

• C++: Add comments to some of the disjuncts in 'addressFlow'.

  MathiasVP

  committed
  56cabb8

  Copy full SHA for 56cabb8

• Merge pull request #6932 from aschackmull/dataflow/flow-features

  Show description for 7d0152f
  aschackmull

  authored
  7d0152f

  Copy full SHA for 7d0152f

• Dataflow: Replace a 'noinline' pragma with a 'nomagic' pragma.

  MathiasVP

  committed
  6f4107f

  Copy full SHA for 6f4107f

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

  MathiasVP

  committed
  092beb8

  Copy full SHA for 092beb8

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

  Show description for c1de416
  

  geoffw0

  and

  MathiasVP

  authored
  c1de416

  Copy full SHA for c1de416

• Merge pull request #6994 from erik-krogh/redundant-cast

  Show description for 5d62aa5
  codeql-ci

  authored
  5d62aa5

  Copy full SHA for 5d62aa5

Commits on Nov 1, 2021

• C++: Eliminate mutual recursion.

  geoffw0

  committed
  dec7f93

  Copy full SHA for dec7f93

• C++: Improve comments.

  geoffw0

  committed
  d6a714c

  Copy full SHA for d6a714c

• C++: Add `isFromSystemMacroDefinition` predicate

  jbj

  committed
  93dfee8

  Copy full SHA for 93dfee8

Commits on Oct 30, 2021

• C++: Add a small QLDoc novel above the IPA type for 'TIRDataFlowNode'.

  MathiasVP

  committed
  d34e731

  Copy full SHA for d34e731

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

  MathiasVP

  committed
  d624259

  Copy full SHA for d624259

• C++: Several readability fixes:

  Show description for a75f195
  MathiasVP

  committed
  a75f195

  Copy full SHA for a75f195

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

  Show description for f334201
  

  MathiasVP

  and

  jbj

  committed
  f334201

  Copy full SHA for f334201

• C++: Move the union field check to the IPA branch of 'TFieldContent'.

  MathiasVP

  committed
  cb4f10c

  Copy full SHA for cb4f10c

Commits on Oct 29, 2021

• C++: Fix comments.

  MathiasVP

  committed
  8a569da

  Copy full SHA for 8a569da

• remove redundant inline casts in arguments where the type is inferred by the call target

  erik-krogh

  committed
  d36c66c

  Copy full SHA for d36c66c

• Merge pull request #7000 from aschackmull/dataflow/interface-refactor

  Show description for 3a1836c
  aschackmull

  authored
  3a1836c

  Copy full SHA for 3a1836c

• Dataflow: Add language specific predicates.

  aschackmull

  committed
  5951ae7

  Copy full SHA for 5951ae7