Skip to content

Commit 61151d8

Browse files
committed
Java: Update workflows and scripts usages to only generate summaries and sinks.
1 parent 72dd1a6 commit 61151d8

File tree

2 files changed

+4
-3
lines changed

2 files changed

+4
-3
lines changed

.github/workflows/mad_modelDiff.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ jobs:
6161
DATABASE=$2
6262
cd codeql-$QL_VARIANT
6363
SHORTNAME=`basename $DATABASE`
64-
python java/ql/src/utils/model-generator/GenerateFlowModel.py $DATABASE $MODELS/${SHORTNAME}.qll
64+
python java/ql/src/utils/model-generator/GenerateFlowModel.py --with-summaries --with-sinks $DATABASE $MODELS/${SHORTNAME}.qll
6565
mv $MODELS/${SHORTNAME}.qll $MODELS/${SHORTNAME}Generated_${QL_VARIANT}.qll
6666
cd ..
6767
}

java/ql/src/utils/model-generator/RegenerateModels.py

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,8 +39,9 @@ def regenerateModel(lgtmSlug, extractedDb):
3939
modelFile = defaultModelPath + "/" + lgtmSlugToModelFile[lgtmSlug]
4040
codeQlRoot = findGitRoot()
4141
targetModel = codeQlRoot + "/" + modelFile
42-
subprocess.check_call([codeQlRoot + "/java/ql/src/utils/model-generator/GenerateFlowModel.py", extractedDb,
43-
targetModel])
42+
subprocess.check_call([codeQlRoot + "/java/ql/src/utils/model-generator/GenerateFlowModel.py",
43+
"--with-summaries", "--with-sinks",
44+
extractedDb, targetModel])
4445
print("Regenerated " + targetModel)
4546
shutil.rmtree(tmpDir)
4647

0 commit comments

Comments
 (0)