[analyzer] Add custom filter functions for GenericTaintChecker
authorBorsik Gabor <gabor.borsik@gmail.com>
Sun, 8 Sep 2019 21:06:37 +0000 (23:06 +0200)
committerBorsik Gabor <gabor.borsik@gmail.com>
Sat, 23 Nov 2019 19:12:15 +0000 (20:12 +0100)
commit89bc4c662c6c316f037347bf46efb9dc7584b15a
tree975bbbc79be9096cddd0c6dfcec6d0b20b056fac
parent9cd4034c0aa5bf1ea26cca77503042c85f74a111
[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
clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
clang/lib/StaticAnalyzer/Checkers/Taint.cpp
clang/lib/StaticAnalyzer/Checkers/Taint.h
clang/test/Analysis/Inputs/taint-generic-config.yaml
clang/test/Analysis/taint-generic.c