Commits

Breadcrumbs

History for

on19e1d82

User selector

All users

All time

Commit History

Commits on Feb 6, 2020

• Merge pull request #2686 from jbj/ir-crement-load

  Show description for 19e1d82
  MathiasVP

  authored
  19e1d82

  Copy full SHA for 19e1d82

• Merge pull request #2745 from Cornelius-Riemenschneider/cpp-range-analysis

  Show description for f4bbdee
  MathiasVP

  authored
  f4bbdee

  Copy full SHA for f4bbdee

• Merge remote-tracking branch 'upstream/master' into ir-crement-load

  Show description for 91927c9
  jbj

  committed
  91927c9

  Copy full SHA for 91927c9

• Merge pull request #2740 from dbartol/dbartol/InitializeNonLocal

  Show description for c0417ac
  jbj

  authored
  c0417ac

  Copy full SHA for c0417ac

Commits on Feb 5, 2020

• C++: Fix test expectations after EDG update

  

  Dave Bartolomeo

  committed
  e06f468

  Copy full SHA for e06f468

• Include test output for the fixed test.

  criemen

  committed
  7f7cc7b

  Copy full SHA for 7f7cc7b

• Fix test so it actually shows up in the test output.

  criemen

  committed
  c941348

  Copy full SHA for c941348

• Merge pull request #2750 from Cornelius-Riemenschneider/cpp-range-analysis-casts

  Show description for c53f801
  

  Dave Bartolomeo

  authored
  c53f801

  Copy full SHA for c53f801

• Merge pull request #2769 from aschackmull/java/perf-regression

  Show description for 81b1bd4
  jbj

  authored
  81b1bd4

  Copy full SHA for 81b1bd4

• Merge from `master`

  

  Dave Bartolomeo

  committed
  4c31c03

  Copy full SHA for 4c31c03

• C++: Accept new test output

  

  Dave Bartolomeo

  committed
  4362bdb

  Copy full SHA for 4362bdb

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  1b6de4b

  Copy full SHA for 1b6de4b

• Merge remote-tracking branch 'upstream/master' into ir-crement-load

  Show description for cdfcee3
  jbj

  committed
  cdfcee3

  Copy full SHA for cdfcee3

• Java/C++/C#: Sync.

  aschackmull

  committed
  07482ab

  Copy full SHA for 07482ab

• Merge pull request #2727 from matt-gretton-dann/codeql-c-extractor/7-edg-60-upgrade

  Show description for 67d7e83
  igfoo

  authored
  67d7e83

  Copy full SHA for 67d7e83

• Merge pull request #2703 from rdmarsh2/connect-ir-dataflow-models

  Show description for 2928f9e
  jbj

  authored
  2928f9e

  Copy full SHA for 2928f9e

• CPP: Update for changes in EDG IL.

  

  Matthew Gretton-Dann

  committed
  b601908

  Copy full SHA for b601908

• C++: Update with improved location information

  Show description for 1b67f47
  

  Matthew Gretton-Dann

  committed
  1b67f47

  Copy full SHA for 1b67f47

• C++: Update for EDG 6.0 behaviour change

  Show description for cec6646
  

  Matthew Gretton-Dann

  committed
  cec6646

  Copy full SHA for cec6646

• Merge from `master`

  

  Dave Bartolomeo

  committed
  73ad2e9

  Copy full SHA for 73ad2e9

• C++: Add test case to demonstrate string literl aliasing change

  Show description for a23d5af
  

  Dave Bartolomeo

  committed
  a23d5af

  Copy full SHA for a23d5af

Commits on Feb 4, 2020

• C++: remove unused predicates

  

  Robert Marsh

  committed
  1576bcf

  Copy full SHA for 1576bcf

• Merge pull request #2695 from rdmarsh2/default-taint-tracking-diff-test

  Show description for c77a921
  jbj

  authored
  c77a921

  Copy full SHA for c77a921

• C++: autoformat

  

  Robert Marsh

  committed
  ac2e893

  Copy full SHA for ac2e893

• C++: update tests after merge

  

  Robert Marsh

  committed
  861d5eb

  Copy full SHA for 861d5eb

• Merge branch 'master' into default-taint-tracking-diff-test

  

  Robert Marsh

  committed
  785d54a

  Copy full SHA for 785d54a

• Merge pull request #2755 from jbj/BarrierGuard-SSA

  Show description for 0276c97
  MathiasVP

  authored
  0276c97

  Copy full SHA for 0276c97

• C++: Don't use GVN in AST DataFlow BarrierNode

  Show description for b4385c6
  jbj

  committed
  b4385c6

  Copy full SHA for b4385c6

Commits on Feb 3, 2020

• C++: accept test output

  

  Robert Marsh

  committed
  eafd7b6

  Copy full SHA for eafd7b6

• Merge pull request #2748 from MathiasVP/value-numbering-indirection

  Show description for 931c0e9
  

  Robert Marsh

  authored
  931c0e9

  Copy full SHA for 931c0e9

• Merge pull request #2736 from jbj/buffer-type-size

  Show description for f51841a
  

  Robert Marsh

  authored
  f51841a

  Copy full SHA for f51841a

• Merge branch 'master' into connect-ir-dataflow-models

  

  Robert Marsh

  committed
  3bfcf0b

  Copy full SHA for 3bfcf0b

• Support to keep bounds derived on implicit integer casts.

  criemen

  committed
  36479d3

  Copy full SHA for 36479d3

• Add testcase.

  criemen

  committed
  cf8efbb

  Copy full SHA for cf8efbb

• Merge pull request #2737 from jbj/DefaultTaintTracking-indirect-parameters

  Show description for 2b10cd6
  

  Robert Marsh

  authored
  2b10cd6

  Copy full SHA for 2b10cd6