[PATCH] D27753: [analyzer] alpha.security.DirtyScalar Checker

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 15 10:19:00 PST 2016


zaks.anna added a comment.

> Did you checked if same warnings may be emitted by another checkers? For example, 
>  ArrayBoundChecker may warn if index is tainted.

I second that. The GenericTaintChecker also reports uses of tainted values. It is not clear that we should add a new separate checker instead of adding the missing cases to the existing checkers.

Thank you!
Anna.


https://reviews.llvm.org/D27753





More information about the cfe-commits mailing list