Commits

Breadcrumbs

History for

on82e2816

User selector

All users

All time

Commit History

Commits on Mar 20, 2020

• C++: Fix handling of `std::va_list` that is used as a function parameter

  Show description for 82e2816
  

  Dave Bartolomeo

  committed
  82e2816

  Copy full SHA for 82e2816

Commits on Mar 19, 2020

• C++: Better IR for varargs

  Show description for bf28451
  

  Dave Bartolomeo

  committed
  bf28451

  Copy full SHA for bf28451

• C++: Fix formatting

  

  Dave Bartolomeo

  committed
  74f61dc

  Copy full SHA for 74f61dc

Commits on Mar 18, 2020

• C++: Move VarArgs utilities location

  

  Dave Bartolomeo

  committed
  0329327

  Copy full SHA for 0329327

• C++: Make vararg utilities internal for now.

  

  Dave Bartolomeo

  committed
  fed1bce

  Copy full SHA for fed1bce

• Merge remote-tracking branch 'upstream/master' into dbartol/VarArgIR

  

  Dave Bartolomeo

  committed
  26ea93a

  Copy full SHA for 26ea93a

• Merge pull request #2849 from geoffw0/model-gets

  Show description for f1ad0da
  jbj

  authored
  f1ad0da

  Copy full SHA for f1ad0da

Commits on Mar 17, 2020

• Merge remote-tracking branch 'upstream/master' into dbartol/static-locals

  

  Dave Bartolomeo

  committed
  709757f

  Copy full SHA for 709757f

• C++: Model varargs in IR, Part I

  Show description for 9cc3cda
  

  Dave Bartolomeo

  committed
  9cc3cda

  Copy full SHA for 9cc3cda

Commits on Mar 16, 2020

• C++: Fixup test .expected files after merge.

  geoffw0

  committed
  44c66a3

  Copy full SHA for 44c66a3

• Merge branch 'master' into model-gets

  geoffw0

  committed
  034f7cc

  Copy full SHA for 034f7cc

• C++: Support the mirror case with <=.

  geoffw0

  committed
  2cee756

  Copy full SHA for 2cee756

• C++: Add some test cases for the mirror case, with <=.

  geoffw0

  committed
  dcf2f7f

  Copy full SHA for dcf2f7f

• C++: Additional test cases for the recursive bit of UnsignedGEZero.

  geoffw0

  committed
  3d8633f

  Copy full SHA for 3d8633f

Commits on Mar 13, 2020

• C++: Fix false positives

  MathiasVP

  committed
  e1942bb

  Copy full SHA for e1942bb

• C++: Demonstrate false positives when a const variable is initialized in a parameter list

  MathiasVP

  committed
  cc25298

  Copy full SHA for cc25298

• C++: Fix failed tests

  Show description for 9922958
  

  Dave Bartolomeo

  committed
  9922958

  Copy full SHA for 9922958

Commits on Mar 12, 2020

• C++: Model dynamic initialization of static local variables in IR

  Show description for 1526400
  

  Dave Bartolomeo

  committed
  1526400

  Copy full SHA for 1526400

• Merge pull request #3050 from geoffw0/mismatching_placement_new

  Show description for 917b984
  jbj

  authored
  917b984

  Copy full SHA for 917b984

Commits on Mar 11, 2020

• C++: Exclude code in templates.

  geoffw0

  committed
  b2c5ce8

  Copy full SHA for b2c5ce8

• C++: Test case.

  geoffw0

  committed
  d454c84

  Copy full SHA for d454c84

• Merge pull request #2970 from jbj/multiple-types-test

  Show description for f4e8f7a
  MathiasVP

  authored
  f4e8f7a

  Copy full SHA for f4e8f7a

Commits on Mar 10, 2020

• Merge pull request #3006 from jbj/ir-no-static-init

  Show description for 66fd566
  

  Dave Bartolomeo

  authored
  66fd566

  Copy full SHA for 66fd566

• C++: Accept test output

  

  Dave Bartolomeo

  committed
  ef194d3

  Copy full SHA for ef194d3

• Merge pull request #3026 from MathiasVP/simplerangeanalysis-const-var-access

  Show description for 28a9bab
  jbj

  authored
  28a9bab

  Copy full SHA for 28a9bab

Commits on Mar 9, 2020

• C++: Add testcase that previously resulted in a false positive

  MathiasVP

  committed
  1a5282a

  Copy full SHA for 1a5282a

Commits on Mar 6, 2020

• C++: Accept test changes

  Show description for 0cd3eb7
  jbj

  committed
  0cd3eb7

  Copy full SHA for 0cd3eb7

• C++: Ignore constant static initializers

  jbj

  committed
  cc38abd

  Copy full SHA for cc38abd

• C++: Test for constant static initializer

  jbj

  committed
  02f0b89

  Copy full SHA for 02f0b89

Commits on Mar 4, 2020

• C++: Add testcase for cpp/uncontrolled-allocation-size

  MathiasVP

  committed
  3973a50

  Copy full SHA for 3973a50

Commits on Mar 3, 2020

• C++: Tests for variables with ambiguous types

  jbj

  committed
  30b43b9

  Copy full SHA for 30b43b9

• C++: Update tests following extractor no longer extracting some unused types

  igfoo

  committed
  5b0cb10

  Copy full SHA for 5b0cb10

Commits on Mar 2, 2020

• Merge pull request #2797 from rdmarsh2/rdmarsh/cpp/malloc-alias-locations

  Show description for ec85f9f
  jbj

  authored
  ec85f9f

  Copy full SHA for ec85f9f

Commits on Feb 28, 2020

• Merge pull request #2934 from geoffw0/add_tests

  Show description for 28ee756
  

  Robert Marsh

  authored
  28ee756

  Copy full SHA for 28ee756

• Merge pull request #2909 from yo-h/experimental

  Show description for ec90627
  semmle-qlci

  authored
  ec90627

  Copy full SHA for ec90627