[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