[clang] [analyzer] First batch of patches for the Juliet benchmark for taint improvements (PR #66074)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 12 06:16:12 PDT 2023


================
@@ -105,7 +105,8 @@ bool isStdin(SVal Val, const ASTContext &ACtx) {
   if (const auto *D = dyn_cast_or_null<VarDecl>(DeclReg->getDecl())) {
     D = D->getCanonicalDecl();
     // FIXME: This should look for an exact match.
-    if (D->getName().contains("stdin") && D->isExternC()) {
+    if (D->getName().contains("stdin") && D->hasExternalStorage() &&
----------------
steakhal wrote:

IDK, I didn't notice. I'll change it.

https://github.com/llvm/llvm-project/pull/66074


More information about the cfe-commits mailing list