[clang] [analyzer] Clean up list of taint propagation functions (PR #91635)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Tue May 14 04:32:36 PDT 2024
================
@@ -400,17 +400,14 @@ class GenericTaintChecker : public Checker<check::PreCall, check::PostCall> {
void taintUnsafeSocketProtocol(const CallEvent &Call,
CheckerContext &C) const;
- /// Default taint rules are initalized with the help of a CheckerContext to
- /// access the names of built-in functions like memcpy.
+ /// The taint rules are initalized with the help of a CheckerContext to
+ /// access user-provided configuration.
void initTaintRules(CheckerContext &C) const;
- /// CallDescription currently cannot restrict matches to the global namespace
- /// only, which is why multiple CallDescriptionMaps are used, as we want to
- /// disambiguate global C functions from functions inside user-defined
- /// namespaces.
- // TODO: Remove separation to simplify matching logic once CallDescriptions
- // are more expressive.
-
+ // TODO: The two separate `CallDescriptionMap`s were introduced when
+ // `CallDescription` was unable to restric matches to the global namespace
----------------
steakhal wrote:
```suggestion
// `CallDescription` was unable to restrict matches to the global namespace
```
https://github.com/llvm/llvm-project/pull/91635
More information about the cfe-commits
mailing list