Commits

Breadcrumbs

History for

ond1530dd

User selector

All users

All time

Commit History

Commits on Dec 4, 2019

• Merge pull request #2488 from geoffw0/speedup2

  Show description for 055c1d0
  

  Robert Marsh

  authored
  055c1d0

  Copy full SHA for 055c1d0

• Merge from master and resolve conflicts

  

  Dave Bartolomeo

  committed
  cbb6797

  Copy full SHA for cbb6797

• Merge pull request #2438 from rdmarsh2/rdmarsh/ir-line-number-ids

  Show description for 50dc5e2
  

  Dave Bartolomeo

  authored
  50dc5e2

  Copy full SHA for 50dc5e2

Commits on Dec 3, 2019

• C++: make getLineRank private

  

  Robert Marsh

  committed
  722cc91

  Copy full SHA for 722cc91

• Merge pull request #2480 from hvitved/dataflow/performance-tweaks

  Show description for 57917be
  jbj

  authored
  57917be

  Copy full SHA for 57917be

• CPP: Autoformat.

  geoffw0

  committed
  8ddf877

  Copy full SHA for 8ddf877

• CPP: Do the logic at the target, rather than the access, as there are likely fewer.

  geoffw0

  committed
  cc43e11

  Copy full SHA for cc43e11

• CPP: Bypass some of the complexity in 'toString'.

  geoffw0

  committed
  20eb39d

  Copy full SHA for 20eb39d

• CPP: Speed up SensitiveExprs.qll 'suspicious' and 'nonSuspicious' mechanism.

  geoffw0

  committed
  6e6c169

  Copy full SHA for 6e6c169

• Merge pull request #2381 from jbj/StackVariable

  Show description for b752a6c
  geoffw0

  authored
  b752a6c

  Copy full SHA for b752a6c

Commits on Dec 2, 2019

• Data flow: Revert reordering changes in `flowStore` and `flowRead`

  hvitved

  committed
  b3990c5

  Copy full SHA for b3990c5

• Data flow: Sync files

  hvitved

  committed
  5baa133

  Copy full SHA for 5baa133

• Merge remote-tracking branch 'upstream/rc/1.23' into mergeback-20191202

  Show description for 5b24b1e
  jbj

  committed
  5b24b1e

  Copy full SHA for 5b24b1e

Commits on Nov 29, 2019

• Java/C++/C#: Bugfix for field flow through reverse read.

  aschackmull

  committed
  333d0a6

  Copy full SHA for 333d0a6

Commits on Nov 28, 2019

• Merge remote-tracking branch 'upstream/master' into StackVariable

  Show description for 763b18c
  jbj

  committed
  763b18c

  Copy full SHA for 763b18c

• Revert "C++: Use StackVariable in Nullness.qll"

  Show description for d816701
  jbj

  committed
  d816701

  Copy full SHA for d816701

Commits on Nov 26, 2019

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

  

  Dave Bartolomeo

  committed
  aa6bd07

  Copy full SHA for aa6bd07

• C++: simplify getDisplayOrderInBlock

  

  Robert Marsh

  committed
  e368d5d

  Copy full SHA for e368d5d

• Merge pull request #2421 from dbartol/dbartol/IndirectAlias

  Show description for c05cc77
  jbj

  authored
  c05cc77

  Copy full SHA for c05cc77

• C++/C#: Consistent handling of "may" vs. "must" memory accesses

  Show description for f3b4140
  

  Dave Bartolomeo

  committed
  f3b4140

  Copy full SHA for f3b4140

• C++/C#: Fix formatting

  

  Dave Bartolomeo

  committed
  4e1ee7a

  Copy full SHA for 4e1ee7a

Commits on Nov 25, 2019

• C++/C#: use line numbers for instruction IDs

  Show description for 60b384a
  

  Robert Marsh

  committed
  60b384a

  Copy full SHA for 60b384a

• C++/C#: Make QLDoc conform to style guide

  

  Dave Bartolomeo

  committed
  7d48220

  Copy full SHA for 7d48220

• C++: Update `points_to.ql` test to use new bit offset format

  

  Dave Bartolomeo

  committed
  44c1c5a

  Copy full SHA for 44c1c5a

• C++/C#: Fix formatting

  

  Dave Bartolomeo

  committed
  521fbb1

  Copy full SHA for 521fbb1

• Merge pull request #2396 from hvitved/dataflow/erased-type-class

  Show description for d58a6b0
  semmle-qlci

  authored
  d58a6b0

  Copy full SHA for d58a6b0

• Merge pull request #2404 from jbj/signed-overflow-macro

  Show description for 1d26d4c
  geoffw0

  authored
  1d26d4c

  Copy full SHA for 1d26d4c

• Java/C++/C#: Rename `DataFlowErasedType` back to `DataFlowType`

  hvitved

  committed
  a26efdf

  Copy full SHA for a26efdf

Commits on Nov 22, 2019

• C++/C#: Fix formatting

  

  Dave Bartolomeo

  committed
  bd78f68

  Copy full SHA for bd78f68

• C++/C#: Refactor some integer constant code

  Show description for df21835
  

  dave-bartolomeo

  authored and

  Dave Bartolomeo

  committed
  df21835

  Copy full SHA for df21835

• C++/C#: Add IR SSA sanity tests

  

  dave-bartolomeo

  authored and

  Dave Bartolomeo

  committed
  51ff262

  Copy full SHA for 51ff262

• C++/C#: Make `IRVariable` and its derived classes non-abstract

  

  Dave Bartolomeo

  committed
  bc48c25

  Copy full SHA for bc48c25

• C++: Make `duplicateOperand` query report function name

  

  dave-bartolomeo

  authored and

  Dave Bartolomeo

  committed
  12daa76

  Copy full SHA for 12daa76

• C++: Fix remaining FP on MAME

  Show description for eb0b0d1
  jbj

  committed
  eb0b0d1

  Copy full SHA for eb0b0d1

• Merge pull request #2417 from jbj/enclosing-reeval

  Show description for 9471134
  geoffw0

  authored
  9471134

  Copy full SHA for 9471134