JavaScript: Select Nodes (instead of PathNodes) everywhere.

This commit is contained in:
Max Schaefer
2018-11-08 15:01:45 +00:00
parent e365b722ee
commit 52ae757279
30 changed files with 53 additions and 33 deletions

View File

@@ -16,4 +16,5 @@ import DataFlow::PathGraph
from Configuration cfg, DataFlow::PathNode source, DataFlow::PathNode sink, DataFlow::Node request
where cfg.hasPathFlow(source, sink) and
request = sink.getNode().(Sink).getARequest()
select request, source, sink, "The $@ of this request depends on $@.", sink, sink.getNode().(Sink).getKind(), source, "a user-provided value"
select request, source, sink, "The $@ of this request depends on $@.",
sink.getNode(), sink.getNode().(Sink).getKind(), source, "a user-provided value"