[all-commits] [llvm/llvm-project] 6002e2: [analyzer] Split TaintPropagation checker into rep...

Daniel Krupp via All-commits all-commits at lists.llvm.org
Wed Jul 10 08:55:15 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6002e2fd49537e942e819e5d1e6f07481fd1229e
      https://github.com/llvm/llvm-project/commit/6002e2fd49537e942e819e5d1e6f07481fd1229e
  Author: Daniel Krupp <daniel.krupp at ericsson.com>
  Date:   2024-07-10 (Wed, 10 Jul 2024)

  Changed paths:
    M clang/docs/analyzer/checkers.rst
    M clang/docs/analyzer/user-docs/TaintAnalysisConfiguration.rst
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp

  Log Message:
  -----------
  [analyzer] Split TaintPropagation checker into reporting and modeling checkers (#98157)

Taint propagation is a a generic modeling feature of the Clang Static
Analyzer which many other checkers depend on. Therefore
GenericTaintChecker is split into a TaintPropagation modeling checker
and a GenericTaint reporting checker.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications


More information about the All-commits mailing list