Commits

Breadcrumbs

History for

on7012bc0

User selector

All users

All time

Commit History

Commits on Jan 14, 2021

• C++: Simplification.

  geoffw0

  committed
  7012bc0

  Copy full SHA for 7012bc0

• C++: Correct QLDoc comments.

  geoffw0

  committed
  54bd36d

  Copy full SHA for 54bd36d

• C++: Change to more natural expressions without use of weird predicates or 'any'. The classes for string objects now match instantiations directly rather than the template.

  geoffw0

  committed
  13d0efe

  Copy full SHA for 13d0efe

Commits on Jan 8, 2021

• Merge branch 'main' into modelclasses

  geoffw0

  committed
  7f0209f

  Copy full SHA for 7f0209f

Commits on Jan 7, 2021

• Merge pull request #4810 from geoffw0/multtoalloc

  Show description for 13a67c9
  MathiasVP

  authored
  13a67c9

  Copy full SHA for 13a67c9

Commits on Jan 6, 2021

• Merge pull request #4904 from MathiasVP/conflated-dataflow-testcases

  Show description for f69ceb3
  geoffw0

  authored
  f69ceb3

  Copy full SHA for f69ceb3

Commits on Jan 4, 2021

• C++: Add dataflow testcases that need flow through conflated memory.

  MathiasVP

  committed
  bb158f1

  Copy full SHA for bb158f1

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

• Merge pull request #4846 from MathiasVP/default-taint-tracking-operand-instruction-interleaving

  Show description for 4308381
  jbj

  authored
  4308381

  Copy full SHA for 4308381

• C++: Test the AST wrapper for IR GVN

  Show description for 3236cbd
  jbj

  committed
  3236cbd

  Copy full SHA for 3236cbd

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

• C++: Add a test.

  geoffw0

  committed
  2210344

  Copy full SHA for 2210344

• 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

• C++: Add tests of strdup (and variants) as allocators.

  geoffw0

  committed
  899d1ab

  Copy full SHA for 899d1ab