Commits

Breadcrumbs

History for

onb4385c6

User selector

All users

All time

Commit History

Commits on Feb 4, 2020

• C++: Don't use GVN in AST DataFlow BarrierNode

  Show description for b4385c6
  jbj

  committed
  b4385c6

  Copy full SHA for b4385c6

Commits on Jan 31, 2020

• CPP: Avoid uncessary recursion

  

  alexet

  committed
  cd68836

  Copy full SHA for cd68836

Commits on Jan 30, 2020

• Merge pull request #2718 from jbj/DefaultTaintTracking-isUserInput

  Show description for 209a306
  

  Robert Marsh

  authored
  209a306

  Copy full SHA for 209a306

• C++: Put AliasedSSA.qll in new qlformat style

  jbj

  committed
  148e87c

  Copy full SHA for 148e87c

• Merge remote-tracking branch 'upstream/master' into dbartol/Indirections

  Show description for f0f7528
  jbj

  committed
  f0f7528

  Copy full SHA for f0f7528

• Merge pull request #2673 from aschackmull/ql/autoformat-comparisonterm

  Show description for c4d2163
  jbj

  authored
  c4d2163

  Copy full SHA for c4d2163

• Merge remote-tracking branch 'upstream/master' into dbartol/Indirections

  

  Dave Bartolomeo

  committed
  6249446

  Copy full SHA for 6249446

Commits on Jan 29, 2020

• Merge pull request #2676 from jbj/dataflow-partial-chi

  Show description for 37570c7
  

  Robert Marsh

  authored
  37570c7

  Copy full SHA for 37570c7

• C++: Taint through most partial chi operands

  Show description for 52d2beb
  jbj

  committed
  52d2beb

  Copy full SHA for 52d2beb

• C++: Fix mapping of sources from Expr to Node

  Show description for 9b651ea
  jbj

  committed
  9b651ea

  Copy full SHA for 9b651ea

• C++: Add taint from gets through memcpy

  jbj

  committed
  7bed6ad

  Copy full SHA for 7bed6ad

• Merge pull request #2641 from marcrepo/master

  Show description for d7e8ea7
  jbj

  authored
  d7e8ea7

  Copy full SHA for d7e8ea7

• Merge pull request #2645 from geoffw0/typo

  Show description for 386e8e8
  jbj

  authored
  386e8e8

  Copy full SHA for 386e8e8

• C#/C++: Autoformat post rebase.

  aschackmull

  committed
  0d4b2e4

  Copy full SHA for 0d4b2e4

• C++: Autoformat.

  aschackmull

  committed
  96e4a57

  Copy full SHA for 96e4a57

• Merge remote-tracking branch 'upstream/master' into dataflow-partial-chi

  Show description for 02cb8e9
  jbj

  committed
  02cb8e9

  Copy full SHA for 02cb8e9

• Merge pull request #2707 from geoffw0/taint-format

  Show description for 27b5902
  jbj

  authored
  27b5902

  Copy full SHA for 27b5902

Commits on Jan 28, 2020

• C++: Update AliasedSSA to use `Allocation` instead of `IRVariable`

  Show description for 976b564
  

  Dave Bartolomeo

  committed
  976b564

  Copy full SHA for 976b564

• C++/C#: Update SimpleSSA to use `Allocation` instead of `IRVariable`

  

  Dave Bartolomeo

  committed
  165a45d

  Copy full SHA for 165a45d

• C++/C#: Parameterize alias analysis based on `AliasConfiguration`

  Show description for 1bbc875
  

  Dave Bartolomeo

  committed
  1bbc875

  Copy full SHA for 1bbc875

• C++/C#: Share alias analysis between C++ and C#

  

  Dave Bartolomeo

  committed
  b15dd82

  Copy full SHA for b15dd82

• C++/C#: Add new `MemoryAccessKind` to represent entire allocation

  

  Dave Bartolomeo

  committed
  1b1fded

  Copy full SHA for 1b1fded

• C++: Add instruction for CheckedConvertOrNull and handle it in alias analysis and data flow

  MathiasVP

  committed
  46ce228

  Copy full SHA for 46ce228

• C++: Modify ParameterIndex to account for varargs.

  geoffw0

  committed
  f02ffcb

  Copy full SHA for f02ffcb

• C++: Taint from FormattingFunction varargs.

  geoffw0

  committed
  d66f608

  Copy full SHA for d66f608

• C++: Fix warnings.

  geoffw0

  committed
  b1f66ae

  Copy full SHA for b1f66ae

• C++: Autoformat.

  geoffw0

  committed
  01dc366

  Copy full SHA for 01dc366

• C++: Add a TaintFunction model to FormattingFunction.

  geoffw0

  committed
  30580e9

  Copy full SHA for 30580e9

• C++: Add an ArrayFunction model to FormattingFunction.

  geoffw0

  committed
  1d46971

  Copy full SHA for 1d46971

• Merge pull request #2667 from dbartol/dbartol/NoEscape

  Show description for a9bcc1d
  

  Robert Marsh

  authored
  a9bcc1d

  Copy full SHA for a9bcc1d

Commits on Jan 27, 2020

• Merge pull request #2657 from jbj/DefaultTaintTracking-models

  Show description for c7975e8
  

  Robert Marsh

  authored
  c7975e8

  Copy full SHA for c7975e8

• Merge remote-tracking branch 'upstream/master' into dbartol/NoEscape

  

  Dave Bartolomeo

  committed
  3b35020

  Copy full SHA for 3b35020

• Merge pull request #2680 from geoffw0/modelstrndup

  Show description for 79a72a3
  

  Robert Marsh

  authored
  79a72a3

  Copy full SHA for 79a72a3

• Merge pull request #2692 from jbj/pure-string-read

  Show description for 4d743d2
  

  Robert Marsh

  authored
  4d743d2

  Copy full SHA for 4d743d2

• CPP: Repair flow.

  geoffw0

  committed
  4778914

  Copy full SHA for 4778914