]> granicus.if.org Git - clang/commit
[analyzer] NFC: GenericTaintChecker: Revise rule specification mechanisms.
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 30 Jan 2019 00:06:43 +0000 (00:06 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 30 Jan 2019 00:06:43 +0000 (00:06 +0000)
commit3928dd665ac3635d79a371cb88b26fd815575545
treed2ef16f05ff1c24f95208c53c9c8f1a84671c51a
parentb49c572ea1966e96b374451e21fd06818f40e9c4
[analyzer] NFC: GenericTaintChecker: Revise rule specification mechanisms.

Provide a more powerful and at the same time more readable way of specifying
taint propagation rules for known functions within the checker.

Now it should be possible to specify an unlimited amount of source and
destination parameters for taint propagation.

No functional change intended just yet.

Patch by Gábor Borsik!

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@352572 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp