Commits

Breadcrumbs

History for

onb0e255e

User selector

All users

All time

Commit History

Commits on Jan 20, 2021

• C++: Encapsulate skipSkippableInstructions in a module.

  MathiasVP

  committed
  b0e255e

  Copy full SHA for b0e255e

• Revert "C++: Replace SkippableInstruction with local flow steps."

  Show description for f12ebe8
  MathiasVP

  committed
  f12ebe8

  Copy full SHA for f12ebe8

Commits on Jan 12, 2021

• Merge branch 'main' into mathiasvp/reverse-read-take-3

  MathiasVP

  committed
  84f1b11

  Copy full SHA for 84f1b11

Commits on Jan 11, 2021

• C++: Remove old tags.

  geoffw0

  committed
  cf1d1dc

  Copy full SHA for cf1d1dc

• C++: Fix bad join orders introduced in previous commit.

  MathiasVP

  committed
  46393c3

  Copy full SHA for 46393c3

Commits on Jan 8, 2021

• C++: Respond to review comments.

  MathiasVP

  committed
  a00bd7a

  Copy full SHA for a00bd7a

• C++: Improve metadata for GlobalNamespaceClasses.ql.

  geoffw0

  committed
  70ce5fd

  Copy full SHA for 70ce5fd

Commits on Jan 7, 2021

• Merge pull request #4810 from geoffw0/multtoalloc

  Show description for 13a67c9
  MathiasVP

  authored
  13a67c9

  Copy full SHA for 13a67c9

• Merge branch 'main' into mathiasvp/reverse-read-take-3

  MathiasVP

  committed
  7b00367

  Copy full SHA for 7b00367

Commits on Jan 4, 2021

• C++: Respond to review comments.

  MathiasVP

  committed
  134982c

  Copy full SHA for 134982c

Commits on Dec 30, 2020

• C++: Replace SkippableInstruction with local flow steps.

  MathiasVP

  committed
  258d041

  Copy full SHA for 258d041

• C++: Fix join order in getAnOverload.

  MathiasVP

  committed
  454605b

  Copy full SHA for 454605b

Commits on Dec 22, 2020

• C++: Move conflation check into each disjunct.

  MathiasVP

  committed
  6545d0b

  Copy full SHA for 6545d0b

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

  Show description for d2d8377
  

  MathiasVP

  and

  jbj

  authored
  d2d8377

  Copy full SHA for d2d8377

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

  Show description for b95cf94
  

  MathiasVP

  and

  jbj

  authored
  b95cf94

  Copy full SHA for b95cf94

• C++: Respond to review comments.

  MathiasVP

  committed
  ec35e0d

  Copy full SHA for ec35e0d

• C++: Add store step out of read side effects when we don't have a model for the callee. This brings back the lost result on boost.

  MathiasVP

  committed
  fd8034c

  Copy full SHA for fd8034c

• C++: Add qldoc (and remove predicate that wasn't needed).

  MathiasVP

  committed
  a8b4fb6

  Copy full SHA for a8b4fb6

• Fix a bad join-order caused by the optimizer not seeing that

  Show description for 145ab17
  MathiasVP

  committed
  145ab17

  Copy full SHA for 145ab17

• C++: Add store steps that target the new partial definitions.

  MathiasVP

  committed
  f5a2603

  Copy full SHA for f5a2603

• C++: Add partial definition class backed by an IPA.

  MathiasVP

  committed
  7a2b69f

  Copy full SHA for 7a2b69f

• C++: Implement read steps using ReadNodes.

  MathiasVP

  committed
  2930128

  Copy full SHA for 2930128

• C++: Add ReadNodes and implement local flow steps into them.

  MathiasVP

  committed
  91debe8

  Copy full SHA for 91debe8

Commits on Dec 21, 2020

• C++: Also allow custom sources in taintedWithoutGlobals

  MathiasVP

  committed
  4f07474

  Copy full SHA for 4f07474

• C++: Use isSource in queries. These were the only queries that restrict the source after dataflow terminates.

  MathiasVP

  committed
  f4f96fe

  Copy full SHA for f4f96fe

• C++: Add isSource to AdjustedConfiguration

  MathiasVP

  committed
  0e84c63

  Copy full SHA for 0e84c63

Commits on Dec 18, 2020

• Fix comments.

  MathiasVP

  authored
  b510204

  Copy full SHA for b510204

• C++: Propagate flow from instruction's to non-exact operands for arrays and unions, and accept test changes.

  MathiasVP

  committed
  f5e4725

  Copy full SHA for f5e4725

• Merge branch 'main' into default-taint-tracking-operand-instruction-interleaving

  MathiasVP

  committed
  2bf8e47

  Copy full SHA for 2bf8e47

• Make DefaultTaintTracking do operand->instruction->operand interleaving like DataFlowUtil.

  MathiasVP

  committed
  7ccd48e

  Copy full SHA for 7ccd48e

• C++: Add qhelp and example.

  geoffw0

  committed
  dc4ca9b

  Copy full SHA for dc4ca9b

• Merge pull request #4824 from geoffw0/modelchanges5

  Show description for fd7dec7
  jbj

  authored
  fd7dec7

  Copy full SHA for fd7dec7

Commits on Dec 17, 2020

• C++: Add query precision.

  geoffw0

  committed
  fda531d

  Copy full SHA for fda531d

Commits on Dec 16, 2020

• C++: Query headers (apart from precison - needs more research).

  geoffw0

  committed
  136fa01

  Copy full SHA for 136fa01

• C++: Violation message.

  geoffw0

  committed
  1e35357

  Copy full SHA for 1e35357