hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 02:35:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Update FlowTestCase generator with provenance wildcard.

Browse Source
This commit is contained in:
Michael Nebel
2022-06-13 12:57:00 +02:00
parent 2e46e93f36
commit 8e7e6c4c6f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/utils/flowtestcasegenerator/FlowTestCase.qll
View File

@@ -64,8 +64,8 @@ private newtype TTestCase =
string inputSpec, string outputSpec
|
any(TargetSummaryModelCsv tsmc).row(row) and
summaryModel(namespace, type, subtypes, name, signature, ext, inputSpec, outputSpec, kind,
false, row) and
summaryModel(namespace, type, subtypes, name, signature, ext, inputSpec, outputSpec, kind, _,
row) and
callable = interpretElement(namespace, type, subtypes, name, signature, ext) and
Private::External::interpretSpec(inputSpec, input) and
Private::External::interpretSpec(outputSpec, output)