Charusso added a comment. 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. 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