[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