[PATCH] D76229: [clang-tidy] Added PlacementNewStorageCheck

Karasev Nikita via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Mar 17 23:59:02 PDT 2020


f00kat added a comment.

In D76229#1926818 <https://reviews.llvm.org/D76229#1926818>, @Charusso wrote:

> In D76229#1925363 <https://reviews.llvm.org/D76229#1925363>, @f00kat wrote:
>
> > In D76229#1925268 <https://reviews.llvm.org/D76229#1925268>, @aaron.ballman wrote:
> >
> > > Have you considered making this a static analyzer check as opposed to a clang-tidy check? I think using dataflow analysis will really reduce the false positives because it will be able to track the allocation and alignment data across control flow.
> >
> >
> > I have never try to write static analyzer before. Okay, I will look at examples of how to work with dataflow.
>
>
> To getting started with the Analyzer please visit @NoQ's (tiny bit outdated) booklet: https://github.com/haoNoQ/clang-analyzer-guide
>
> Advertisement:
>  If D69726 <https://reviews.llvm.org/D69726> lands we will have an arsenal of APIs for helping dynamic size based checkers.
>  If D73521 <https://reviews.llvm.org/D73521> lands it should be easier to getting started with the Analyzer, but now you could visit what is our current API.


Thank you!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D76229/new/

https://reviews.llvm.org/D76229





More information about the cfe-commits mailing list