[all-commits] [llvm/llvm-project] 9abf6d: [analyzer] [MallocChecker] Assume functions with `...

[Pavel Skripkin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9abf6d3506c7289e062836cb9f70a9eaa56bcb68
      https://github.com/llvm/llvm-project/commit/9abf6d3506c7289e062836cb9f70a9eaa56bcb68
  Author: Pavel Skripkin <paskripkin at gmail.com>
  Date:   2024-09-26 (Thu, 26 Sep 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
    M clang/test/Analysis/malloc-annotations.c

  Log Message:
  -----------
  [analyzer] [MallocChecker] Assume functions with `ownership_returns`  return unknown memory (#110115)

There is no good way to tell CSA if function with `ownership_returns`
attribute returns initialized or not initialized memory. To make FP rate
lower, let's assume that memory returned from such functions is unknown
and do not reason about it.

In future it would be great to add a way to annotate such behavior



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