[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)
commit2a5fb1252e2d37eca397a54d8b15a0d9cc5391bb
treee8949650eb4bb8bb02ab394150e38052bb727cd1
parent2891b257c24c397374cf4660f8463c42f029826e
[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

llvm-svn: 352572
clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp