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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
