[all-commits] [llvm/llvm-project] 89bc4c: [analyzer] Add custom filter functions for Generic...

[Borsik Gábor via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 89bc4c662c6c316f037347bf46efb9dc7584b15a
      https://github.com/llvm/llvm-project/commit/89bc4c662c6c316f037347bf46efb9dc7584b15a
  Author: Borsik Gabor <gabor.borsik at gmail.com>
  Date:   2019-11-23 (Sat, 23 Nov 2019)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
    M clang/lib/StaticAnalyzer/Checkers/Taint.cpp
    M clang/lib/StaticAnalyzer/Checkers/Taint.h
    M clang/test/Analysis/Inputs/taint-generic-config.yaml
    M clang/test/Analysis/taint-generic.c

  Log Message:
  -----------
  [analyzer] Add custom filter functions for GenericTaintChecker

This patch is the last of the series of patches which allow the user to
annotate their functions with taint propagation rules.

I implemented the use of the configured filtering functions. These
functions can remove taintedness from the symbols which are passed at
the specified arguments to the filters.

Differential Revision: https://reviews.llvm.org/D59516