Commits

Breadcrumbs

History for

onb752a6c

User selector

All users

All time

Commit History

Commits on Dec 3, 2019

• Merge pull request #2381 from jbj/StackVariable

  Show description for b752a6c
  geoffw0

  authored
  b752a6c

  Copy full SHA for b752a6c

Commits on Dec 2, 2019

• 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 pull request #2421 from dbartol/dbartol/IndirectAlias

  Show description for c05cc77
  jbj

  authored
  c05cc77

  Copy full SHA for c05cc77

• C++/C#: Fix formatting

  

  Dave Bartolomeo

  committed
  4e1ee7a

  Copy full SHA for 4e1ee7a

Commits on Nov 25, 2019

• 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

• C++: Prevent cached stages from being re-evaluated

  Show description for 0e4ed1c
  jbj

  committed
  0e4ed1c

  Copy full SHA for 0e4ed1c

Commits on Nov 21, 2019

• C++: Fix `override` errors in `MagicDraw.qll`

  

  Dave Bartolomeo

  committed
  fb67d3e

  Copy full SHA for fb67d3e

• C++/C#: Fix compilation error in `PrintSSA.qll`

  Show description for 27cc6b1
  

  Dave Bartolomeo

  committed
  27cc6b1

  Copy full SHA for 27cc6b1

• Merge pull request #1926 from jbj/ir-dataflow-toString

  Show description for dbe885f
  

  Robert Marsh

  authored
  dbe885f

  Copy full SHA for dbe885f

• C++: Autoformat

  jbj

  committed
  f98cd67

  Copy full SHA for f98cd67

• C++: Fix isFromMacroDefinition join order

  Show description for 7f26f07
  jbj

  committed
  7f26f07

  Copy full SHA for 7f26f07

Commits on Nov 20, 2019

• Data flow: Sync files

  hvitved

  committed
  acc7d52

  Copy full SHA for acc7d52

• Java/C++: Add `DataFlowErasedType` aliases

  hvitved

  committed
  6c0dbcf

  Copy full SHA for 6c0dbcf

Commits on Nov 19, 2019

• Merge remote-tracking branch 'upstream/master' into ir-dataflow-toString

  Show description for c411143
  jbj

  committed
  c411143

  Copy full SHA for c411143

• C++: Don't check if a Field is static

  Show description for fbf2ef8
  jbj

  committed
  fbf2ef8

  Copy full SHA for fbf2ef8

• C++: Deprecate LocalScopeVariableReachability

  jbj

  committed
  4d97534

  Copy full SHA for 4d97534

• C++: Use StackVariable in Nullness.qll

  Show description for f5b9837
  jbj

  committed
  f5b9837

  Copy full SHA for f5b9837

• C++: Use StackVariable where SSA/def-use are used

  Show description for 140575e
  jbj

  committed
  140575e

  Copy full SHA for 140575e

• C++: Use StackVariable in code that uses RangeSSA

  jbj

  committed
  6f9ec04

  Copy full SHA for 6f9ec04

• C++: Use StackVariable, remove `not v.isStatic()`

  Show description for 29f66ff
  jbj

  committed
  29f66ff

  Copy full SHA for 29f66ff