Commits

Breadcrumbs

History for

onac6e0ce

User selector

All users

All time

Commit History

Commits on Jul 19, 2019

• Merge pull request #1614 from rdmarsh2/rdmarsh/cpp/ir-overlap-speedup

  Show description for ac6e0ce
  dave-bartolomeo

  authored
  ac6e0ce

  Copy full SHA for ac6e0ce

Commits on Jul 18, 2019

• C++: further optimization of overlap computation

  

  Robert Marsh

  committed
  2f27c1c

  Copy full SHA for 2f27c1c

Commits on Jul 17, 2019

• Merge pull request #1587 from rdmarsh2/rdmarsh/cpp/ir-overlap-speedup

  Show description for 1fdce43
  dave-bartolomeo

  authored
  1fdce43

  Copy full SHA for 1fdce43

Commits on Jul 15, 2019

• C++: add comments and private annotations

  

  Robert Marsh

  committed
  1f17cfb

  Copy full SHA for 1f17cfb

• C++: overlapping def/use must share IRVariable

  

  Robert Marsh

  committed
  86a018b

  Copy full SHA for 86a018b

• C++: improve performance of overlap computation

  Show description for 20e67eb
  

  Robert Marsh

  committed
  20e67eb

  Copy full SHA for 20e67eb

• CPP: Fix FPs.

  geoffw0

  committed
  cf19421

  Copy full SHA for cf19421

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

• Merge pull request #1515 from geoffw0/continuefalseloop

  Show description for e1da6e9
  semmledocs-ac

  authored
  e1da6e9

  Copy full SHA for e1da6e9

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

• CPP: Upgrade precision/severity.

  geoffw0

  committed
  ed069fe

  Copy full SHA for ed069fe

• CPP: Fix false positive.

  geoffw0

  committed
  62fb216

  Copy full SHA for 62fb216

• CPP: QLDoc comments.

  geoffw0

  committed
  629d127

  Copy full SHA for 629d127

• CPP: Corrections to qhelp.

  geoffw0

  committed
  3337a85

  Copy full SHA for 3337a85

• CPP: Add (basic) qhelp.

  geoffw0

  committed
  4c4be2d

  Copy full SHA for 4c4be2d

• CPP: Add precision/tags and adjust severity.

  geoffw0

  committed
  8a3f8c5

  Copy full SHA for 8a3f8c5

• CPP: Fix false positives in while/for loops.

  geoffw0

  committed
  83d4b23

  Copy full SHA for 83d4b23

• C++: respond to PR comments

  

  Robert Marsh

  committed
  c195420

  Copy full SHA for c195420

• Merge pull request #1580 from jbj/inconsistent-loop-direction-perf

  Show description for db6be05
  geoffw0

  authored
  db6be05

  Copy full SHA for db6be05

• 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

• Merge pull request #1575 from jbj/UncheckedLeapYear-bb

  Show description for 59964bd
  geoffw0

  authored
  59964bd

  Copy full SHA for 59964bd

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

  Show description for ee5eaef
  jbj

  committed
  ee5eaef

  Copy full SHA for ee5eaef

• C++: Fix inconsistent-loop-direction performance

  Show description for e523f93
  jbj

  committed
  e523f93

  Copy full SHA for e523f93

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

• C++: Fix performance of unchecked leap year query

  Show description for 21c6340
  jbj

  committed
  21c6340

  Copy full SHA for 21c6340