[all-commits] [llvm/llvm-project] aa4f81: [analyzer] Fix false positive for stack-addr leak ...

[Arseniy Zaostrovnykh via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa4f81efb99c93da3283ff3178be8db51cd655e2
      https://github.com/llvm/llvm-project/commit/aa4f81efb99c93da3283ff3178be8db51cd655e2
  Author: Arseniy Zaostrovnykh <necto.ne at gmail.com>
  Date:   2024-09-03 (Tue, 03 Sep 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp
    M clang/test/Analysis/stack-addr-ps.cpp

  Log Message:
  -----------
  [analyzer] Fix false positive for stack-addr leak on simple param ptr (#107003)

Assigning to a pointer parameter does not leak the stack address because
it stays within the function and is not shared with the caller.

Previous implementation reported any association of a pointer parameter
with a local address, which is too broad.

This fix enforces that the pointer to a stack variable is related by at
least one level of indirection.

CPP-5642

Fixes #106834



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