Commits

Breadcrumbs

History for

on04f4039

User selector

All users

All time

Commit History

Commits on Sep 4, 2024

• Merge pull request #17354 from paldepind/realloc-data-flow

  Show description for 04f4039
  paldepind

  authored
  04f4039

  Copy full SHA for 04f4039

Commits on Sep 3, 2024

• Merge pull request #17138 from jketema/generic

  Show description for 62766f6
  jketema

  authored
  62766f6

  Copy full SHA for 62766f6

• C++: Add data-flow test for realloc

  paldepind

  committed
  037912f

  Copy full SHA for 037912f

• C++: Make realloc a data-flow function

  paldepind

  committed
  78068a4

  Copy full SHA for 78068a4

Commits on Sep 2, 2024

• C++: Update expected test results after #17347

  jketema

  committed
  ae7bf6c

  Copy full SHA for ae7bf6c

• Merge pull request #17328 from paldepind/tweak-unbounded-barrier

  Show description for ee6c255
  paldepind

  authored
  ee6c255

  Copy full SHA for ee6c255

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

  paldepind

  committed
  660869e

  Copy full SHA for 660869e

Commits on Aug 30, 2024

• C++: Support C11 `_Generic` expressions

  jketema

  committed
  4945943

  Copy full SHA for 4945943

• C++: Add C11 `_Generic` IR tests

  jketema

  committed
  30335ab

  Copy full SHA for 30335ab

Commits on Aug 29, 2024

• C++: Tweak the `bounded` barrier

  paldepind

  committed
  e7f059a

  Copy full SHA for e7f059a

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