Commits

Breadcrumbs

History for

on34ddbc0

User selector

All users

All time

Commit History

Commits on Aug 25, 2020

• C++: add `std::string::end` to model

  

  Robert Marsh

  committed
  34ddbc0

  Copy full SHA for 34ddbc0

Commits on Aug 24, 2020

• C++: add tests for non-std:: iterators

  

  Robert Marsh

  committed
  9aa3735

  Copy full SHA for 9aa3735

Commits on Aug 21, 2020

• Merge branch 'main' into rdmarsh2/cpp/input-iterators-1

  Show description for bc0d218
  

  Robert Marsh

  committed
  bc0d218

  Copy full SHA for bc0d218

• C++: remove constexpr in stl.h temporarily

  

  Robert Marsh

  committed
  4c82753

  Copy full SHA for 4c82753

• C++: Fix iterator taint flow

  

  Robert Marsh

  committed
  94d4e05

  Copy full SHA for 94d4e05

• C++: more tests for string iterator flow

  

  Robert Marsh

  committed
  656340f

  Copy full SHA for 656340f

Commits on Aug 20, 2020

• Merge remote-tracking branch 'upstream/main' into vecmethods

  geoffw0

  committed
  3d171f3

  Copy full SHA for 3d171f3

• C++: Model vector methods.

  geoffw0

  committed
  cda9fd2

  Copy full SHA for cda9fd2

• C++: Add vector taint cases to test.

  geoffw0

  committed
  620126d

  Copy full SHA for 620126d

• C++: Repair the range based for test.

  geoffw0

  committed
  43c8efd

  Copy full SHA for 43c8efd

• C++: Add more detail to the vector class in the test stl.h.

  geoffw0

  committed
  8afa92d

  Copy full SHA for 8afa92d

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

  jbj

  committed
  b1c0e6f

  Copy full SHA for b1c0e6f

Commits on Aug 19, 2020

• C++: input iterator models

  

  Robert Marsh

  committed
  20188b7

  Copy full SHA for 20188b7

• 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

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

  jbj

  committed
  b65f822

  Copy full SHA for b65f822

• C++: Accept improved IntegerOverflowTainted test

  jbj

  committed
  fd0937e

  Copy full SHA for fd0937e

• C++: SimpleRangeAnalysis for *= by constant

  jbj

  committed
  b316644

  Copy full SHA for b316644

• C++: SimpleRangeAnalysis for MulExpr by constant

  jbj

  committed
  b6b7272

  Copy full SHA for b6b7272

• 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