Commits

Breadcrumbs

History for

onca534cc

User selector

All users

All time

Commit History

Commits on Oct 16, 2020

• C++: Update inline expectation comments

  

  MathiasVP

  authored and

  hvitved

  committed
  ca534cc

  Copy full SHA for ca534cc

• C++: Update expected test output

  hvitved

  committed
  570b624

  Copy full SHA for 570b624

Commits on Oct 13, 2020

• Merge pull request #4459 from geoffw0/setex

  Show description for b49aa67
  

  Robert Marsh

  authored
  b49aa67

  Copy full SHA for b49aa67

Commits on Oct 12, 2020

• Merge pull request #4439 from geoffw0/mapex

  Show description for 3b7cf7f
  

  Robert Marsh

  authored
  3b7cf7f

  Copy full SHA for 3b7cf7f

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

  jbj

  committed
  0459248

  Copy full SHA for 0459248

• Merge pull request #4420 from jbj/SimpleRangeAnalysis-widen-Expr

  Show description for 6440db7
  geoffw0

  authored
  6440db7

  Copy full SHA for 6440db7

• C++: Model std::set::emplace and emplace_hint.

  geoffw0

  committed
  4363f08

  Copy full SHA for 4363f08

• C++: Correct annotation in test

  jbj

  committed
  30b9d13

  Copy full SHA for 30b9d13

• C++: Model std::set::lower_bound, upper_bound, equal_range.

  geoffw0

  committed
  5d87117

  Copy full SHA for 5d87117

• C++: SimpleRangeAnalysis: widen recursive *, +, -

  Show description for 9b12cea
  jbj

  committed
  9b12cea

  Copy full SHA for 9b12cea

• C++: Add test with widening of binary Expr

  jbj

  committed
  bbeea45

  Copy full SHA for bbeea45

• C++: Model std::set::merge and correct test annotations.

  geoffw0

  committed
  fc19bba

  Copy full SHA for fc19bba

• Merge pull request #4447 from aschackmull/dataflow/postupdate-flow-consistency

  Show description for 725194a
  aschackmull

  authored
  725194a

  Copy full SHA for 725194a

Commits on Oct 9, 2020

• C++: Taint through emplace from qualifier to return value.

  geoffw0

  committed
  c63f7cb

  Copy full SHA for c63f7cb

• C++: Revise model of emplace and emplace_hint. Note that 2 of the 3 taint regressions we shouldn't be getting because we don't yet do taint through keys.

  geoffw0

  committed
  270517d

  Copy full SHA for 270517d

• C++: More test cases covering other std::pair constructors.

  geoffw0

  committed
  49c121d

  Copy full SHA for 49c121d

• Dataflow: Adjust test output.

  aschackmull

  committed
  091e3a2

  Copy full SHA for 091e3a2

• C++: Fix map::merge.

  geoffw0

  committed
  61a78e2

  Copy full SHA for 61a78e2

• C++: Block try_emplace arg 0.

  geoffw0

  committed
  1f1be3b

  Copy full SHA for 1f1be3b

• C++: Add test missing test case involving tainted key.

  geoffw0

  committed
  8786fe1

  Copy full SHA for 8786fe1

Commits on Oct 8, 2020

• C++: Replace isParameterDeref(_).

  geoffw0

  committed
  c555cfa

  Copy full SHA for c555cfa

• C++: Model map::lower_bound, upper_bound and equal_range.

  geoffw0

  committed
  5c1a510

  Copy full SHA for 5c1a510

• C++: Model map::merge.

  geoffw0

  committed
  ef9a7c8

  Copy full SHA for ef9a7c8

• C++: Model map::emplace, emplace_hint and map::try_emplace.

  geoffw0

  committed
  b7ab89c

  Copy full SHA for b7ab89c

• Merge pull request #4389 from gsingh93/bitwise-and

  Show description for b409cf6
  jbj

  authored
  b409cf6

  Copy full SHA for b409cf6

• C++: Additional test cases for emplace.

  geoffw0

  committed
  6394b1b

  Copy full SHA for 6394b1b

• C++: Test spacing.

  geoffw0

  committed
  61d5372

  Copy full SHA for 61d5372

• C++: Fix a bug in the tests.

  geoffw0

  committed
  4c4dd0c

  Copy full SHA for 4c4dd0c

Commits on Oct 6, 2020

• Merge pull request #4406 from geoffw0/set

  Show description for 984194d
  jbj

  authored
  984194d

  Copy full SHA for 984194d

• C++: Demonstrate overflowing guard bounds

  jbj

  committed
  1d9acbf

  Copy full SHA for 1d9acbf

Commits on Oct 5, 2020

• Merge pull request #4393 from MathiasVP/no-more-flow-into-read-side-effect

  Show description for 6b2ae5d
  jbj

  authored
  6b2ae5d

  Copy full SHA for 6b2ae5d

• Merge branch 'main' into set

  geoffw0

  committed
  4db964f

  Copy full SHA for 4db964f

• C++: Now that PrimaryArgumentNode is an OperandNode we want a specialized toString on it

  MathiasVP

  committed
  e95aefe

  Copy full SHA for e95aefe

• C++: Accept more test changes

  MathiasVP

  committed
  d162c3d

  Copy full SHA for d162c3d

• C++: Correct test comments.

  geoffw0

  committed
  855d2b5

  Copy full SHA for 855d2b5