Commits

Breadcrumbs

History for

on1cba09d

User selector

All users

All time

Commit History

Commits on Sep 1, 2020

• C++: Remove some remnants of the extractor CFG

  igfoo

  committed
  1cba09d

  Copy full SHA for 1cba09d

Commits on Aug 28, 2020

• Merge pull request #4148 from geoffw0/vecextra

  Show description for 55d7ac8
  jbj

  authored
  55d7ac8

  Copy full SHA for 55d7ac8

Commits on Aug 27, 2020

• Merge pull request #4151 from geoffw0/reftaint

  Show description for ceddc24
  MathiasVP

  authored
  ceddc24

  Copy full SHA for ceddc24

• C++: Fix assign in the test stl.h.

  geoffw0

  committed
  208cd4c

  Copy full SHA for 208cd4c

• C++: Remove the non-reference case that we shouldn't need.

  geoffw0

  committed
  927a4fa

  Copy full SHA for 927a4fa

• C++: Fix getAValueTypeParameterIndex().

  geoffw0

  committed
  865d91d

  Copy full SHA for 865d91d

• C++: Add a test case using a const int *.

  geoffw0

  committed
  816b8ab

  Copy full SHA for 816b8ab

• Python+CPP: Change `values` to `value`

  tausbn

  committed
  797e290

  Copy full SHA for 797e290

• Python: Sync InlineExpectationsTest.qll between Python and C++

  Show description for dccbcc1
  tausbn

  committed
  dccbcc1

  Copy full SHA for dccbcc1

• C++: Add a test case using a typedef int.

  geoffw0

  committed
  a5a3078

  Copy full SHA for a5a3078

• C++: Taint tests for array and reference assignments.

  geoffw0

  committed
  6f62803

  Copy full SHA for 6f62803

• C++: Add a model of std::vector::assign.

  geoffw0

  committed
  111da4c

  Copy full SHA for 111da4c

• C++: Split StdStringCStr and allow reverse flow on data.

  geoffw0

  committed
  fbac4ce

  Copy full SHA for fbac4ce

• C++: Add reverse taint as well.

  geoffw0

  committed
  fbff44e

  Copy full SHA for fbff44e

• C++: Model std::vector::data.

  geoffw0

  committed
  6ae96ba

  Copy full SHA for 6ae96ba

• C++: Add test cases for 'assign' and extra cases for 'data'.

  geoffw0

  committed
  2235c19

  Copy full SHA for 2235c19

Commits on Aug 26, 2020

• Merge branch 'main' into python-cpp-make-inline-test-libs-language-agnostic

  tausbn

  committed
  0f221cc

  Copy full SHA for 0f221cc

• C++: Add documentation for the `LineComment` class

  tausbn

  committed
  a824d75

  Copy full SHA for a824d75

• Merge pull request #4125 from geoffw0/oparray2

  Show description for f60abd8
  jbj

  authored
  f60abd8

  Copy full SHA for f60abd8

• Merge pull request #4120 from github/igfoo/global_vars

  Show description for 00316dc
  nickrolfe

  authored
  00316dc

  Copy full SHA for 00316dc

• CPP: Make inline expectation test library language agnostic.

  Show description for f8ba4c1
  tausbn

  committed
  f8ba4c1

  Copy full SHA for f8ba4c1

Commits on Aug 25, 2020

• C++: Add tests of nested vectors.

  geoffw0

  committed
  23a792b

  Copy full SHA for 23a792b

Commits on Aug 24, 2020

• C++: Correct the localFlow test.

  geoffw0

  committed
  adbfad2

  Copy full SHA for adbfad2

• C++: Clean up, comment, and restrict the new flow to the post-update node of the returned reference.

  geoffw0

  committed
  d3c8ffb

  Copy full SHA for d3c8ffb

• C++: Reverse taint through function models returning a reference.

  geoffw0

  committed
  f2caa8a

  Copy full SHA for f2caa8a

• C++: Permit taint flow to the left side of an assignment.

  geoffw0

  committed
  f25ef26

  Copy full SHA for f25ef26

• C++: Model 'operator[]' and 'at' for std::string, std::vector and other containers.

  geoffw0

  committed
  1da78ad

  Copy full SHA for 1da78ad

• C++: Add tests for std::string 'operator[]' and 'at()'.

  geoffw0

  committed
  f6770c5

  Copy full SHA for f6770c5

• C++: Confirm correct behaviour on C++20

  Show description for b2cd98a
  jbj

  committed
  b2cd98a

  Copy full SHA for b2cd98a

• C++: Add VariableDeclarationEntry test to library-tests/variables/global

  igfoo

  committed
  3ead154

  Copy full SHA for 3ead154

• C++: Demonstrate that constexpr implies const

  Show description for cd8e9a1
  jbj

  committed
  cd8e9a1

  Copy full SHA for cd8e9a1

Commits on Aug 23, 2020

• C++: Give fewer types to global variables

  Show description for fb62ce6
  igfoo

  committed
  fb62ce6

  Copy full SHA for fb62ce6

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