[clang] [analyzer] Splitting TaintPropagation checker into reporting and mode… (PR #98157)

Donát Nagy via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 9 09:17:35 PDT 2024


================
@@ -18,7 +21,7 @@ ________
 
 Taint analysis works by checking for the occurrence of special operations during the symbolic execution of the program.
 Taint analysis defines sources, sinks, and propagation rules. It identifies errors by detecting a flow of information that originates from a taint source, reaches a taint sink, and propagates through the program paths via propagation rules.
-A source, sink, or an operation that propagates taint is mainly domain-specific knowledge, but there are some built-in defaults provided by :ref:`alpha-security-taint-TaintPropagation`.
+A source, sink, or an operation that propagates taint is mainly domain-specific knowledge, but there are some built-in defaults provided by ``TaintPropagation`` checker.
----------------
NagyDonat wrote:

```suggestion
A source, sink, or an operation that propagates taint is mainly domain-specific knowledge, but there are some built-in defaults provided by the ``TaintPropagation`` checker.
```

https://github.com/llvm/llvm-project/pull/98157


More information about the cfe-commits mailing list