Commits

Breadcrumbs

History for

on660869e

User selector

All users

All time

Commit History

Commits on Sep 2, 2024

• C++: Add test for cpp/uninitialized-local and va_copy

  paldepind

  committed
  660869e

  Copy full SHA for 660869e

Commits on Aug 28, 2024

• Merge pull request #17298 from paldepind/model-functions-that-dont-throw

  Show description for edeefe5
  paldepind

  authored
  edeefe5

  Copy full SHA for edeefe5

• C++: Address review comments

  jketema

  committed
  2b571cf

  Copy full SHA for 2b571cf

• C++: Add support for more clang builtins

  jketema

  committed
  9e861ce

  Copy full SHA for 9e861ce

• Merge pull request #16970 from hvitved/dataflow/local-big-step-stage

  Show description for 7f8e6bf
  hvitved

  authored
  7f8e6bf

  Copy full SHA for 7f8e6bf

Commits on Aug 26, 2024

• C++: use inline annotation for missing flow

  asgerf

  committed
  16c2cf2

  Copy full SHA for 16c2cf2

• C++: Add basic modeling of functions that don't throw

  paldepind

  committed
  128053e

  Copy full SHA for 128053e

• Data flow: Compute local big step relation per stage

  hvitved

  committed
  c92c96f

  Copy full SHA for c92c96f

Commits on Aug 23, 2024

• C++: update test output

  Show description for d27b28d
  asgerf

  committed
  d27b28d

  Copy full SHA for d27b28d

Commits on Aug 21, 2024

• C++/C#/Java: Accept test changes.

  aschackmull

  committed
  525b6f3

  Copy full SHA for 525b6f3

• C++: Fix tests and add an actual true negative

  paldepind

  committed
  e4ce003

  Copy full SHA for e4ce003

Commits on Aug 19, 2024

• C++: Reuse bounded predicate in TaintedAllocationSize query

  paldepind

  committed
  1959e19

  Copy full SHA for 1959e19

Commits on Aug 13, 2024

• C++: Update documentation for cpp/uncontrolled-allocation-size to clarify its scope

  paldepind

  committed
  5e8ac5e

  Copy full SHA for 5e8ac5e

Commits on Aug 6, 2024

• C++: Accept test changes caused by new CLI version.

  geoffw0

  committed
  bf66a78

  Copy full SHA for bf66a78

Commits on Aug 5, 2024

• C++: Rename function to match what is actually being tested

  

  jketema

  authored and

  sashabu

  committed
  2870204

  Copy full SHA for 2870204

• C++: Update test after extractor fix

  

  jketema

  authored and

  sashabu

  committed
  bfae86e

  Copy full SHA for bfae86e

• C++ Add test showing incorrect value categories for `_Generic`s

  

  jketema

  authored and

  sashabu

  committed
  59db802

  Copy full SHA for 59db802

Commits on Aug 2, 2024

• C++: Expose `explicit` and `explicit(bool)` function specifiers

  jketema

  committed
  9744c06

  Copy full SHA for 9744c06

• C++: Add more deduction guide tests

  jketema

  committed
  972d9ca

  Copy full SHA for 972d9ca

Commits on Aug 1, 2024

• C++: Add `getTemplateClass` to `DeductionGuide`

  jketema

  committed
  4dcf679

  Copy full SHA for 4dcf679

Commits on Jul 31, 2024

• Merge pull request #17110 from geoffw0/memfree

  Show description for 20672ac
  geoffw0

  authored
  20672ac

  Copy full SHA for 20672ac

• C++: Simple fix.

  geoffw0

  committed
  4aea4c0

  Copy full SHA for 4aea4c0

• C++: Add test cases for the memory freed queries.

  geoffw0

  committed
  c04428d

  Copy full SHA for c04428d

• C++: Mark constexpr if as unevalauted.

  MathiasVP

  committed
  fe575df

  Copy full SHA for fe575df

• C++: Add constexpr if testcase.

  MathiasVP

  committed
  4e62dc8

  Copy full SHA for 4e62dc8

Commits on Jul 30, 2024

• Merge pull request #17098 from jketema/deduction

  Show description for f986484
  jketema

  authored
  f986484

  Copy full SHA for f986484

• C++: Respond to review comments.

  MathiasVP

  committed
  ef0370b

  Copy full SHA for ef0370b

• C++: Update tests after extractor changes

  jketema

  committed
  5455a36

  Copy full SHA for 5455a36

• C++: Accept test changes.

  MathiasVP

  committed
  afc0d0a

  Copy full SHA for afc0d0a

• C++: Accept test changes.

  MathiasVP

  committed
  f932e51

  Copy full SHA for f932e51

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

  MathiasVP

  committed
  8edf19a

  Copy full SHA for 8edf19a

• C++: Add a model for 'std::format' and a failing test.

  MathiasVP

  committed
  ff788c9

  Copy full SHA for ff788c9

Commits on Jul 29, 2024

• C++: Update MaD tests with correct template parameter counting in the presence of packs.

  sashabu

  committed
  2396c3c

  Copy full SHA for 2396c3c

Commits on Jul 26, 2024

• Merge pull request #16947 from github/calumgrant/attributes

  Show description for e1329df
  jketema

  authored
  e1329df

  Copy full SHA for e1329df

• Merge pull request #17062 from MathiasVP/speed-up-alias-analysis-4

  Show description for c0263be
  MathiasVP

  authored
  c0263be

  Copy full SHA for c0263be