Commits

Breadcrumbs

History for

on279a30c

User selector

All users

All time

Commit History

Commits on Dec 4, 2024

• C++: Make 'SetAt' a value-preserving step.

  MathiasVP

  committed
  279a30c

  Copy full SHA for 279a30c

• C++: Remove more taint to POSITIONs.

  MathiasVP

  committed
  c7dee4b

  Copy full SHA for c7dee4b

• C++: Remove more taint to POSITIONs.

  MathiasVP

  committed
  9dc3aec

  Copy full SHA for 9dc3aec

• C++: Remove taint to POSITIONs.

  MathiasVP

  committed
  de75e03

  Copy full SHA for de75e03

Commits on Dec 3, 2024

• C++: Fix models and accept test changes.

  MathiasVP

  committed
  c3086d4

  Copy full SHA for c3086d4

Commits on Nov 27, 2024

• C++: Add a MaD model for 'CRegKey' and mark query calls as local flow sources.

  MathiasVP

  committed
  d69de0c

  Copy full SHA for d69de0c

• C++: Add a MaD model for 'CAtlTemporaryFile' and mark reads as local flow sources.

  MathiasVP

  committed
  33212da

  Copy full SHA for 33212da

• C++: Add a MaD model for 'CAtlFileMappingBase' and mark reads as local flow sources.

  MathiasVP

  committed
  3709151

  Copy full SHA for 3709151

• C++: Add a MaD model for 'CAtlFile' and mark reads as local flow sources.

  MathiasVP

  committed
  74eae4a

  Copy full SHA for 74eae4a

• C++: Add MaD model for 'CUrl'.

  MathiasVP

  committed
  300e3ea

  Copy full SHA for 300e3ea

• C++: Add MaD model for 'CSimpleMap'.

  MathiasVP

  committed
  74b6c9d

  Copy full SHA for 74b6c9d

• C++: Add MaD model for 'CSimpleArray'.

  MathiasVP

  committed
  02b88d5

  Copy full SHA for 02b88d5

• C++: Add MaD model for 'CPathT'.

  MathiasVP

  committed
  3543619

  Copy full SHA for 3543619

• C++: Add MaD model for 'CComSafeArray'.

  MathiasVP

  committed
  5f05417

  Copy full SHA for 5f05417

• C++: Add MaD model for 'CComBSTR'.

  MathiasVP

  committed
  9b00484

  Copy full SHA for 9b00484

• C++: Add MaD model for 'CAtlList'.

  MathiasVP

  committed
  2b8ef5a

  Copy full SHA for 2b8ef5a

• C++: Add MaD model for 'CAtlArray'.

  MathiasVP

  committed
  0f8df1c

  Copy full SHA for 0f8df1c

• C++: Add models.

  MathiasVP

  committed
  763b991

  Copy full SHA for 763b991

• C++: Add model. Observe that flow still fails.

  MathiasVP

  committed
  bf36f00

  Copy full SHA for bf36f00

Commits on Jul 30, 2024

• C++: Take out the 'Element' content from std::format model.

  MathiasVP

  committed
  6d8a83f

  Copy full SHA for 6d8a83f

• C++: Respond to review comments.

  MathiasVP

  committed
  ef0370b

  Copy full SHA for ef0370b

• C++: Add MaD model for 'std::format'.

  MathiasVP

  committed
  8edf19a

  Copy full SHA for 8edf19a

Commits on Jul 4, 2024

• Merge pull request #16791 from MathiasVP/collection-content-2

  Show description for 8e18e7d
  MathiasVP

  authored
  8e18e7d

  Copy full SHA for 8e18e7d

Commits on Jul 3, 2024

• C++: Add bsl models for 'array::front' and 'array::back'.

  MathiasVP

  committed
  af28dd8

  Copy full SHA for af28dd8

• C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

  MathiasVP

  committed
  f9d6c63

  Copy full SHA for f9d6c63

• C++: Fix 'emplace_after' model in bsl.

  MathiasVP

  committed
  246f3fd

  Copy full SHA for 246f3fd

• C++: Fix 'assign' models.

  MathiasVP

  committed
  5351c27

  Copy full SHA for 5351c27

• C++: Make sure the 'emplace' functions that return iterators are modeled via Element content.

  MathiasVP

  committed
  6d05324

  Copy full SHA for 6d05324

• C++: Fix yml file name.

  MathiasVP

  committed
  e03f808

  Copy full SHA for e03f808

• C++: Add models for 'array::front' and 'array::back'.

  MathiasVP

  committed
  c4dabb9

  Copy full SHA for c4dabb9

• C++: Replace 'Element[*@]' with 'Element[@]'.

  MathiasVP

  committed
  5be9485

  Copy full SHA for 5be9485

Commits on Jun 27, 2024

• C++: Add bsl models.

  MathiasVP

  committed
  2ad8704

  Copy full SHA for 2ad8704

Commits on Jun 24, 2024

• C++: Add 'bsl::free' as a deallocation function model.

  MathiasVP

  committed
  36d59ce

  Copy full SHA for 36d59ce

Commits on Jun 21, 2024

• C++: Add gnu iterator models to regain TP.

  MathiasVP

  committed
  40fb59d

  Copy full SHA for 40fb59d

• C++: Update MaD models.

  MathiasVP

  committed
  85da3d2

  Copy full SHA for 85da3d2