[clang] [clang][analyzer] Model C23 memset_explicit in CStringChecker (PR #219701)

via cfe-commits cfe-commits at lists.llvm.org
Sat Aug 29 10:02:35 PDT 2026


https://github.com/anondeveg created https://github.com/llvm/llvm-project/pull/219701

added support for memset_explicit static analysis.

>From b547ddae80f37d5d85ccdebd87c33b148196253d Mon Sep 17 00:00:00 2001
From: Anondev <anondeveg at gmail.com>
Date: Sat, 29 Aug 2026 19:57:24 +0300
Subject: [PATCH] [analyzer] Model C23 memset_explicit in CStringChecker

---
 clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
index 9fd8d4880c59f..aae08364f5011 100644
--- a/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
@@ -136,7 +136,7 @@ class CStringChecker
       {{CDM::CLibraryMaybeHardened, {"memset"}, 3},
        &CStringChecker::evalMemset},
       {{CDM::CLibrary, {"explicit_memset"}, 3}, &CStringChecker::evalMemset},
-      // FIXME: C23 introduces 'memset_explicit', maybe also model that
+      {{CDM::CLibrary, {"memset_explicit"}, 3}, &CStringChecker::evalMemset},
       {{CDM::CLibraryMaybeHardened, {"strcpy"}, 2},
        &CStringChecker::evalStrcpy},
       {{CDM::CLibraryMaybeHardened, {"strncpy"}, 3},



More information about the cfe-commits mailing list