Commits

Breadcrumbs

History for

onb4f9b15

User selector

All users

All time

Commit History

Commits on Jan 22, 2021

• C++: Restore lost result on git/git. We lost the result in a00bd7ae027d17a2cd2e2931a37baa31943d1245 because the added check for type T to type T* conversion didn't handle const qualifiers.

  MathiasVP

  committed
  b4f9b15

  Copy full SHA for b4f9b15

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

• C++: Respond to review comments.

  MathiasVP

  committed
  a00bd7a

  Copy full SHA for a00bd7a

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++: Add dataflow testcases that need flow through conflated memory.

  MathiasVP

  committed
  bb158f1

  Copy full SHA for bb158f1

Commits on Dec 30, 2020

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

  MathiasVP

  committed
  258d041

  Copy full SHA for 258d041

Commits on Dec 22, 2020

• C++: Accept test changes in paths.

  MathiasVP

  committed
  77aa961

  Copy full SHA for 77aa961

• C++: Accept test changes.

  MathiasVP

  committed
  72a80e3

  Copy full SHA for 72a80e3

• C++: Add examples that require longer access paths

  MathiasVP

  committed
  ba4da72

  Copy full SHA for ba4da72

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