From 8564c9001ab593ac9c4525fadc9fd4741351aab2 Mon Sep 17 00:00:00 2001 From: Benjamin Muskalla Date: Tue, 26 Oct 2021 16:03:14 +0200 Subject: [PATCH] Fix naming for source nodes --- java/ql/src/utils/model-generator/CaptureSourceModels.ql | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/java/ql/src/utils/model-generator/CaptureSourceModels.ql b/java/ql/src/utils/model-generator/CaptureSourceModels.ql index 8386c54a44b..6739376084e 100644 --- a/java/ql/src/utils/model-generator/CaptureSourceModels.ql +++ b/java/ql/src/utils/model-generator/CaptureSourceModels.ql @@ -49,10 +49,10 @@ string asOutput(DataFlow::Node node) { } string captureSource(Callable api) { - exists(DataFlow::Node src, DataFlow::Node sink, FromSourceConfiguration config, string kind | - config.hasFlow(src, sink) and - sourceNode(sink, kind) and - api = src.getEnclosingCallable() and + exists(DataFlow::Node source, DataFlow::Node sink, FromSourceConfiguration config, string kind | + config.hasFlow(source, sink) and + sourceNode(source, kind) and + api = source.getEnclosingCallable() and result = asSourceModel(api, asOutput(sink), kind) ) }