[all-commits] [llvm/llvm-project] a34cb5: [analyzer] Model strchr/strrchr/memchr/strstr/strp...

[Balázs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a34cb573eae65f48f0e51147289e042a86b55d16
      https://github.com/llvm/llvm-project/commit/a34cb573eae65f48f0e51147289e042a86b55d16
  Author: Balázs Benics <benicsbalazs at gmail.com>
  Date:   2026-07-12 (Sun, 12 Jul 2026)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
    A clang/test/Analysis/string-search-modeling.c

  Log Message:
  -----------
  [analyzer] Model strchr/strrchr/memchr/strstr/strpbrk/strchrnul (#207267)

CStringChecker did not model these buffer-search functions, so the
engine bound each call to a fresh conjured symbol unrelated to the source.

As a consequence, we could not track the origin of the returned pointer,
thus the fact that it shares provenance of the source pointer.

Fixes #203260

Assisted-by: Claude Opus 4.8



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications