hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 03:06:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Sync files.

Browse Source
This commit is contained in:
Michael Nebel
2022-09-07 10:41:39 +02:00
parent d580a8a078
commit 2d57b7d56a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/utils/model-generator/internal/CaptureModels.qll
View File

@@ -58,7 +58,7 @@ string asNegativeSummaryModel(TargetApiSpecific api) {
* Gets the value summary model for `api` with `input` and `output`.
*/
bindingset[input, output]
private string asValueModel(TargetApiSpecific api, string input, string output) {
string asValueModel(TargetApiSpecific api, string input, string output) {
result = asSummaryModel(api, input, output, "value")
}
@@ -66,7 +66,7 @@ private string asValueModel(TargetApiSpecific api, string input, string output)
* Gets the taint summary model for `api` with `input` and `output`.
*/
bindingset[input, output]
string asTaintModel(TargetApiSpecific api, string input, string output) {
private string asTaintModel(TargetApiSpecific api, string input, string output) {
result = asSummaryModel(api, input, output, "taint")
}