simplify the where clause of rb/kernel-open

This commit is contained in:
erik-krogh
2022-10-04 13:49:50 +02:00
parent bf74481f65
commit d370b2a51e

View File

@@ -71,7 +71,7 @@ from
where
config.hasFlowPath(source, sink) and
sourceNode = source.getNode() and
call.asExpr().getExpr().(MethodCall).getArgument(0) = sink.getNode().asExpr().getExpr()
call.getArgument(0) = sink.getNode()
select sink.getNode(), source, sink,
"This call to " + call.(Replacement).getFrom() + " depends on a . Replace it with " +
call.(Replacement).getTo() + ".", source.getNode(), "user-provided value"