Commits

Breadcrumbs

History for

on7abece4

User selector

All users

All time

Commit History

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

• Merge pull request #16896 from hvitved/ssa/dataflow-integration-prep

  Show description for da0909c
  hvitved

  authored
  da0909c

  Copy full SHA for da0909c

• SSA: Add `BasicBlock.{getNode/1,length/0}` to the input signature

  hvitved

  committed
  4ae8720

  Copy full SHA for 4ae8720

• C++: Fix more QLDoc.

  MathiasVP

  committed
  284007d

  Copy full SHA for 284007d

Commits on Jul 2, 2024

• C++: Update QLDoc on 'GuardCondition' to reflect the fact that switch statements are supported.

  MathiasVP

  committed
  4652003

  Copy full SHA for 4652003

• C++: Add QLDoc to 'getParameterTypeName'.

  MathiasVP

  committed
  6b025db

  Copy full SHA for 6b025db

• C++: Expand QLDoc on 'signatureMatches'.

  MathiasVP

  committed
  c104a0a

  Copy full SHA for c104a0a

Commits on Jul 1, 2024

• C++: Add more QLDoc.

  MathiasVP

  committed
  0b4459d

  Copy full SHA for 0b4459d

Commits on Jun 26, 2024

• C++: Add tests of internal MaD predicates and accept test changes.

  MathiasVP

  committed
  e845204

  Copy full SHA for e845204

• C++: Mention in the QLDoc that you cannot instantiate templates in the signature string.

  MathiasVP

  committed
  d38ce61

  Copy full SHA for d38ce61

Commits on Jun 24, 2024

• Merge pull request #16797 from MathiasVP/yml-for-allocation-and-deallocation

  Show description for 5b1b60c
  MathiasVP

  authored
  5b1b60c

  Copy full SHA for 5b1b60c

• Merge pull request #16785 from aschackmull/dataflow/stage3-notypes

  Show description for 25d520a
  aschackmull

  authored
  25d520a

  Copy full SHA for 25d520a

• Dataflow: Cache compatibleTypes.

  aschackmull

  committed
  8c23e21

  Copy full SHA for 8c23e21

• C++: Fix value numbering imports.

  MathiasVP

  committed
  00d772f

  Copy full SHA for 00d772f

Commits on Jun 21, 2024

• C++: Simplify 'parseParens'.

  MathiasVP

  committed
  9a2c7d3

  Copy full SHA for 9a2c7d3

• C++: Fix Code Scanning errors.

  MathiasVP

  committed
  f507b51

  Copy full SHA for f507b51

• C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.

  MathiasVP

  committed
  3e98623

  Copy full SHA for 3e98623

• C++: Perform a TC to skip conversions when special-casing materialization of temporaries.

  MathiasVP

  committed
  7d41e8e

  Copy full SHA for 7d41e8e

• C++: Fix 'toString' on parameter and argument positions.

  MathiasVP

  committed
  47309df

  Copy full SHA for 47309df

• C++: Add MaD syntax for an arbitrary number of dereferences.

  MathiasVP

  committed
  b0bd7a9

  Copy full SHA for b0bd7a9

• C++: Support a richer language in MaD summaries for selecting member functions.

  MathiasVP

  committed
  716df0c

  Copy full SHA for 716df0c

• C++: Replace allocation models with models from extensible predicates.

  MathiasVP

  committed
  6bf22bd

  Copy full SHA for 6bf22bd

Commits on Jun 20, 2024

• C++: Add extensible predicate for allocation.

  MathiasVP

  committed
  d308178

  Copy full SHA for d308178

• C++: Replace deallocation models with models from extensible predicates.

  MathiasVP

  committed
  3457551

  Copy full SHA for 3457551

• C++: Add extensible predicate for deallocation.

  MathiasVP

  committed
  e5c20b1

  Copy full SHA for e5c20b1

Commits on Jun 19, 2024

• C++: Support 'Element' content in flow summaries.

  MathiasVP

  committed
  901fac4

  Copy full SHA for 901fac4

• C++: Add support for 'Element' content in dataflow.

  MathiasVP

  committed
  013ee9c

  Copy full SHA for 013ee9c

• C++: Get rid of all the 'StdContainer' taint models.

  MathiasVP

  committed
  c158f80

  Copy full SHA for c158f80

Commits on Jun 13, 2024

• C++: Fix FP by also excluding indirections of array expressions.

  MathiasVP

  committed
  4079de1

  Copy full SHA for 4079de1

Commits on Jun 11, 2024

• Merge branch 'rc/3.14' into rc-3.14-mergeback

  MathiasVP

  committed
  3351b95

  Copy full SHA for 3351b95

• C++: Add file QLDoc.

  MathiasVP

  committed
  6a69783

  Copy full SHA for 6a69783

• C++: Cache more things.

  MathiasVP

  committed
  333df03

  Copy full SHA for 333df03

Commits on Jun 10, 2024

• C++: Fix QLDoc.

  MathiasVP

  committed
  c3bba38

  Copy full SHA for c3bba38

• C++: Cleanup.

  MathiasVP

  committed
  b0c4fce

  Copy full SHA for b0c4fce

• C++: Support builtin expect in IRGuards.

  MathiasVP

  committed
  84c1341

  Copy full SHA for 84c1341