[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