Commits

Breadcrumbs

History for

ond2dd19a

User selector

All users

All time

Commit History

Commits on Jan 19, 2021

• C++: It turns out __assert_fail is special (see DefaultOptions.qll) so we don't need a body here. And the body was wrong.

  geoffw0

  committed
  d2dd19a

  Copy full SHA for d2dd19a

• C++: General solution for functions that may exit.

  geoffw0

  committed
  fe4ae7e

  Copy full SHA for fe4ae7e

• C++: Add a few more test cases that we don't recognize as OK.

  geoffw0

  committed
  8fa3ffe

  Copy full SHA for 8fa3ffe

Commits on Jan 14, 2021

• Merge pull request #4915 from geoffw0/sqltaint

  Show description for 3468593
  MathiasVP

  authored
  3468593

  Copy full SHA for 3468593

Commits on Jan 13, 2021

• Merge pull request #4941 from geoffw0/cpp409

  Show description for 5eafe63
  jbj

  authored
  5eafe63

  Copy full SHA for 5eafe63

• Merge pull request #4881 from ihsinme/main

  Show description for 6966453
  geoffw0

  authored
  6966453

  Copy full SHA for 6966453

Commits on Jan 12, 2021

• C++: Test comments.

  geoffw0

  committed
  3f09a04

  Copy full SHA for 3f09a04

Commits on Jan 11, 2021

• Delete test.c

  Show description for bbd3f76
  ihsinme

  authored
  bbd3f76

  Copy full SHA for bbd3f76

• Delete CompilerRemovalOfCodeToClearBuffers.qlref

  Show description for b92d63d
  ihsinme

  authored
  b92d63d

  Copy full SHA for b92d63d

• Delete CompilerRemovalOfCodeToClearBuffers.expected

  Show description for 05f866e
  ihsinme

  authored
  05f866e

  Copy full SHA for 05f866e

• Add files via upload

  ihsinme

  authored
  ed6d8e3

  Copy full SHA for ed6d8e3

• C++: Test of taint through ConstructorDelegationInit.

  geoffw0

  committed
  1cde5e1

  Copy full SHA for 1cde5e1

Commits on Jan 8, 2021

• Merge branch 'main' into sqltaint

  geoffw0

  committed
  a6937be

  Copy full SHA for a6937be

Commits on Jan 7, 2021

• Merge pull request #4810 from geoffw0/multtoalloc

  Show description for 13a67c9
  MathiasVP

  authored
  13a67c9

  Copy full SHA for 13a67c9

• Update MemoryLeakOnFailedCallToRealloc.expected

  ihsinme

  authored
  f378c14

  Copy full SHA for f378c14

• Update test.c

  ihsinme

  authored
  592cd28

  Copy full SHA for 592cd28

Commits on Jan 6, 2021

• C++: Fix test annotation.

  geoffw0

  committed
  81205f3

  Copy full SHA for 81205f3

Commits on Jan 5, 2021

• C++: Use isAdditionalBarrier in the SqlTainted query.

  geoffw0

  committed
  18890c4

  Copy full SHA for 18890c4

Commits on Jan 4, 2021

• C++: Add a test case with a tainted integer.

  geoffw0

  committed
  01b204e

  Copy full SHA for 01b204e

• C++: Add a test (cleaned up) that was previously in the internal repo.

  geoffw0

  committed
  7a3f9c7

  Copy full SHA for 7a3f9c7

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

  MathiasVP

  committed
  bb158f1

  Copy full SHA for bb158f1

Commits on Dec 26, 2020

• Add files via upload

  ihsinme

  authored
  0c7381a

  Copy full SHA for 0c7381a

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