Commits

Breadcrumbs

History for

onb2e2db1

User selector

All users

All time

Commit History

Commits on Dec 17, 2019

• CPP: Autoformat.

  geoffw0

  committed
  b2e2db1

  Copy full SHA for b2e2db1

• C++: Make some implementations in DatTime.qll more robust (and cope with 'const').

  geoffw0

  committed
  6d516e0

  Copy full SHA for 6d516e0

Commits on Dec 16, 2019

• Merge pull request #2533 from m00nbsd/master

  Show description for 8b1892d
  jbj

  authored
  8b1892d

  Copy full SHA for 8b1892d

• Merge pull request #2491 from rdmarsh2/rdmarsh/cpp/ir-taintedIncludingGlobalVars

  Show description for 5cea452
  jbj

  authored
  5cea452

  Copy full SHA for 5cea452

• Add NetBSD/Solaris allocation functions.

  Show description for f748417
  

  m00nbsd

  committed
  f748417

  Copy full SHA for f748417

Commits on Dec 12, 2019

• Merge branch 'rc/1.23' into mergeback-123-ql

  

  james

  committed
  f6029bd

  Copy full SHA for f6029bd

• Merge pull request #2511 from jbj/isInCycle-raw-only

  Show description for 73446ea
  geoffw0

  authored
  73446ea

  Copy full SHA for 73446ea

Commits on Dec 10, 2019

• C++: Compute isInCycle only for raw IR

  Show description for 66876d0
  jbj

  committed
  66876d0

  Copy full SHA for 66876d0

• C++: Fix getTempVariable join order in IR

  Show description for 7c15164
  jbj

  committed
  7c15164

  Copy full SHA for 7c15164

Commits on Dec 9, 2019

• C++: autoformat

  

  Robert Marsh

  committed
  18e7eff

  Copy full SHA for 18e7eff

• C++: respond to PR comments

  

  Robert Marsh

  committed
  b9f8c39

  Copy full SHA for b9f8c39

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

• C++: handle namespace vars in DefautlTaintTracking

  

  Robert Marsh

  committed
  420a0bb

  Copy full SHA for 420a0bb

• 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

• C++: handle global vars in DefaultTaintTracking

  

  Robert Marsh

  committed
  d99a90b

  Copy full SHA for d99a90b

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