hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-05 07:06:47 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix naming for source nodes

Browse Source
This commit is contained in:
Benjamin Muskalla
2021-10-26 16:03:14 +02:00
parent 9500c9c8bc
commit 8564c9001a
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/src/utils/model-generator/CaptureSourceModels.ql
View File

@@ -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)
)
}