Commits

Breadcrumbs

History for

onc53f801

User selector

All users

All time

Commit History

Commits on Feb 5, 2020

• Merge pull request #2750 from Cornelius-Riemenschneider/cpp-range-analysis-casts

  Show description for c53f801
  

  Dave Bartolomeo

  authored
  c53f801

  Copy full SHA for c53f801

• Merge pull request #2769 from aschackmull/java/perf-regression

  Show description for 81b1bd4
  jbj

  authored
  81b1bd4

  Copy full SHA for 81b1bd4

• Java/C++/C#: Sync.

  aschackmull

  committed
  07482ab

  Copy full SHA for 07482ab

• Merge pull request #2703 from rdmarsh2/connect-ir-dataflow-models

  Show description for 2928f9e
  jbj

  authored
  2928f9e

  Copy full SHA for 2928f9e

Commits on Feb 4, 2020

• C++: remove unused predicates

  

  Robert Marsh

  committed
  1576bcf

  Copy full SHA for 1576bcf

• Merge pull request #2755 from jbj/BarrierGuard-SSA

  Show description for 0276c97
  MathiasVP

  authored
  0276c97

  Copy full SHA for 0276c97

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

  Show description for b4385c6
  jbj

  committed
  b4385c6

  Copy full SHA for b4385c6

Commits on Feb 3, 2020

• Merge pull request #2748 from MathiasVP/value-numbering-indirection

  Show description for 931c0e9
  

  Robert Marsh

  authored
  931c0e9

  Copy full SHA for 931c0e9

• Merge pull request #2736 from jbj/buffer-type-size

  Show description for f51841a
  

  Robert Marsh

  authored
  f51841a

  Copy full SHA for f51841a

• Merge branch 'master' into connect-ir-dataflow-models

  

  Robert Marsh

  committed
  3bfcf0b

  Copy full SHA for 3bfcf0b

• Support to keep bounds derived on implicit integer casts.

  criemen

  committed
  36479d3

  Copy full SHA for 36479d3

• Merge pull request #2737 from jbj/DefaultTaintTracking-indirect-parameters

  Show description for 2b10cd6
  

  Robert Marsh

  authored
  2b10cd6

  Copy full SHA for 2b10cd6

• C++: Formatting

  MathiasVP

  committed
  8aae299

  Copy full SHA for 8aae299

• C++: Indirection for value numbering

  MathiasVP

  committed
  a8b3bcb

  Copy full SHA for a8b3bcb

• Fix bug in CPP range analysis.

  criemen

  committed
  1b68f86

  Copy full SHA for 1b68f86

Commits on Jan 31, 2020

• C++: Accept autoformat and test changes

  jbj

  committed
  e2da98a

  Copy full SHA for e2da98a

• C++: Interprocedural indirection taint tracking

  Show description for 83f807f
  jbj

  committed
  83f807f

  Copy full SHA for 83f807f

• C++: Workaround for problem with memcpy flow

  Show description for a1aed1a
  jbj

  committed
  a1aed1a

  Copy full SHA for a1aed1a

• CPP: Avoid uncessary recursion

  

  alexet

  committed
  cd68836

  Copy full SHA for cd68836

• C++: don't conflate pointers in data flow

  

  Robert Marsh

  committed
  83d611d

  Copy full SHA for 83d611d

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

• Merge branch 'master' into connect-ir-dataflow-models

  

  Robert Marsh

  committed
  4617940

  Copy full SHA for 4617940

• 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 #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