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

[via cfe-commits]

LoboQ1ng wrote:

> Hey, thanks for contributing!
> 
> I usually look at the tests before looking at the actual change. Could you demonstrate the improvement? You can grep for files containing similar diagnostics under the `clang/test/Analysis` folder if you look for the report messages. Pick one file which seems relevant to add your tests to.

Okay, I’ve now submitted a new test at clang/test/Analysis/malloc-checker-arg-uaf.c. It should help illustrate the improvement I made.

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