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

• Update change note for realloc

  Show description for 7564304
  

  paldepind

  and

  jketema

  authored
  7564304

  Copy full SHA for 7564304

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++: Address review comment

  jketema

  committed
  5281943

  Copy full SHA for 5281943

• C++: Add change-note note for realloc as data-flow function

  paldepind

  committed
  d5948d2

  Copy full SHA for d5948d2

• 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

• Merge branch 'main' into henrymercer/rc-3.15-mergeback

  henrymercer

  committed
  3490067

  Copy full SHA for 3490067

• 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++: Make StringCchPrintf not extend NonThrowingFunction

  paldepind

  committed
  d1fecd8

  Copy full SHA for d1fecd8

• C++: Address review comments

  jketema

  committed
  2b571cf

  Copy full SHA for 2b571cf

• C++: Add change note

  jketema

  committed
  026969b

  Copy full SHA for 026969b

• 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

• C++: Add additional implementations of NonThrowingFunction and make minor fixes to docs

  paldepind

  committed
  d6049cd

  Copy full SHA for d6049cd

Commits on Aug 26, 2024

• C++: Fix imports

  paldepind

  committed
  d9dbcdb

  Copy full SHA for d9dbcdb

• 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

• Post-release preparation for codeql-cli-2.18.3

  

  github-actions[bot]

  committed
  0724fd7

  Copy full SHA for 0724fd7

• Release preparation for version 2.18.3

  

  github-actions[bot]

  committed
  17cd962

  Copy full SHA for 17cd962

• 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 20, 2024

• Merge pull request #17259 from aschackmull/dataflow/remove-srcsink-grouping

  Show description for 993bfee
  aschackmull

  authored
  993bfee

  Copy full SHA for 993bfee

• Legacy Dataflow: Sync.

  aschackmull

  committed
  8470e91

  Copy full SHA for 8470e91

• Dataflow: Remove src/sink grouping feature.

  aschackmull

  committed
  4afdb09

  Copy full SHA for 4afdb09

Commits on Aug 19, 2024

• C++: Add change note for cpp/uncontrolled-allocation-size

  paldepind

  committed
  1665bad

  Copy full SHA for 1665bad

• C++: Reuse bounded predicate in TaintedAllocationSize query

  paldepind

  committed
  1959e19

  Copy full SHA for 1959e19