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

Java: Initial implementation of content based model generation.

Browse Source
This commit is contained in:
Michael Nebel
2024-08-26 14:58:56 +02:00
parent 4bdf21b022
commit 6365e5edff
4 changed files with 183 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
shared/mad/codeql/mad/modelgenerator/ModelPrinting.qll
View File

@@ -97,6 +97,18 @@ module ModelPrintingImpl<ModelPrintingLangSig Lang> {
result = asSummaryModel(api, input, output, "taint")
}
/**
* Gets the summary model for `api` with `input` and `output`.
*/
bindingset[input, output, preservesValue]
string asModel(Printing::SummaryApi api, string input, string output, boolean preservesValue) {
preservesValue = true and
result = asValueModel(api, input, output)
or
preservesValue = false and
result = asTaintModel(api, input, output)
}
/**
* Gets the sink model for `api` with `input` and `kind`.
*/