[clang] [analyzer] Limit `isTainted()` by skipping complicated symbols (PR #105493)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 21 04:51:44 PDT 2024
================
@@ -407,6 +407,11 @@ ANALYZER_OPTION(
ANALYZER_OPTION(unsigned, MaxSymbolComplexity, "max-symbol-complexity",
"The maximum complexity of symbolic constraint.", 35)
+// HACK:https://discourse.llvm.org/t/rfc-make-istainted-and-complex-symbols-friends/79570
+// Ideally, we should get rid of this option soon.
+ANALYZER_OPTION(unsigned, MaxTaintedSymbolComplexity, "max-tainted-symbol-complexity",
+ "[DEPRECATED] The maximum complexity of symbolic to carry taint", 10)
----------------
NagyDonat wrote:
```suggestion
"[DEPRECATED] The maximum complexity of a symbol to carry taint", 10)
```
Or something else might be even better, but the adjective "symbolic" is awkward without a noun.
https://github.com/llvm/llvm-project/pull/105493
More information about the cfe-commits
mailing list