[PATCH] D71524: [analyzer] Support tainted objects in GenericTaintChecker

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Mar 24 09:07:13 PDT 2020


Szelethus added a comment.
Herald added a subscriber: ASDenysPetrov.

In D71524#1924508 <https://reviews.llvm.org/D71524#1924508>, @steakhal wrote:

> I think `CallDescription` can only identify objects/functions which has `IdefntifyerInfo` in them. AFAIK operators don't have such. Though somehow AST matchers of Clang Tidy were triggered with this: `functionDecl(hasName("operator>>"))`


Yup, we could make improvements on `CallDescription` as well :)

> I'm afraid it needs to be a different patch to replace with `CallDescriptionMap`, even though I agree with you.

I don't mean to deploy the map in this patch, but if this lands as-is, the proposed logic will have to be revisited again.


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

https://reviews.llvm.org/D71524





More information about the cfe-commits mailing list