Commits

Breadcrumbs

History for

ond39d9bf

User selector

All users

All time

Commit History

Commits on Jul 12, 2019

• Merge pull request #1584 from geoffw0/swap

  Show description for 41e46f6
  

  Robert Marsh

  authored
  41e46f6

  Copy full SHA for 41e46f6

• CPP: Model taint flow through std::swap.

  geoffw0

  committed
  c2fd2e2

  Copy full SHA for c2fd2e2

Commits on Jul 11, 2019

• Merge pull request #1567 from jbj/ir-operand-cycles

  Show description for 1b38208
  dave-bartolomeo

  authored
  1b38208

  Copy full SHA for 1b38208

• Merge pull request #1541 from jbj/ir-operand-exact

  Show description for c73b516
  dave-bartolomeo

  authored
  c73b516

  Copy full SHA for c73b516

• Merge pull request #1554 from jbj/ir-ErrorExpr

  Show description for 00ff2bb
  dave-bartolomeo

  authored
  00ff2bb

  Copy full SHA for 00ff2bb

• Merge pull request #1566 from rdmarsh2/rdmarsh/cpp/pure-functions-effect-model

  Show description for 23001d5
  jbj

  authored
  23001d5

  Copy full SHA for 23001d5

• C++: respond to PR comments

  

  Robert Marsh

  committed
  c195420

  Copy full SHA for c195420

• C++ IR: Fix soundness of ConstantAnalysis

  Show description for 2324ce7
  jbj

  committed
  2324ce7

  Copy full SHA for 2324ce7

• C++ IR: getAnyDef -> getDef in RangeUtils.qll

  Show description for 7fb43a5
  jbj

  committed
  7fb43a5

  Copy full SHA for 7fb43a5

• Merge pull request #1581 from jbj/revert-noTarget-workaround

  Show description for 463547f
  ian-semmle

  authored
  463547f

  Copy full SHA for 463547f

• C++ IR: Fix SignAnalysis after getAnyDef -> getDef

  Show description for c831c4b
  jbj

  committed
  c831c4b

  Copy full SHA for c831c4b

• Revert "C++: Work around extractor issue CPP-383"

  Show description for ee5eaef
  jbj

  committed
  ee5eaef

  Copy full SHA for ee5eaef

Commits on Jul 10, 2019

• C++: move strstr back into main pure str model

  

  Robert Marsh

  committed
  72f9add

  Copy full SHA for 72f9add

• C++ IR: Fix calls to non-existent predicates

  Show description for 52cfbff
  jbj

  committed
  52cfbff

  Copy full SHA for 52cfbff

• Apply suggestions from code review

  Show description for 6d87c05
  

  jbj

  and

  dave-bartolomeo

  authored
  6d87c05

  Copy full SHA for 6d87c05

• C++ IR: Move ErrorExpr filter to TranslatedElement

  Show description for 70f81ba
  jbj

  committed
  70f81ba

  Copy full SHA for 70f81ba

Commits on Jul 9, 2019

• Merge pull request #1571 from jbj/ir-operand-cached

  Show description for e087b6c
  dave-bartolomeo

  authored
  e087b6c

  Copy full SHA for e087b6c

• C++: model returns of strstr and strpbrk

  

  Robert Marsh

  committed
  3804c1f

  Copy full SHA for 3804c1f

• C++ IR: make `isInCycle` fast

  Show description for 523fc9c
  jbj

  committed
  523fc9c

  Copy full SHA for 523fc9c

• C++ IR: Make TOperand cached

  Show description for 9ee8a89
  jbj

  committed
  9ee8a89

  Copy full SHA for 9ee8a89

• C++: Use Opcode::Error for ErrorExpr translation

  jbj

  committed
  4324c97

  Copy full SHA for 4324c97

• C++ IR: Translate ErrorExpr to NoOp

  jbj

  committed
  a86ddd5

  Copy full SHA for a86ddd5

• C++ IR: guard against cycles in operand graph

  Show description for 39854a3
  jbj

  committed
  39854a3

  Copy full SHA for 39854a3

• C++ IR: Don't propagate GVN through non-exact Copy

  Show description for da13dc6
  jbj

  committed
  da13dc6

  Copy full SHA for da13dc6

• Merge pull request #1552 from jbj/ir-builtin_addressof

  Show description for 7bbfffe
  dave-bartolomeo

  authored
  7bbfffe

  Copy full SHA for 7bbfffe

• Merge pull request #1551 from jbj/ir-DeleteExpr-placeholder

  Show description for 52e0f3f
  dave-bartolomeo

  authored
  52e0f3f

  Copy full SHA for 52e0f3f

Commits on Jul 8, 2019

• C++: alias and side effect info for pure functions

  

  Robert Marsh

  committed
  41e4d92

  Copy full SHA for 41e4d92

• Merge pull request #1562 from geoffw0/models

  Show description for 11581e4
  

  Robert Marsh

  authored
  11581e4

  Copy full SHA for 11581e4

• CPP: Fix typo.

  geoffw0

  committed
  29e3e2a

  Copy full SHA for 29e3e2a

Commits on Jul 5, 2019

• C++ IR: Support __builtin_addressof

  jbj

  committed
  4b4e7ca

  Copy full SHA for 4b4e7ca

• C++: Placeholder translation of delete expressions

  Show description for 6fe9945
  jbj

  committed
  6fe9945

  Copy full SHA for 6fe9945

Commits on Jul 3, 2019

• C++ IR: getAnyDef -> getDef in RangeAnalysis

  jbj

  committed
  2111bf5

  Copy full SHA for 2111bf5

• C++ IR: getAnyDef -> getDef in SignAnalysis

  Show description for c62f73e
  jbj

  committed
  c62f73e

  Copy full SHA for c62f73e

• C++ IR: getAnyDef -> getDef in ValueNumbering

  Show description for a16ed7d
  jbj

  committed
  a16ed7d

  Copy full SHA for a16ed7d

• C++ IR: allow inexact defs in taint tracking

  jbj

  committed
  2ce8612

  Copy full SHA for 2ce8612