All pull requests

Pull requests

• [DRAFT] [clang] connect sub-statements that create no CFG node or leave instructions pending

  CLA Signed
  #2212·VladimirMakaev opened Oct 3, 2026Contributor·

  ·
  1

• [DRAFT] [racerd] a callee that uses locks makes its C++ or ObjC caller concurrent

  CLA Signed
  #2211·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [starvation] treat pthread mutexes as non-recursive

  CLA Signed
  #2210·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [pulse] tie iterators returned by std algorithms to their vector

  CLA Signed
  #2209·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [inferbo] model std::array::data() and the size of std::array elements

  CLA Signed
  #2208·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [build] keep make devsetup from changing locked opam deps, and check it in CI

  CLA Signed
  #2207·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [racerd] apply the lock releases of callees and destructors to their callers

  CLA Signed
  #2206·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [starvation] match locks reached through members with the locks of their class

  CLA Signed
  #2205·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [pulse] invalidate the caller's vector elements when a callee reallocates

  CLA Signed
  #2204·VladimirMakaev opened Oct 3, 2026Contributor·

  ·

• [DRAFT] [pulse] check arguments of non-null parameters of unknown C/C++ functions

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

  ·

• [DRAFT] [pulse] forget pure unknown calls when the memory they read is written

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

  ·

• [DRAFT] [pulse] add --pulse-havoc-interrupted-loops to reach the code after long loops

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

  ·

• [DRAFT] [racerd][starvation] report on private methods and lambdas started as threads

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

  ·

• [DRAFT] [pulse] model custom deleters of std::unique_ptr and std::shared_ptr

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

  ·
  1

• [DRAFT] [pulse] stop confusing empty optionals with null pointers

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

  ·

• [DRAFT] [pulse] report issues that are latent only because of an unrelated branch in a callee

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

  ·

• [DRAFT] [inferbo] check the destination size of snprintf, strlcpy, read and friends

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

  ·

• [DRAFT] [pulse] model std::condition_variable waits with a predicate

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

  ·

• [DRAFT] [pulse] tie c_str(), string mutators and string_view to the std::string buffer

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

  ·

• [DRAFT] [inferbo] fix the units of offsets and sizes of pointer parameters

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

  ·

• [DRAFT] [inferbo] give global and static arrays their declared sizes

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

  ·

• [DRAFT] [racerd][starvation] follow pointers and references returned by C/C++ callees

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

  ·

• [DRAFT] [inferbo] model std::copy, copy_n, move, fill and fill_n on raw pointers

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

  ·

• [DRAFT] [starvation] report deadlocks on global and C struct locks in per-file mode

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

  ·

• [DRAFT] [restart] release reservations of retried jobs as soon as they are not needed

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

  ·