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

Tweak change-note for MaD model generation

Browse Source
This commit is contained in:
Nick Rolfe
2025-04-28 12:50:58 +01:00
parent 625354c46e
commit ca7f8f21cd
7 changed files with 41 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/src/CHANGELOG.md
View File

@@ -2,7 +2,10 @@
### 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`).
* 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.
* A 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.1

5
java/ql/src/change-notes/released/1.4.2.md
View File

@@ -2,4 +2,7 @@
### 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`).
* 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.
* A 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`).

17
java/ql/src/dx.ql Normal file
View File

@@ -0,0 +1,17 @@
/**
* @name sm
* @kind problem
* @id java/sm
* @severity warning
*/
import semmle.code.java.dataflow.internal.ExternalFlowExtensions
from
string s, string package, string type, boolean subtypes, string name, string signature,
string ext, string input, string output, string kind, string provenance,
QlBuiltins::ExtensionId madId
where
summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance, madId) and
s = package + "." + type + "." + name + signature
select s, "summary model"