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

Release preparation for version 2.21.2

Browse Source
This commit is contained in:
github-actions[bot]
2025-04-28 10:55:22 +00:00
parent 35939ec3b1
commit 625354c46e
162 changed files with 410 additions and 126 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
java/ql/src/change-notes/2025-04-16-model-generation.md → java/ql/src/change-notes/released/1.4.2.md
View File

@@ -1,4 +1,5 @@
---
category: minorAnalysis
---
* Changes to the MaD model generation infrastructure: Changed the query `java/utils/modelgenerator/summary-models` to use the implementation from `java/utils/modelgenerator/mixed-summary-models`. Removed the now-redundant `java/utils/modelgenerator/mixed-summary-models` query. Similar replacement was made for `java/utils/modelgenerator/neutral-models`. That is, if `GenerateFlowModel.py` is provided with `--with-summaries` combined/mixed models are now generated instead of heuristic models (and similar for `--with-neutrals`).
## 1.4.2
### Minor Analysis Improvements
* Changes to the MaD model generation infrastructure: Changed the query `java/utils/modelgenerator/summary-models` to use the implementation from `java/utils/modelgenerator/mixed-summary-models`. Removed the now-redundant `java/utils/modelgenerator/mixed-summary-models` query. Similar replacement was made for `java/utils/modelgenerator/neutral-models`. That is, if `GenerateFlowModel.py` is provided with `--with-summaries` combined/mixed models are now generated instead of heuristic models (and similar for `--with-neutrals`).