[PATCH] D59861: [analyzer] NFC: Replace Taint API with a usual inter-checker communication API?

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 28 03:52:12 PDT 2019


Szelethus accepted this revision.
Szelethus added a comment.

> "putting all such stuff into the `ProgramState` class clearly doesn't scale, but we still didn't come up with anything better, so let's just put it in the header and see if a better design suddenly emerges in the future after we do it a few hundred times"

Now that we have a maintainer who will dedicate a lot of effort into taint analysis, that might just happen :) For the time being though, I agree, this is much cleaner.

It would be great to land this as soon as you're comfortable with it, in order not to block @boga95's work.


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

https://reviews.llvm.org/D59861





More information about the cfe-commits mailing list