Commits

Breadcrumbs

History for

ona457d54

User selector

All users

All time

Commit History

Commits on Aug 19, 2020

• Merge pull request #4078 from jbj/SimpleRangeAnalysis-AssignMulExpr

  Show description for a457d54
  

  Robert Marsh

  authored
  a457d54

  Copy full SHA for a457d54

• Merge pull request #4090 from geoffw0/strmethods

  Show description for b14bc42
  jbj

  authored
  b14bc42

  Copy full SHA for b14bc42

• Merge remote-tracking branch 'upstream/main' into SimpleRangeAnalysis-AssignMulExpr

  jbj

  committed
  21d16d1

  Copy full SHA for 21d16d1

• Merge pull request #4089 from jbj/jbj/printFloat-precise

  Show description for 83884c0
  jbj

  authored
  83884c0

  Copy full SHA for 83884c0

Commits on Aug 18, 2020

• C++: fix compilation errors in ssa.cpp

  nickrolfe

  committed
  d7849bc

  Copy full SHA for d7849bc

• C++: Correctly classify the MulExpr rounding bugs

  jbj

  committed
  2e2f99c

  Copy full SHA for 2e2f99c

• C++: Also accept PointlessComparison test changes

  jbj

  committed
  27345c6

  Copy full SHA for 27345c6

Commits on Aug 17, 2020

• C++: Fix a hole in StdStringAppend and clarify comments.

  geoffw0

  committed
  0234bca

  Copy full SHA for 0234bca

• Merge pull request #4076 from jbj/SimpleRangeAnalysis-AssignOperation

  Show description for 9decb47
  

  Robert Marsh

  authored
  9decb47

  Copy full SHA for 9decb47

• C++: Implement more std::string models.

  geoffw0

  committed
  a11ca06

  Copy full SHA for a11ca06

• C++: Add test cases for std::string methods.

  geoffw0

  committed
  9204940

  Copy full SHA for 9204940

• C++: Add prototypes for std::string methods to test.

  geoffw0

  committed
  789e781

  Copy full SHA for 789e781

• Merge pull request #4074 from jbj/SimpleRangeAnalysis-extensible

  Show description for 4b4b8a9
  geoffw0

  authored
  4b4b8a9

  Copy full SHA for 4b4b8a9

• C++: Accept float.toString changes in tests

  jbj

  committed
  e03fe81

  Copy full SHA for e03fe81

Commits on Aug 14, 2020

• Merge remote-tracking branch 'upstream/master' into split

  geoffw0

  committed
  89c2b6d

  Copy full SHA for 89c2b6d

• C++: Range analysis for unsigned AssignMulExpr

  Show description for fe72b55
  jbj

  committed
  fe72b55

  Copy full SHA for fe72b55

• C++: Fix SimpleRangeAnalysis for AssignOperation

  Show description for f90d779
  jbj

  committed
  f90d779

  Copy full SHA for f90d779

• C++: Add custom modeling to extensibility.ql

  jbj

  committed
  f7273b8

  Copy full SHA for f7273b8

• C++: Add test for extensible range analysis

  Show description for ee33125
  jbj

  committed
  ee33125

  Copy full SHA for ee33125

Commits on Aug 13, 2020

• Merge remote-tracking branch 'upstream/master' into plus

  geoffw0

  committed
  498b350

  Copy full SHA for 498b350

• C++: Split off stringstream.cpp.

  geoffw0

  committed
  a839f1f

  Copy full SHA for a839f1f

• C++: Tidy up sources and sinks.

  geoffw0

  committed
  49d2f66

  Copy full SHA for 49d2f66

• C++: Split stl.cpp into string.cpp and vector.cpp.

  geoffw0

  committed
  f343eb9

  Copy full SHA for f343eb9

• C++: Split off stl.h from stl.cpp.

  geoffw0

  committed
  5d7f771

  Copy full SHA for 5d7f771

• Merge pull request #4053 from jbj/SimpleRangeAnalysis-mul

  Show description for 93f95b1
  geoffw0

  authored
  93f95b1

  Copy full SHA for 93f95b1

• C++: Taint through char append.

  geoffw0

  committed
  7349333

  Copy full SHA for 7349333

• C++: Add a test of append with CharT.

  geoffw0

  committed
  3c0e7a7

  Copy full SHA for 3c0e7a7

• C++: Add another member function.

  geoffw0

  committed
  732a8fa

  Copy full SHA for 732a8fa

Commits on Aug 12, 2020

• C++: Demonstrate range analysis MulExpr bugs

  Show description for 93d8d8e
  jbj

  committed
  93d8d8e

  Copy full SHA for 93d8d8e

• C++: SimpleRangeAnalysis: unsigned multiplication

  jbj

  committed
  1ee96a4

  Copy full SHA for 1ee96a4

Commits on Aug 11, 2020

• Merge pull request #3861 from dilanbhalla/privatedata

  Show description for e80cc63
  

  Robert Marsh

  authored
  e80cc63

  Copy full SHA for e80cc63

• C++: Taint through std::string operator+=.

  geoffw0

  committed
  f62ad75

  Copy full SHA for f62ad75

• C++: Taint through std::string operator+.

  geoffw0

  committed
  cf6f530

  Copy full SHA for cf6f530

• C++: Taint through std::string append.

  geoffw0

  committed
  a57dfd6

  Copy full SHA for a57dfd6

• C++: Add test cases for appending strings.

  geoffw0

  committed
  f824a89

  Copy full SHA for f824a89