Commits

Breadcrumbs

History for

on6bac1e6

User selector

All users

All time

Commit History

Commits on Mar 4, 2019

• Add assignments to the set of analyzable expressions to simplify overflow detection.

  kevinbackhouse

  committed
  8cee18b

  Copy full SHA for 8cee18b

• C++: Set cpp/command-line-injection precision=low

  Show description for 4f9ffb3
  jbj

  committed
  4f9ffb3

  Copy full SHA for 4f9ffb3

Commits on Mar 1, 2019

• Merge pull request #894 from jbj/ir-RedundantNullCheckSimple

  Show description for 6601327
  geoffw0

  authored
  6601327

  Copy full SHA for 6601327

• 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

Commits on Feb 27, 2019

• Merge pull request #991 from jbj/error-function-returns

  Show description for d857f52
  semmle-qlci

  authored
  d857f52

  Copy full SHA for d857f52

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

• C++: Function `error` doesn't always exit

  Show description for 07bd85e
  jbj

  committed
  07bd85e

  Copy full SHA for 07bd85e

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

  Show description for f12dfda
  jbj

  authored
  f12dfda

  Copy full SHA for f12dfda

Commits on Feb 25, 2019

• C++: fix PrimaryInstruction for call side effects

  

  Robert Marsh

  committed
  af490a9

  Copy full SHA for af490a9

• C++: Add constexpr support for functions

  ian-semmle

  committed
  4bd03d5

  Copy full SHA for 4bd03d5

• Merge pull request #972 from geoffw0/rtl

  Show description for a9f8a53
  jbj

  authored
  a9f8a53

  Copy full SHA for a9f8a53

• C++: Remove @precision of AllocaInLoop.ql

  Show description for 2181bca
  jbj

  committed
  2181bca

  Copy full SHA for 2181bca

Commits on Feb 22, 2019

• Merge pull request #970 from jbj/ir-block-count

  Show description for 70bccf8
  dave-bartolomeo

  authored
  70bccf8

  Copy full SHA for 70bccf8

• CPP: Add support for some Rtl* functions in BufferAccess.qll.

  geoffw0

  committed
  dc00442

  Copy full SHA for dc00442

• C++: Use the cached getInstructionCount

  Show description for 6777c8c
  jbj

  committed
  6777c8c

  Copy full SHA for 6777c8c

• Merge pull request #965 from evverx/alloca-in-a-loop

  Show description for 8302ac4
  geoffw0

  authored
  8302ac4

  Copy full SHA for 8302ac4

• make loads from tainted addresses tainted

  

  Robert Marsh

  committed
  aa97302

  Copy full SHA for aa97302

• C++: add IR-based taint tracking library

  

  Robert Marsh

  committed
  9a9ec7b

  Copy full SHA for 9a9ec7b

• C++: add arithmetic/bitwise instruction classes

  

  Robert Marsh

  committed
  173ade1

  Copy full SHA for 173ade1

Commits on Feb 21, 2019

• Merge pull request #846 from geoffw0/returnstack

  Show description for 7649e87
  jbj

  authored
  7649e87

  Copy full SHA for 7649e87

• Merge pull request #962 from jbj/IRGuards-cached

  Show description for a0c12c4
  rdmarsh2

  authored
  a0c12c4

  Copy full SHA for a0c12c4

• CPP: add a query for catching alloca in a loop

  Show description for e9401fc
  evverx

  committed
  e9401fc

  Copy full SHA for e9401fc

• Merge pull request #819 from geoffw0/newdelete

  Show description for 1bc967c
  jbj

  authored
  1bc967c

  Copy full SHA for 1bc967c

• CPP: Performance improvement.

  geoffw0

  committed
  cd13e58

  Copy full SHA for cd13e58

• C++: Reduce the IRGuards to two cached stages

  Show description for d200bda
  jbj

  committed
  d200bda

  Copy full SHA for d200bda

• C++: Put ReturnStackAllocatedMemory.ql on LGTM

  jbj

  committed
  1e0a385

  Copy full SHA for 1e0a385

• C++: Improve ReturnStackAllocatedMemory alert msg

  jbj

  committed
  b9236d2

  Copy full SHA for b9236d2

• C++: Use EscapesTree to find pointers to stack

  Show description for dcf910f
  jbj

  committed
  dcf910f

  Copy full SHA for dcf910f

• C++: IR query for redundant null check

  Show description for 9ac8d60
  jbj

  committed
  9ac8d60

  Copy full SHA for 9ac8d60

Commits on Feb 20, 2019

• CPP: Widen allocReachedVariable slightly.

  geoffw0

  committed
  d30bcb6

  Copy full SHA for d30bcb6

Commits on Feb 19, 2019

• Merge pull request #879 from rdmarsh2/rdmarsh/cpp/ir-guards-edges

  Show description for 2dea0b4
  jbj

  authored
  2dea0b4

  Copy full SHA for 2dea0b4