[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