[CPP-370] Remove prohibition against UserDefinedFormattingFunction

This commit is contained in:
Ziemowit Laski
2019-05-16 15:09:21 -07:00
parent 8faf95ec84
commit f6903c769a

View File

@@ -97,11 +97,7 @@ class NonConstFlow extends TaintTracking::Configuration {
override predicate isSource(DataFlow::Node source) { isNonConst(source) }
override predicate isSink(DataFlow::Node sink) {
exists(FormattingFunctionCall fc |
sink.asExpr() = fc.getArgument(fc.getFormatParameterIndex())
|
not fc.getTarget() instanceof UserDefinedFormattingFunction
)
exists(FormattingFunctionCall fc | sink.asExpr() = fc.getArgument(fc.getFormatParameterIndex()))
}
}