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

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Feb 7 05:00:44 PST 2020


Szelethus added a comment.

A portion of my concerns are answered by this patch: D72035 <https://reviews.llvm.org/D72035>.



================
Comment at: clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp:103-132
   struct FunctionData {
     FunctionData() = delete;
     FunctionData(const FunctionData &) = default;
     FunctionData(FunctionData &&) = default;
     FunctionData &operator=(const FunctionData &) = delete;
     FunctionData &operator=(FunctionData &&) = delete;
 
----------------
Szelethus wrote:
> I know this isn't really relevant, but isn't this redundant with `CallDescription`?
Ah, okay, so `CallDescription` doesn't really have the `FunctionDecl`, but this still feels like a duplication of functionalities.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71524





More information about the cfe-commits mailing list