[clang] [StaticAnalyzer][MallocChecker] Detect use-after-free for field address (e.g., &ptr->field) (PR #152462)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 8 10:21:18 PDT 2025


================
@@ -0,0 +1,44 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=unix.Malloc -verify %s
----------------
steakhal wrote:

```suggestion
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc -verify %s
```

https://github.com/llvm/llvm-project/pull/152462


More information about the cfe-commits mailing list