Commits

Breadcrumbs

History for

ona43167f

User selector

All users

All time

Commit History

Commits on Jan 4, 2021

• C++: Respond to review comments.

  MathiasVP

  committed
  134982c

  Copy full SHA for 134982c

Commits on Dec 30, 2020

• C++: Fix join order in getAnOverload.

  MathiasVP

  committed
  454605b

  Copy full SHA for 454605b

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

• C++: Undo the iterator.qll change. Notice that it was 'and' not 'or'.

  geoffw0

  committed
  b79ca45

  Copy full SHA for b79ca45

Commits on Dec 9, 2020

• C++: Implement a general model.

  geoffw0

  committed
  3bef0e5

  Copy full SHA for 3bef0e5

Commits on Dec 8, 2020

• C++: Combine the member swap models.

  geoffw0

  committed
  d08efb4

  Copy full SHA for d08efb4

• C++: Move all of the swap models into Swap.qll.

  geoffw0

  committed
  4a81d36

  Copy full SHA for 4a81d36

• C++: Correct comment.

  geoffw0

  committed
  e18f290

  Copy full SHA for e18f290

• Merge branch 'rc/1.26' into 126-mergeback

  

  james

  committed
  da16fad

  Copy full SHA for da16fad

Commits on Dec 7, 2020

• C++: Fix StandardDeallocationFunction.

  geoffw0

  committed
  ef131d3

  Copy full SHA for ef131d3

• C++: Add comments to the Allocation and Deallocation libraries indicating where the functions come from.

  geoffw0

  committed
  281b56b

  Copy full SHA for 281b56b

Commits on Dec 4, 2020

• C++: Run through updated autoformat.

  geoffw0

  committed
  998eaf9

  Copy full SHA for 998eaf9

• Merge pull request #4722 from rdmarsh2/rdmarsh2/cpp/range-analysis-overflow-perf

  Show description for b4be722
  jbj

  authored
  b4be722

  Copy full SHA for b4be722

Commits on Dec 3, 2020

• C++: autoformat

  

  Robert Marsh

  committed
  b45f784

  Copy full SHA for b45f784

• C++: Use [,] more in general.

  geoffw0

  committed
  13d9d5d

  Copy full SHA for 13d9d5d

• C++: Use [,] more in models.

  geoffw0

  committed
  2a4fba0

  Copy full SHA for 2a4fba0

Commits on Dec 2, 2020

• Merge branch 'main' into modelchanges3

  geoffw0

  committed
  d20619d

  Copy full SHA for d20619d

• Merge pull request #4741 from criemen/port-dataflow-tests

  Show description for 203bbdd
  MathiasVP

  authored
  203bbdd

  Copy full SHA for 203bbdd