Commits

Breadcrumbs

History for

on84f1b11

User selector

All users

All time

Commit History

Commits on Jan 11, 2021

• 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

Commits on Jan 7, 2021

• 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++: 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

• Merge pull request #4824 from geoffw0/modelchanges5

  Show description for fd7dec7
  jbj

  authored
  fd7dec7

  Copy full SHA for fd7dec7

Commits on Dec 16, 2020

• C++: Back out support for SysAllocString. It turns out supporting all of the SysAlloc stuff is beyond our current models, supporting just SysFreeString as we do is OK.

  geoffw0

  committed
  c89f7d8

  Copy full SHA for c89f7d8

• Merge pull request #4831 from geoffw0/printfunknown

  Show description for 406cc64
  jbj

  authored
  406cc64

  Copy full SHA for 406cc64

Commits on Dec 15, 2020

• C++: Make specsAreKnown more accurate.

  geoffw0

  committed
  93dfeac

  Copy full SHA for 93dfeac

• C++: Re-enable the check.

  geoffw0

  committed
  676e85a

  Copy full SHA for 676e85a

• C++: Add a test of unknown format specifiers (with specsAreKnown check disabled).

  geoffw0

  committed
  94dea9f

  Copy full SHA for 94dea9f

• C++: Fix comment.

  geoffw0

  committed
  4bf2f3a

  Copy full SHA for 4bf2f3a

Commits on Dec 14, 2020

• Merge branch 'main' into swap

  geoffw0

  committed
  d7a92e5

  Copy full SHA for d7a92e5

• C++: Add AliasFunction model.

  geoffw0

  committed
  9c77d3c

  Copy full SHA for 9c77d3c

• C++: Remove redundant check.

  geoffw0

  committed
  f9a7322

  Copy full SHA for f9a7322

• C++: Add extra cases to Allocation / Deallocation.

  geoffw0

  committed
  e02ebfb

  Copy full SHA for e02ebfb

Commits on Dec 10, 2020

• Merge pull request #4783 from geoffw0/modelchanges4

  Show description for 0210c1f
  

  Robert Marsh

  authored
  0210c1f

  Copy full SHA for 0210c1f