Commits

Breadcrumbs

History for

onfa8b771

User selector

All users

All time

Commit History

Commits on Apr 2, 2019

• Merge pull request #1186 from jbj/dataflow-defbyref-1.20-fixes

  Show description for fa8b771
  rdmarsh2

  authored
  fa8b771

  Copy full SHA for fa8b771

Commits on Apr 1, 2019

• C++: Let data flow past definition by reference

  Show description for 7165959
  jbj

  committed
  7165959

  Copy full SHA for 7165959

• Change @kind to 'table' for test and sanity checks queries that don't select problems

  aibaars

  committed
  ba7fddd

  Copy full SHA for ba7fddd

Commits on Mar 14, 2019

• C++: fix cartesian product in IRGuards.qll

  

  Robert Marsh

  committed
  dfb7076

  Copy full SHA for dfb7076

Commits on Mar 12, 2019

• C++: PhiOperand -> PhiInputOperand

  Show description for b0ad64c
  dave-bartolomeo

  committed
  b0ad64c

  Copy full SHA for b0ad64c

• C++: FunctionIR -> IRFunction

  dave-bartolomeo

  committed
  b5a3edf

  Copy full SHA for b5a3edf

Commits on Mar 11, 2019

• C++: Fix join order in def-by-reference data flow

  Show description for ece122a
  jbj

  committed
  ece122a

  Copy full SHA for ece122a

Commits on Mar 7, 2019

• C++: fix whitespace

  

  Robert Marsh

  committed
  07bc9ca

  Copy full SHA for 07bc9ca

• C++: respond to PR comments

  

  Robert Marsh

  committed
  ef836c3

  Copy full SHA for ef836c3

• C++: add phi node support to escape analysis

  

  Robert Marsh

  committed
  7e30ce0

  Copy full SHA for 7e30ce0

• C++: points-to for argument-returning calls

  

  Robert Marsh

  committed
  97c11a5

  Copy full SHA for 97c11a5

• C++: remove duplicate logic

  

  Robert Marsh

  committed
  878502f

  Copy full SHA for 878502f

• C++: Simplify automaticVariableAddressEscapes

  Show description for 794a895
  

  jbj

  authored and

  Robert Marsh

  committed
  794a895

  Copy full SHA for 794a895

• C++: fix escape test failures

  

  Robert Marsh

  committed
  a72cd23

  Copy full SHA for a72cd23

• C++: refactor escape analysis for performance

  

  Robert Marsh

  committed
  09321ee

  Copy full SHA for 09321ee

• C++: fix unused variable warning

  

  Robert Marsh

  committed
  6f76c13

  Copy full SHA for 6f76c13

• C++: refactor alias analysis for performance

  

  Robert Marsh

  committed
  726f38c

  Copy full SHA for 726f38c

• C++: assume arguments to virtual functions escape

  

  Robert Marsh

  committed
  c70bd28

  Copy full SHA for c70bd28

• C++: escape analysis for `this` parameters

  

  Robert Marsh

  committed
  6089172

  Copy full SHA for 6089172

• C++: add new interprocedural escape analysis

  

  Robert Marsh

  committed
  466e110

  Copy full SHA for 466e110

Commits on Mar 4, 2019

• Merge pull request #1032 from xiemaisi/master-for-merge

  Show description for 7f5e263
  

  Max Schaefer

  authored
  7f5e263

  Copy full SHA for 7f5e263

Commits on Mar 1, 2019

• Merge pull request #1000 from jbj/dataflow-defbyref

  Show description for b8f8ed5
  rdmarsh2

  authored
  b8f8ed5

  Copy full SHA for b8f8ed5

• Merge pull request #1012 from ian-semmle/constexpr

  Show description for e6ddf7f
  nickrolfe

  authored
  e6ddf7f

  Copy full SHA for e6ddf7f

Commits on Feb 28, 2019

• Merge pull request #1005 from jbj/dataflow-Node-cached

  Show description for 28304e4
  geoffw0

  authored
  28304e4

  Copy full SHA for 28304e4

• C++: Add Variable.isConstexpr()

  ian-semmle

  committed
  a709a2d

  Copy full SHA for a709a2d

• C++: Cache TNode and localFlowStep

  Show description for 264301b
  jbj

  committed
  264301b

  Copy full SHA for 264301b

• C++: Add DefinitionByReferenceNode.getParameter

  Show description for 8e6daaf
  jbj

  committed
  8e6daaf

  Copy full SHA for 8e6daaf

• C++: Remove getVariableAccess from def-by-ref node

  Show description for 2bc0a8d
  jbj

  committed
  2bc0a8d

  Copy full SHA for 2bc0a8d

• C++: Use OO dispatch for getType and getFunction

  jbj

  committed
  7ff732d

  Copy full SHA for 7ff732d

Commits on Feb 27, 2019

• C++: Generalize std::move data flow

  jbj

  committed
  972d008

  Copy full SHA for 972d008

• C++: Define DefinitionByReferenceNode

  Show description for 8018346
  jbj

  committed
  8018346

  Copy full SHA for 8018346

• C++: BlockVar value stops at def by ref (partial)

  jbj

  committed
  5647a1a

  Copy full SHA for 5647a1a

Commits on Feb 26, 2019

• Merge pull request #994 from geoffw0/msalloc

  Show description for 84c7f19
  dave-bartolomeo

  authored
  84c7f19

  Copy full SHA for 84c7f19

• CPP: Add support for Microsoft functions in Alloc.qll.

  geoffw0

  committed
  e32042d

  Copy full SHA for e32042d

• Merge pull request #985 from rdmarsh2/rdmarsh/ir-call-side-effect

  Show description for f12dfda
  jbj

  authored
  f12dfda

  Copy full SHA for f12dfda