[clang] [WIP] Refactor MallocChecker to use `BindExpr` in `evalCall` (PR #106081)
Pavel Skripkin via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 26 07:31:43 PDT 2024
pskrgag wrote:
So I just wanted to share progress on this. I have only 2 failing tests now:
```
Clang :: Analysis/NewDelete+MismatchedDeallocator_intersections.cpp
Clang :: Analysis/NewDelete-intersections.m
```
The problem with those is that now CSA reports read of undefined value obtained from `malloc`. I am not sure how to handle it and why it did work before this. Maybe it was related to wrong usage of `BindExpr`?
https://github.com/llvm/llvm-project/pull/106081
More information about the cfe-commits
mailing list