All pull requests

Pull requests

• [starvation] report locks taken in callees at the call site

  CLA Signed
  #2164·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [pulse] check the stream passed to fclose and pclose

  CLA Signed
  #2163·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] copy array elements in struct copies and lambda captures

  CLA Signed
  #2162·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [pulse] report uses of closed file descriptors

  CLA Signed
  #2161·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] fix the translation of structured bindings

  CLA Signed
  #2160·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [pulse] model std::weak_ptr

  CLA Signed
  #2159·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [pulse] model realloc as moving the old contents to a distinct block

  CLA Signed
  #2158·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] do not abort translation on variables of undeduced auto type

  CLA Signed
  #2157·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] translate transparent init lists like parentheses

  CLA Signed
  #2156·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] translate pointer-to-member accesses and calls

  CLA Signed
  #2155·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] translate the init-statement of range-based for and switch statements

  CLA Signed
  #2154·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] translate block-scope enum, function and local label declarations

  CLA Signed
  #2153·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [clang] translate attributed statements instead of dropping the procedure

  CLA Signed
  #2152·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [backend] analyze procedures defined in changed headers

  CLA Signed
  #2151·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [pulse] model std::optional::reset() under libc++

  CLA Signed
  #2150·VladimirMakaev opened Oct 2, 2026Contributor·

  ·

• [pulse] do not report leaks when a path ends in a call to a noreturn function

  CLA Signed
  #2149·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [pulse] model more file descriptor creators and fix fdopen on failure

  CLA Signed
  #2148·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [clang] translate C++20 parenthesized aggregate initialization

  CLA Signed
  #2147·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [java] Model Socket constructors for Pulse resource leaks

  CLA Signed
  #2145·tanvir-ux opened Oct 2, 2026Contributor·3 tasks done·

  ·
  1

  4

• [pulse] treat calls to C functions with mismatched arity as unknown

  CLA Signed
  #2142·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [clang] translate braced initialization of vector types

  CLA Signed
  #2141·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [clang] run destructors of variables that go out of scope on goto

  CLA Signed
  #2139·VladimirMakaev opened Oct 2, 2026Contributor·

  ·
  1

• [rust][TreeBorrows] Apply callee summaries at call sites and add Tree Borrows specialization

  CLA Signed
  #2124·MateiMirica opened Sep 19, 2026Contributor·

  ·
  4

• [pulse] model C variadic out-parameters to fix false MEMORY_LEAK_C

  CLA Signed
  #2078·SuryanshSS1011 opened Jul 13, 2026Contributor·

  ·
  5

• Fix Accessibility Violations for Hyperlinks and Images on Website

  CLA Signed
  #1994·huangkevin-apr opened Jan 31, 2026·

  ·