[all-commits] [llvm/llvm-project] 09b8db: [analyzer] Add optin.taint.TaintedDiv checker (#10...

[Daniel Krupp via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 09b8dbfa80d62e64efb09bd166324270c96badf9
      https://github.com/llvm/llvm-project/commit/09b8dbfa80d62e64efb09bd166324270c96badf9
  Author: Daniel Krupp <daniel.krupp at ericsson.com>
  Date:   2024-10-01 (Tue, 01 Oct 2024)

  Changed paths:
    M clang/docs/analyzer/checkers.rst
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/include/clang/StaticAnalyzer/Core/CheckerManager.h
    M clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
    A clang/test/Analysis/divzero-tainted-div-difference.c
    M clang/test/Analysis/taint-diagnostic-visitor.c
    M clang/test/Analysis/taint-generic.c

  Log Message:
  -----------
  [analyzer] Add optin.taint.TaintedDiv checker (#106389)

Tainted division operation is separated out from the core.DivideZero
checker into the optional optin.taint.TaintedDiv checker. The checker
warns when the denominator in a division operation is an attacker
controlled value.



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