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

Shared: Use strictconcat in model generator printing

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-01-29 11:56:39 +01:00
parent 70550950d8
commit 9d87f26145
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
View File

@@ -37,14 +37,14 @@ module ModelPrintingImpl<ModelPrintingLangSig Lang> {
* Computes the first columns for MaD rows used for summaries, sources and sinks.
*/
private string asPartialModel(Lang::Callable api) {
result = concat(int i | | Lang::partialModelRow(api, i), ";" order by i) + ";"
result = strictconcat(int i | | Lang::partialModelRow(api, i), ";" order by i) + ";"
}
/**
* Computes the first columns for neutral MaD rows.
*/
private string asPartialNeutralModel(Printing::SummaryApi api) {
result = concat(int i | | Lang::partialNeutralModelRow(api, i), ";" order by i) + ";"
result = strictconcat(int i | | Lang::partialNeutralModelRow(api, i), ";" order by i) + ";"
}
/**