Commits

Breadcrumbs

History for

on15089c4

User selector

All users

All time

Commit History

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 4, 2021

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

  MathiasVP

  committed
  bb158f1

  Copy full SHA for bb158f1

Commits on Dec 21, 2020

• 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

• 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 pull request #4824 from geoffw0/modelchanges5

  Show description for fd7dec7
  jbj

  authored
  fd7dec7

  Copy full SHA for fd7dec7

Commits on Dec 16, 2020

• C++: Violation message.

  geoffw0

  committed
  1e35357

  Copy full SHA for 1e35357

• C++: Add a test.

  geoffw0

  committed
  2210344

  Copy full SHA for 2210344

• 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++: Add a test of unknown format specifiers (with specsAreKnown check disabled).

  geoffw0

  committed
  94dea9f

  Copy full SHA for 94dea9f

Commits on Dec 14, 2020

• Merge branch 'main' into swap

  geoffw0

  committed
  d7a92e5

  Copy full SHA for d7a92e5

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

  geoffw0

  committed
  899d1ab

  Copy full SHA for 899d1ab

Commits on Dec 9, 2020

• C++: Implement a general model.

  geoffw0

  committed
  3bef0e5

  Copy full SHA for 3bef0e5

• C++: Add another good example.

  geoffw0

  committed
  209191b

  Copy full SHA for 209191b

• C++: Fix example and test.

  geoffw0

  committed
  80db155

  Copy full SHA for 80db155

Commits on Dec 7, 2020

• C++: Minor test README fixes

  RasmusWL

  authored
  9e7d5b3

  Copy full SHA for 9e7d5b3

Commits on Dec 4, 2020

• Merge pull request #4719 from geoffw0/issue84

  Show description for 2ea9b4a
  criemen

  authored
  2ea9b4a

  Copy full SHA for 2ea9b4a

Commits on Dec 3, 2020

• Merge pull request #4766 from criemen/cleanup-flow-tests

  Show description for 1142a79
  MathiasVP

  authored
  1142a79

  Copy full SHA for 1142a79

Commits on Dec 2, 2020

• C++: Link to standards.

  geoffw0

  committed
  4322b21

  Copy full SHA for 4322b21

• Apply suggestions from code review

  Show description for 420d47b
  

  geoffw0

  and

  hubwriter

  authored
  420d47b

  Copy full SHA for 420d47b

• Merge branch 'main' into modelchanges3

  geoffw0

  committed
  d20619d

  Copy full SHA for d20619d

• C++: Refactor common implementation of data/taint flow tests.

  criemen

  committed
  feb0554

  Copy full SHA for feb0554

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

  Show description for 203bbdd
  MathiasVP

  authored
  203bbdd

  Copy full SHA for 203bbdd

Commits on Dec 1, 2020

• C++: Remove MISSING annotations for tests that are already correct.

  criemen

  committed
  239588b

  Copy full SHA for 239588b

• C++: Address review.

  criemen

  committed
  7700e87

  Copy full SHA for 7700e87

• C++: Port DefaultTaintTracking tests to inline expectations test.

  criemen

  committed
  5b1ab86

  Copy full SHA for 5b1ab86

Commits on Nov 30, 2020

• C++: Delete difference tests.

  criemen

  committed
  0d0fa1b

  Copy full SHA for 0d0fa1b

• C++: Port dataflow/taint-tests to inline expectations test.

  criemen

  committed
  b632ca4

  Copy full SHA for b632ca4

• C++: Additional test case for FormattingFunction.

  geoffw0

  committed
  99b01e7

  Copy full SHA for 99b01e7

• Autoformat.

  aschackmull

  committed
  8f2094f

  Copy full SHA for 8f2094f

Commits on Nov 27, 2020

• C++: Port dataflow/dataflow-tests to inline expectations test library.

  criemen

  committed
  644a0fa

  Copy full SHA for 644a0fa

• C++: Add public domain and translated from QL exceptions.

  geoffw0

  committed
  390e61b

  Copy full SHA for 390e61b

Commits on Nov 26, 2020

• C++: Add examples.

  geoffw0

  committed
  1f5c6d4

  Copy full SHA for 1f5c6d4

• C++: Disambiguate 'Library'.

  geoffw0

  committed
  ab071b1

  Copy full SHA for ab071b1