From 92af5f5386e7fb41db4f85936a0fcea3f327ce81 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 6 Dec 2023 22:59:22 +0000 Subject: [PATCH 01/15] Post-release preparation for codeql-cli-2.15.4 --- cpp/ql/lib/qlpack.yml | 2 +- cpp/ql/src/qlpack.yml | 2 +- csharp/ql/campaigns/Solorigate/lib/qlpack.yml | 2 +- csharp/ql/campaigns/Solorigate/src/qlpack.yml | 2 +- csharp/ql/lib/qlpack.yml | 2 +- csharp/ql/src/qlpack.yml | 2 +- go/ql/consistency-queries/qlpack.yml | 2 +- go/ql/lib/qlpack.yml | 2 +- go/ql/src/qlpack.yml | 2 +- java/ql/automodel/src/qlpack.yml | 2 +- java/ql/lib/qlpack.yml | 2 +- java/ql/src/qlpack.yml | 2 +- javascript/ql/lib/qlpack.yml | 2 +- javascript/ql/src/qlpack.yml | 2 +- misc/suite-helpers/qlpack.yml | 2 +- python/ql/lib/qlpack.yml | 2 +- python/ql/src/qlpack.yml | 2 +- ruby/ql/lib/qlpack.yml | 2 +- ruby/ql/src/qlpack.yml | 2 +- shared/controlflow/qlpack.yml | 2 +- shared/dataflow/qlpack.yml | 2 +- shared/mad/qlpack.yml | 2 +- shared/rangeanalysis/qlpack.yml | 2 +- shared/regex/qlpack.yml | 2 +- shared/ssa/qlpack.yml | 2 +- shared/threat-models/qlpack.yml | 2 +- shared/tutorial/qlpack.yml | 2 +- shared/typetracking/qlpack.yml | 2 +- shared/typos/qlpack.yml | 2 +- shared/util/qlpack.yml | 2 +- shared/yaml/qlpack.yml | 2 +- swift/ql/lib/qlpack.yml | 2 +- swift/ql/src/qlpack.yml | 2 +- 33 files changed, 33 insertions(+), 33 deletions(-) diff --git a/cpp/ql/lib/qlpack.yml b/cpp/ql/lib/qlpack.yml index 0b45bd870c4..119831d6471 100644 --- a/cpp/ql/lib/qlpack.yml +++ b/cpp/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/cpp-all -version: 0.12.1 +version: 0.12.2-dev groups: cpp dbscheme: semmlecode.cpp.dbscheme extractor: cpp diff --git a/cpp/ql/src/qlpack.yml b/cpp/ql/src/qlpack.yml index 14ead38877a..d6adec1bbda 100644 --- a/cpp/ql/src/qlpack.yml +++ b/cpp/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/cpp-queries -version: 0.9.0 +version: 0.9.1-dev groups: - cpp - queries diff --git a/csharp/ql/campaigns/Solorigate/lib/qlpack.yml b/csharp/ql/campaigns/Solorigate/lib/qlpack.yml index c94dc8a2238..affb356bca6 100644 --- a/csharp/ql/campaigns/Solorigate/lib/qlpack.yml +++ b/csharp/ql/campaigns/Solorigate/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-solorigate-all -version: 1.7.4 +version: 1.7.5-dev groups: - csharp - solorigate diff --git a/csharp/ql/campaigns/Solorigate/src/qlpack.yml b/csharp/ql/campaigns/Solorigate/src/qlpack.yml index 3df278ff4b9..0a318269550 100644 --- a/csharp/ql/campaigns/Solorigate/src/qlpack.yml +++ b/csharp/ql/campaigns/Solorigate/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-solorigate-queries -version: 1.7.4 +version: 1.7.5-dev groups: - csharp - solorigate diff --git a/csharp/ql/lib/qlpack.yml b/csharp/ql/lib/qlpack.yml index 1456166a62a..8cc4f6e56a9 100644 --- a/csharp/ql/lib/qlpack.yml +++ b/csharp/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-all -version: 0.8.4 +version: 0.8.5-dev groups: csharp dbscheme: semmlecode.csharp.dbscheme extractor: csharp diff --git a/csharp/ql/src/qlpack.yml b/csharp/ql/src/qlpack.yml index 3ea01233aae..8c65f6ad44c 100644 --- a/csharp/ql/src/qlpack.yml +++ b/csharp/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-queries -version: 0.8.4 +version: 0.8.5-dev groups: - csharp - queries diff --git a/go/ql/consistency-queries/qlpack.yml b/go/ql/consistency-queries/qlpack.yml index df9ab70d10c..c9ca3e11a00 100644 --- a/go/ql/consistency-queries/qlpack.yml +++ b/go/ql/consistency-queries/qlpack.yml @@ -1,5 +1,5 @@ name: codeql-go-consistency-queries -version: 0.0.3 +version: 0.0.4-dev groups: - go - queries diff --git a/go/ql/lib/qlpack.yml b/go/ql/lib/qlpack.yml index 65a45c210ea..56ef80ceacf 100644 --- a/go/ql/lib/qlpack.yml +++ b/go/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/go-all -version: 0.7.4 +version: 0.7.5-dev groups: go dbscheme: go.dbscheme extractor: go diff --git a/go/ql/src/qlpack.yml b/go/ql/src/qlpack.yml index b3f5af0bf2f..06a786b8ee9 100644 --- a/go/ql/src/qlpack.yml +++ b/go/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/go-queries -version: 0.7.4 +version: 0.7.5-dev groups: - go - queries diff --git a/java/ql/automodel/src/qlpack.yml b/java/ql/automodel/src/qlpack.yml index 44733c68b3f..046ab6531f2 100644 --- a/java/ql/automodel/src/qlpack.yml +++ b/java/ql/automodel/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/java-automodel-queries -version: 0.0.9 +version: 0.0.10-dev groups: - java - automodel diff --git a/java/ql/lib/qlpack.yml b/java/ql/lib/qlpack.yml index 9955965b57a..f5a7a85efe2 100644 --- a/java/ql/lib/qlpack.yml +++ b/java/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/java-all -version: 0.8.4 +version: 0.8.5-dev groups: java dbscheme: config/semmlecode.dbscheme extractor: java diff --git a/java/ql/src/qlpack.yml b/java/ql/src/qlpack.yml index d16c69bb67e..b37f21a5f23 100644 --- a/java/ql/src/qlpack.yml +++ b/java/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/java-queries -version: 0.8.4 +version: 0.8.5-dev groups: - java - queries diff --git a/javascript/ql/lib/qlpack.yml b/javascript/ql/lib/qlpack.yml index 46ba9dd93cb..f210c4ba9f9 100644 --- a/javascript/ql/lib/qlpack.yml +++ b/javascript/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/javascript-all -version: 0.8.4 +version: 0.8.5-dev groups: javascript dbscheme: semmlecode.javascript.dbscheme extractor: javascript diff --git a/javascript/ql/src/qlpack.yml b/javascript/ql/src/qlpack.yml index f677e602b70..759a1684b19 100644 --- a/javascript/ql/src/qlpack.yml +++ b/javascript/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/javascript-queries -version: 0.8.4 +version: 0.8.5-dev groups: - javascript - queries diff --git a/misc/suite-helpers/qlpack.yml b/misc/suite-helpers/qlpack.yml index 2be51ff5541..128772ab76a 100644 --- a/misc/suite-helpers/qlpack.yml +++ b/misc/suite-helpers/qlpack.yml @@ -1,4 +1,4 @@ name: codeql/suite-helpers -version: 0.7.4 +version: 0.7.5-dev groups: shared warnOnImplicitThis: true diff --git a/python/ql/lib/qlpack.yml b/python/ql/lib/qlpack.yml index b39d3458ca1..5e14334de1f 100644 --- a/python/ql/lib/qlpack.yml +++ b/python/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/python-all -version: 0.11.4 +version: 0.11.5-dev groups: python dbscheme: semmlecode.python.dbscheme extractor: python diff --git a/python/ql/src/qlpack.yml b/python/ql/src/qlpack.yml index 4d0599e0af1..760131f4a63 100644 --- a/python/ql/src/qlpack.yml +++ b/python/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/python-queries -version: 0.9.4 +version: 0.9.5-dev groups: - python - queries diff --git a/ruby/ql/lib/qlpack.yml b/ruby/ql/lib/qlpack.yml index f1e404b03dd..64919a81449 100644 --- a/ruby/ql/lib/qlpack.yml +++ b/ruby/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/ruby-all -version: 0.8.4 +version: 0.8.5-dev groups: ruby extractor: ruby dbscheme: ruby.dbscheme diff --git a/ruby/ql/src/qlpack.yml b/ruby/ql/src/qlpack.yml index 903e79bda9a..ae6ffff8506 100644 --- a/ruby/ql/src/qlpack.yml +++ b/ruby/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/ruby-queries -version: 0.8.4 +version: 0.8.5-dev groups: - ruby - queries diff --git a/shared/controlflow/qlpack.yml b/shared/controlflow/qlpack.yml index b5543056e90..347326476a8 100644 --- a/shared/controlflow/qlpack.yml +++ b/shared/controlflow/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/controlflow -version: 0.1.4 +version: 0.1.5-dev groups: shared library: true dependencies: diff --git a/shared/dataflow/qlpack.yml b/shared/dataflow/qlpack.yml index fd7d8b614d4..acb359071e4 100644 --- a/shared/dataflow/qlpack.yml +++ b/shared/dataflow/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/dataflow -version: 0.1.4 +version: 0.1.5-dev groups: shared library: true dependencies: diff --git a/shared/mad/qlpack.yml b/shared/mad/qlpack.yml index ced6c70eb3c..daa8bc58f66 100644 --- a/shared/mad/qlpack.yml +++ b/shared/mad/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/mad -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true dependencies: null diff --git a/shared/rangeanalysis/qlpack.yml b/shared/rangeanalysis/qlpack.yml index 2a17f5577be..369d092a98f 100644 --- a/shared/rangeanalysis/qlpack.yml +++ b/shared/rangeanalysis/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/rangeanalysis -version: 0.0.3 +version: 0.0.4-dev groups: shared library: true dependencies: diff --git a/shared/regex/qlpack.yml b/shared/regex/qlpack.yml index f844984f9ad..4567e48d59d 100644 --- a/shared/regex/qlpack.yml +++ b/shared/regex/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/regex -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true dependencies: diff --git a/shared/ssa/qlpack.yml b/shared/ssa/qlpack.yml index b945220bb04..5ffdf021ecb 100644 --- a/shared/ssa/qlpack.yml +++ b/shared/ssa/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/ssa -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true dependencies: diff --git a/shared/threat-models/qlpack.yml b/shared/threat-models/qlpack.yml index 8db58f733e4..e96d6cf5dc4 100644 --- a/shared/threat-models/qlpack.yml +++ b/shared/threat-models/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/threat-models -version: 0.0.3 +version: 0.0.4-dev library: true groups: shared dataExtensions: diff --git a/shared/tutorial/qlpack.yml b/shared/tutorial/qlpack.yml index 721d2d63e4c..f086872a3a9 100644 --- a/shared/tutorial/qlpack.yml +++ b/shared/tutorial/qlpack.yml @@ -1,7 +1,7 @@ name: codeql/tutorial description: Library for the CodeQL detective tutorials, helping new users learn to write CodeQL queries. -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true warnOnImplicitThis: true diff --git a/shared/typetracking/qlpack.yml b/shared/typetracking/qlpack.yml index cafb9210592..150d6da930c 100644 --- a/shared/typetracking/qlpack.yml +++ b/shared/typetracking/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/typetracking -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true dependencies: diff --git a/shared/typos/qlpack.yml b/shared/typos/qlpack.yml index 3c5e109620a..a67d0933613 100644 --- a/shared/typos/qlpack.yml +++ b/shared/typos/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/typos -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true warnOnImplicitThis: true diff --git a/shared/util/qlpack.yml b/shared/util/qlpack.yml index 3b7a1201b9a..ac7cf912e4d 100644 --- a/shared/util/qlpack.yml +++ b/shared/util/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/util -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true dependencies: null diff --git a/shared/yaml/qlpack.yml b/shared/yaml/qlpack.yml index e30081d324f..c3bafd4ad74 100644 --- a/shared/yaml/qlpack.yml +++ b/shared/yaml/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/yaml -version: 0.2.4 +version: 0.2.5-dev groups: shared library: true warnOnImplicitThis: true diff --git a/swift/ql/lib/qlpack.yml b/swift/ql/lib/qlpack.yml index 53463f1e2f5..23cbcdcce28 100644 --- a/swift/ql/lib/qlpack.yml +++ b/swift/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/swift-all -version: 0.3.4 +version: 0.3.5-dev groups: swift extractor: swift dbscheme: swift.dbscheme diff --git a/swift/ql/src/qlpack.yml b/swift/ql/src/qlpack.yml index 7e6478ed138..0998bebd616 100644 --- a/swift/ql/src/qlpack.yml +++ b/swift/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/swift-queries -version: 0.3.4 +version: 0.3.5-dev groups: - swift - queries From 43b228dbb49400e7ffa9d3698c4acecf16ecb0ca Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Tue, 12 Dec 2023 10:29:09 +0100 Subject: [PATCH 02/15] exclude all the lib.d.ts files when running the TS extractor directly e.g. the `lib.es5.d.ts` file was not excluded --- javascript/extractor/lib/typescript/src/main.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/extractor/lib/typescript/src/main.ts b/javascript/extractor/lib/typescript/src/main.ts index 6da1b2b0574..54c533f48ba 100644 --- a/javascript/extractor/lib/typescript/src/main.ts +++ b/javascript/extractor/lib/typescript/src/main.ts @@ -895,7 +895,7 @@ if (process.argv.length > 2) { virtualSourceRoot: null, }); for (let sf of state.project.program.getSourceFiles()) { - if (pathlib.basename(sf.fileName) === "lib.d.ts") continue; + if (/lib\..*\.d\.ts/.test(pathlib.basename(sf.fileName)) || pathlib.basename(sf.fileName) === "lib.d.ts") continue; handleParseCommand({ command: "parse", filename: sf.fileName, From 10cf53b8d399db55b6c03399607a4c39e7cb8cb4 Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Tue, 12 Dec 2023 10:32:31 +0100 Subject: [PATCH 03/15] fix a `this` reference `this` didn't refer to anything specific, and it was in fact `undefined` in the context it was invoked. There was already a `let typeTable = this;` further up (where `this` refers to the class instance), so I used `typeTable`. --- javascript/extractor/lib/typescript/src/type_table.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/extractor/lib/typescript/src/type_table.ts b/javascript/extractor/lib/typescript/src/type_table.ts index 82deda84ab8..617c4358f5f 100644 --- a/javascript/extractor/lib/typescript/src/type_table.ts +++ b/javascript/extractor/lib/typescript/src/type_table.ts @@ -1241,7 +1241,7 @@ export class TypeTable { stack.push(id); for (let symbol of type.getProperties()) { - let propertyType = this.tryGetTypeOfSymbol(symbol); + let propertyType = typeTable.tryGetTypeOfSymbol(symbol); if (propertyType == null) continue; traverseType(propertyType); } From 96d15739783cd06ea66a34d566af075bd9faa4c9 Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Tue, 12 Dec 2023 10:34:42 +0100 Subject: [PATCH 04/15] move `TypeVarDepth` further up, so its declared before it's used --- .../extractor/lib/typescript/src/type_table.ts | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/javascript/extractor/lib/typescript/src/type_table.ts b/javascript/extractor/lib/typescript/src/type_table.ts index 617c4358f5f..f3542b945a3 100644 --- a/javascript/extractor/lib/typescript/src/type_table.ts +++ b/javascript/extractor/lib/typescript/src/type_table.ts @@ -1240,6 +1240,13 @@ export class TypeTable { let indexOnStack = stack.length; stack.push(id); + /** Indicates if a type contains no type variables, is a type variable, or strictly contains type variables. */ + const enum TypeVarDepth { + noTypeVar = 0, + isTypeVar = 1, + containsTypeVar = 2, + } + for (let symbol of type.getProperties()) { let propertyType = typeTable.tryGetTypeOfSymbol(symbol); if (propertyType == null) continue; @@ -1267,13 +1274,6 @@ export class TypeTable { return lowlinkTable.get(id); - /** Indicates if a type contains no type variables, is a type variable, or strictly contains type variables. */ - const enum TypeVarDepth { - noTypeVar = 0, - isTypeVar = 1, - containsTypeVar = 2, - } - function traverseType(type: ts.Type): TypeVarDepth { if (isTypeVariable(type)) return TypeVarDepth.isTypeVar; let depth = TypeVarDepth.noTypeVar; From b5fe0e5709c1bda42dc62bb343d26ecec2161c6d Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Tue, 12 Dec 2023 10:51:09 +0100 Subject: [PATCH 05/15] make sure `reset()` is called when manually invoking the TS extractor, so environment-variables are read --- javascript/extractor/lib/typescript/src/main.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/javascript/extractor/lib/typescript/src/main.ts b/javascript/extractor/lib/typescript/src/main.ts index 54c533f48ba..2ea7e71f85c 100644 --- a/javascript/extractor/lib/typescript/src/main.ts +++ b/javascript/extractor/lib/typescript/src/main.ts @@ -886,6 +886,7 @@ if (process.argv.length > 2) { if (argument === "--version") { console.log("parser-wrapper with TypeScript " + ts.version); } else if (pathlib.basename(argument) === "tsconfig.json") { + reset(); handleOpenProjectCommand({ command: "open-project", tsConfig: argument, From 62205f6a7f656df652dfa15e474b72d9ddab1d7d Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Tue, 12 Dec 2023 12:25:00 +0100 Subject: [PATCH 06/15] add environment variable to skip extraction of types in TypeScript --- javascript/extractor/lib/typescript/src/ast_extractor.ts | 2 +- javascript/extractor/lib/typescript/src/main.ts | 1 + javascript/extractor/lib/typescript/src/type_table.ts | 5 +++++ 3 files changed, 7 insertions(+), 1 deletion(-) diff --git a/javascript/extractor/lib/typescript/src/ast_extractor.ts b/javascript/extractor/lib/typescript/src/ast_extractor.ts index e462797867b..8c34c9997ac 100644 --- a/javascript/extractor/lib/typescript/src/ast_extractor.ts +++ b/javascript/extractor/lib/typescript/src/ast_extractor.ts @@ -192,7 +192,7 @@ export function augmentAst(ast: AugmentedSourceFile, code: string, project: Proj } if (typeChecker != null) { - if (isTypedNode(node)) { + if (isTypedNode(node) && !typeTable.skipExtractingTypes) { let contextualType = isContextuallyTypedNode(node) ? typeChecker.getContextualType(node) : null; diff --git a/javascript/extractor/lib/typescript/src/main.ts b/javascript/extractor/lib/typescript/src/main.ts index 2ea7e71f85c..af4028477d3 100644 --- a/javascript/extractor/lib/typescript/src/main.ts +++ b/javascript/extractor/lib/typescript/src/main.ts @@ -808,6 +808,7 @@ function handleGetMetadataCommand(command: GetMetadataCommand) { function reset() { state = new State(); state.typeTable.restrictedExpansion = getEnvironmentVariable("SEMMLE_TYPESCRIPT_NO_EXPANSION", Boolean, true); + state.typeTable.skipExtractingTypes = getEnvironmentVariable("SEMMLE_TYPESCRIPT_SKIP_EXTRACTING_TYPES", Boolean, false); } function getEnvironmentVariable(name: string, parse: (x: string) => T, defaultValue: T) { diff --git a/javascript/extractor/lib/typescript/src/type_table.ts b/javascript/extractor/lib/typescript/src/type_table.ts index f3542b945a3..9a685252891 100644 --- a/javascript/extractor/lib/typescript/src/type_table.ts +++ b/javascript/extractor/lib/typescript/src/type_table.ts @@ -383,6 +383,11 @@ export class TypeTable { */ public restrictedExpansion = false; + /** + * If set to true, skip extracting types. + */ + public skipExtractingTypes = false; + private virtualSourceRoot: VirtualSourceRoot; /** From 1a0d29ba8a2b7305d96f74b27a457d75ef489c05 Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Thu, 14 Dec 2023 12:52:49 +0100 Subject: [PATCH 07/15] rename extractor environment variable to `CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES` --- javascript/extractor/lib/typescript/src/main.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/extractor/lib/typescript/src/main.ts b/javascript/extractor/lib/typescript/src/main.ts index af4028477d3..b0faa4a3ec8 100644 --- a/javascript/extractor/lib/typescript/src/main.ts +++ b/javascript/extractor/lib/typescript/src/main.ts @@ -808,7 +808,7 @@ function handleGetMetadataCommand(command: GetMetadataCommand) { function reset() { state = new State(); state.typeTable.restrictedExpansion = getEnvironmentVariable("SEMMLE_TYPESCRIPT_NO_EXPANSION", Boolean, true); - state.typeTable.skipExtractingTypes = getEnvironmentVariable("SEMMLE_TYPESCRIPT_SKIP_EXTRACTING_TYPES", Boolean, false); + state.typeTable.skipExtractingTypes = getEnvironmentVariable("CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES", Boolean, false); } function getEnvironmentVariable(name: string, parse: (x: string) => T, defaultValue: T) { From 5bbf79bf26c0ee24af7421f91e414985110eac2d Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Thu, 14 Dec 2023 14:40:10 +0100 Subject: [PATCH 08/15] fix the parsing of boolean environment variables in the TypeScript extractor --- javascript/extractor/lib/typescript/src/main.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/javascript/extractor/lib/typescript/src/main.ts b/javascript/extractor/lib/typescript/src/main.ts index b0faa4a3ec8..272f11e8de6 100644 --- a/javascript/extractor/lib/typescript/src/main.ts +++ b/javascript/extractor/lib/typescript/src/main.ts @@ -554,7 +554,7 @@ function handleOpenProjectCommand(command: OpenProjectCommand) { let program = project.program; let typeChecker = program.getTypeChecker(); - let shouldReportDiagnostics = getEnvironmentVariable("SEMMLE_TYPESCRIPT_REPORT_DIAGNOSTICS", Boolean, false); + let shouldReportDiagnostics = getEnvironmentVariable("SEMMLE_TYPESCRIPT_REPORT_DIAGNOSTICS", v => JSON.parse(v.toLowerCase()), false); let diagnostics = shouldReportDiagnostics ? program.getSemanticDiagnostics().filter(d => d.category === ts.DiagnosticCategory.Error) : []; @@ -807,8 +807,8 @@ function handleGetMetadataCommand(command: GetMetadataCommand) { function reset() { state = new State(); - state.typeTable.restrictedExpansion = getEnvironmentVariable("SEMMLE_TYPESCRIPT_NO_EXPANSION", Boolean, true); - state.typeTable.skipExtractingTypes = getEnvironmentVariable("CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES", Boolean, false); + state.typeTable.restrictedExpansion = getEnvironmentVariable("SEMMLE_TYPESCRIPT_NO_EXPANSION", v => JSON.parse(v.toLowerCase()), true); + state.typeTable.skipExtractingTypes = getEnvironmentVariable("CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES", v => JSON.parse(v.toLowerCase()), false); } function getEnvironmentVariable(name: string, parse: (x: string) => T, defaultValue: T) { From c752f26f91ae6d5edb616ea7122f751ee30e7357 Mon Sep 17 00:00:00 2001 From: erik-krogh Date: Thu, 14 Dec 2023 14:50:17 +0100 Subject: [PATCH 09/15] use direct string comparison instead, that doesn't crash on invalid values --- javascript/extractor/lib/typescript/src/main.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/javascript/extractor/lib/typescript/src/main.ts b/javascript/extractor/lib/typescript/src/main.ts index 272f11e8de6..d34f516cf55 100644 --- a/javascript/extractor/lib/typescript/src/main.ts +++ b/javascript/extractor/lib/typescript/src/main.ts @@ -554,7 +554,7 @@ function handleOpenProjectCommand(command: OpenProjectCommand) { let program = project.program; let typeChecker = program.getTypeChecker(); - let shouldReportDiagnostics = getEnvironmentVariable("SEMMLE_TYPESCRIPT_REPORT_DIAGNOSTICS", v => JSON.parse(v.toLowerCase()), false); + let shouldReportDiagnostics = getEnvironmentVariable("SEMMLE_TYPESCRIPT_REPORT_DIAGNOSTICS", v => v.trim().toLowerCase() === "true", false); let diagnostics = shouldReportDiagnostics ? program.getSemanticDiagnostics().filter(d => d.category === ts.DiagnosticCategory.Error) : []; @@ -807,8 +807,8 @@ function handleGetMetadataCommand(command: GetMetadataCommand) { function reset() { state = new State(); - state.typeTable.restrictedExpansion = getEnvironmentVariable("SEMMLE_TYPESCRIPT_NO_EXPANSION", v => JSON.parse(v.toLowerCase()), true); - state.typeTable.skipExtractingTypes = getEnvironmentVariable("CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES", v => JSON.parse(v.toLowerCase()), false); + state.typeTable.restrictedExpansion = getEnvironmentVariable("SEMMLE_TYPESCRIPT_NO_EXPANSION", v => v.trim().toLowerCase() === "true", true); + state.typeTable.skipExtractingTypes = getEnvironmentVariable("CODEQL_EXTRACTOR_JAVASCRIPT_OPTION_SKIP_TYPES", v => v.trim().toLowerCase() === "true", false); } function getEnvironmentVariable(name: string, parse: (x: string) => T, defaultValue: T) { From 452b8d22a36ec54197903fa6e9a124b378904777 Mon Sep 17 00:00:00 2001 From: Paolo Tranquilli Date: Wed, 13 Dec 2023 15:32:06 +0100 Subject: [PATCH 10/15] Bazel/CMake: use bazelisk to use correct bazel version (cherry picked from commit 819fc52854993c9fcbafe80a11a5637208ca9a7e) --- misc/bazel/cmake/setup.cmake | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/misc/bazel/cmake/setup.cmake b/misc/bazel/cmake/setup.cmake index 81e5aeeb8b5..79314d76f85 100644 --- a/misc/bazel/cmake/setup.cmake +++ b/misc/bazel/cmake/setup.cmake @@ -5,8 +5,12 @@ if (CREATE_COMPILATION_DATABASE_LINK) set(CMAKE_EXPORT_COMPILE_COMMANDS 1) endif () +if (NOT DEFINED BAZEL_BIN) + set(BAZEL_BIN "bazelisk") +endif () + macro(bazel) - execute_process(COMMAND bazel ${ARGN} + execute_process(COMMAND ${BAZEL_BIN} ${ARGN} COMMAND_ERROR_IS_FATAL ANY OUTPUT_STRIP_TRAILING_WHITESPACE WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}) From 6cbf8abf590547e714ada473de66cdeba5cfb010 Mon Sep 17 00:00:00 2001 From: Alex Denisov Date: Mon, 18 Dec 2023 12:48:34 +0100 Subject: [PATCH 11/15] Swift: do not trace codesign binary --- swift/tools/tracing-config.lua | 2 ++ 1 file changed, 2 insertions(+) diff --git a/swift/tools/tracing-config.lua b/swift/tools/tracing-config.lua index 06be53bc33c..b52c5f03a45 100644 --- a/swift/tools/tracing-config.lua +++ b/swift/tools/tracing-config.lua @@ -119,6 +119,8 @@ function RegisterExtractorPack(id) SwiftMatcher, CreatePatternMatcher({ '^lsregister$' }, MatchCompilerName, nil, { trace = false }), + CreatePatternMatcher({ '^codesign$' }, MatchCompilerName, nil, + { trace = false }), CreatePatternMatcher({ '^sandbox%-exec$' }, MatchCompilerName, nil, { trace = false }), } From 19af35b29aed102805842fc137af22261b416d45 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 18 Dec 2023 21:22:44 +0000 Subject: [PATCH 12/15] Release preparation for version 2.15.5 --- cpp/ql/lib/CHANGELOG.md | 4 ++++ cpp/ql/lib/change-notes/released/0.12.2.md | 3 +++ cpp/ql/lib/codeql-pack.release.yml | 2 +- cpp/ql/lib/qlpack.yml | 2 +- cpp/ql/src/CHANGELOG.md | 4 ++++ cpp/ql/src/change-notes/released/0.9.1.md | 3 +++ cpp/ql/src/codeql-pack.release.yml | 2 +- cpp/ql/src/qlpack.yml | 2 +- csharp/ql/campaigns/Solorigate/lib/CHANGELOG.md | 4 ++++ .../campaigns/Solorigate/lib/change-notes/released/1.7.5.md | 3 +++ csharp/ql/campaigns/Solorigate/lib/codeql-pack.release.yml | 2 +- csharp/ql/campaigns/Solorigate/lib/qlpack.yml | 2 +- csharp/ql/campaigns/Solorigate/src/CHANGELOG.md | 4 ++++ .../campaigns/Solorigate/src/change-notes/released/1.7.5.md | 3 +++ csharp/ql/campaigns/Solorigate/src/codeql-pack.release.yml | 2 +- csharp/ql/campaigns/Solorigate/src/qlpack.yml | 2 +- csharp/ql/lib/CHANGELOG.md | 4 ++++ csharp/ql/lib/change-notes/released/0.8.5.md | 3 +++ csharp/ql/lib/codeql-pack.release.yml | 2 +- csharp/ql/lib/qlpack.yml | 2 +- csharp/ql/src/CHANGELOG.md | 4 ++++ csharp/ql/src/change-notes/released/0.8.5.md | 3 +++ csharp/ql/src/codeql-pack.release.yml | 2 +- csharp/ql/src/qlpack.yml | 2 +- go/ql/consistency-queries/CHANGELOG.md | 4 ++++ go/ql/consistency-queries/change-notes/released/0.0.4.md | 3 +++ go/ql/consistency-queries/codeql-pack.release.yml | 2 +- go/ql/consistency-queries/qlpack.yml | 2 +- go/ql/lib/CHANGELOG.md | 4 ++++ go/ql/lib/change-notes/released/0.7.5.md | 3 +++ go/ql/lib/codeql-pack.release.yml | 2 +- go/ql/lib/qlpack.yml | 2 +- go/ql/src/CHANGELOG.md | 4 ++++ go/ql/src/change-notes/released/0.7.5.md | 3 +++ go/ql/src/codeql-pack.release.yml | 2 +- go/ql/src/qlpack.yml | 2 +- java/ql/automodel/src/CHANGELOG.md | 4 ++++ java/ql/automodel/src/change-notes/released/0.0.10.md | 3 +++ java/ql/automodel/src/codeql-pack.release.yml | 2 +- java/ql/automodel/src/qlpack.yml | 2 +- java/ql/lib/CHANGELOG.md | 4 ++++ java/ql/lib/change-notes/released/0.8.5.md | 3 +++ java/ql/lib/codeql-pack.release.yml | 2 +- java/ql/lib/qlpack.yml | 2 +- java/ql/src/CHANGELOG.md | 4 ++++ java/ql/src/change-notes/released/0.8.5.md | 3 +++ java/ql/src/codeql-pack.release.yml | 2 +- java/ql/src/qlpack.yml | 2 +- javascript/ql/lib/CHANGELOG.md | 4 ++++ javascript/ql/lib/change-notes/released/0.8.5.md | 3 +++ javascript/ql/lib/codeql-pack.release.yml | 2 +- javascript/ql/lib/qlpack.yml | 2 +- javascript/ql/src/CHANGELOG.md | 4 ++++ javascript/ql/src/change-notes/released/0.8.5.md | 3 +++ javascript/ql/src/codeql-pack.release.yml | 2 +- javascript/ql/src/qlpack.yml | 2 +- misc/suite-helpers/CHANGELOG.md | 4 ++++ misc/suite-helpers/change-notes/released/0.7.5.md | 3 +++ misc/suite-helpers/codeql-pack.release.yml | 2 +- misc/suite-helpers/qlpack.yml | 2 +- python/ql/lib/CHANGELOG.md | 4 ++++ python/ql/lib/change-notes/released/0.11.5.md | 3 +++ python/ql/lib/codeql-pack.release.yml | 2 +- python/ql/lib/qlpack.yml | 2 +- python/ql/src/CHANGELOG.md | 4 ++++ python/ql/src/change-notes/released/0.9.5.md | 3 +++ python/ql/src/codeql-pack.release.yml | 2 +- python/ql/src/qlpack.yml | 2 +- ruby/ql/lib/CHANGELOG.md | 4 ++++ ruby/ql/lib/change-notes/released/0.8.5.md | 3 +++ ruby/ql/lib/codeql-pack.release.yml | 2 +- ruby/ql/lib/qlpack.yml | 2 +- ruby/ql/src/CHANGELOG.md | 4 ++++ ruby/ql/src/change-notes/released/0.8.5.md | 3 +++ ruby/ql/src/codeql-pack.release.yml | 2 +- ruby/ql/src/qlpack.yml | 2 +- shared/controlflow/CHANGELOG.md | 4 ++++ shared/controlflow/change-notes/released/0.1.5.md | 3 +++ shared/controlflow/codeql-pack.release.yml | 2 +- shared/controlflow/qlpack.yml | 2 +- shared/dataflow/CHANGELOG.md | 4 ++++ shared/dataflow/change-notes/released/0.1.5.md | 3 +++ shared/dataflow/codeql-pack.release.yml | 2 +- shared/dataflow/qlpack.yml | 2 +- shared/mad/CHANGELOG.md | 4 ++++ shared/mad/change-notes/released/0.2.5.md | 3 +++ shared/mad/codeql-pack.release.yml | 2 +- shared/mad/qlpack.yml | 2 +- shared/rangeanalysis/CHANGELOG.md | 4 ++++ shared/rangeanalysis/change-notes/released/0.0.4.md | 3 +++ shared/rangeanalysis/codeql-pack.release.yml | 2 +- shared/rangeanalysis/qlpack.yml | 2 +- shared/regex/CHANGELOG.md | 4 ++++ shared/regex/change-notes/released/0.2.5.md | 3 +++ shared/regex/codeql-pack.release.yml | 2 +- shared/regex/qlpack.yml | 2 +- shared/ssa/CHANGELOG.md | 4 ++++ shared/ssa/change-notes/released/0.2.5.md | 3 +++ shared/ssa/codeql-pack.release.yml | 2 +- shared/ssa/qlpack.yml | 2 +- shared/threat-models/CHANGELOG.md | 4 ++++ shared/threat-models/change-notes/released/0.0.4.md | 3 +++ shared/threat-models/codeql-pack.release.yml | 2 +- shared/threat-models/qlpack.yml | 2 +- shared/tutorial/CHANGELOG.md | 4 ++++ shared/tutorial/change-notes/released/0.2.5.md | 3 +++ shared/tutorial/codeql-pack.release.yml | 2 +- shared/tutorial/qlpack.yml | 2 +- shared/typetracking/CHANGELOG.md | 4 ++++ shared/typetracking/change-notes/released/0.2.5.md | 3 +++ shared/typetracking/codeql-pack.release.yml | 2 +- shared/typetracking/qlpack.yml | 2 +- shared/typos/CHANGELOG.md | 4 ++++ shared/typos/change-notes/released/0.2.5.md | 3 +++ shared/typos/codeql-pack.release.yml | 2 +- shared/typos/qlpack.yml | 2 +- shared/util/CHANGELOG.md | 4 ++++ shared/util/change-notes/released/0.2.5.md | 3 +++ shared/util/codeql-pack.release.yml | 2 +- shared/util/qlpack.yml | 2 +- shared/yaml/CHANGELOG.md | 4 ++++ shared/yaml/change-notes/released/0.2.5.md | 3 +++ shared/yaml/codeql-pack.release.yml | 2 +- shared/yaml/qlpack.yml | 2 +- swift/ql/lib/CHANGELOG.md | 4 ++++ swift/ql/lib/change-notes/released/0.3.5.md | 3 +++ swift/ql/lib/codeql-pack.release.yml | 2 +- swift/ql/lib/qlpack.yml | 2 +- swift/ql/src/CHANGELOG.md | 4 ++++ swift/ql/src/change-notes/released/0.3.5.md | 3 +++ swift/ql/src/codeql-pack.release.yml | 2 +- swift/ql/src/qlpack.yml | 2 +- 132 files changed, 297 insertions(+), 66 deletions(-) create mode 100644 cpp/ql/lib/change-notes/released/0.12.2.md create mode 100644 cpp/ql/src/change-notes/released/0.9.1.md create mode 100644 csharp/ql/campaigns/Solorigate/lib/change-notes/released/1.7.5.md create mode 100644 csharp/ql/campaigns/Solorigate/src/change-notes/released/1.7.5.md create mode 100644 csharp/ql/lib/change-notes/released/0.8.5.md create mode 100644 csharp/ql/src/change-notes/released/0.8.5.md create mode 100644 go/ql/consistency-queries/change-notes/released/0.0.4.md create mode 100644 go/ql/lib/change-notes/released/0.7.5.md create mode 100644 go/ql/src/change-notes/released/0.7.5.md create mode 100644 java/ql/automodel/src/change-notes/released/0.0.10.md create mode 100644 java/ql/lib/change-notes/released/0.8.5.md create mode 100644 java/ql/src/change-notes/released/0.8.5.md create mode 100644 javascript/ql/lib/change-notes/released/0.8.5.md create mode 100644 javascript/ql/src/change-notes/released/0.8.5.md create mode 100644 misc/suite-helpers/change-notes/released/0.7.5.md create mode 100644 python/ql/lib/change-notes/released/0.11.5.md create mode 100644 python/ql/src/change-notes/released/0.9.5.md create mode 100644 ruby/ql/lib/change-notes/released/0.8.5.md create mode 100644 ruby/ql/src/change-notes/released/0.8.5.md create mode 100644 shared/controlflow/change-notes/released/0.1.5.md create mode 100644 shared/dataflow/change-notes/released/0.1.5.md create mode 100644 shared/mad/change-notes/released/0.2.5.md create mode 100644 shared/rangeanalysis/change-notes/released/0.0.4.md create mode 100644 shared/regex/change-notes/released/0.2.5.md create mode 100644 shared/ssa/change-notes/released/0.2.5.md create mode 100644 shared/threat-models/change-notes/released/0.0.4.md create mode 100644 shared/tutorial/change-notes/released/0.2.5.md create mode 100644 shared/typetracking/change-notes/released/0.2.5.md create mode 100644 shared/typos/change-notes/released/0.2.5.md create mode 100644 shared/util/change-notes/released/0.2.5.md create mode 100644 shared/yaml/change-notes/released/0.2.5.md create mode 100644 swift/ql/lib/change-notes/released/0.3.5.md create mode 100644 swift/ql/src/change-notes/released/0.3.5.md diff --git a/cpp/ql/lib/CHANGELOG.md b/cpp/ql/lib/CHANGELOG.md index 39e7da98714..1466e7ce645 100644 --- a/cpp/ql/lib/CHANGELOG.md +++ b/cpp/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.12.2 + +No user-facing changes. + ## 0.12.1 ### New Features diff --git a/cpp/ql/lib/change-notes/released/0.12.2.md b/cpp/ql/lib/change-notes/released/0.12.2.md new file mode 100644 index 00000000000..4b3a79937f7 --- /dev/null +++ b/cpp/ql/lib/change-notes/released/0.12.2.md @@ -0,0 +1,3 @@ +## 0.12.2 + +No user-facing changes. diff --git a/cpp/ql/lib/codeql-pack.release.yml b/cpp/ql/lib/codeql-pack.release.yml index 58783ccb26c..8baa46a6150 100644 --- a/cpp/ql/lib/codeql-pack.release.yml +++ b/cpp/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.12.1 +lastReleaseVersion: 0.12.2 diff --git a/cpp/ql/lib/qlpack.yml b/cpp/ql/lib/qlpack.yml index 119831d6471..b2da7fcf6a2 100644 --- a/cpp/ql/lib/qlpack.yml +++ b/cpp/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/cpp-all -version: 0.12.2-dev +version: 0.12.2 groups: cpp dbscheme: semmlecode.cpp.dbscheme extractor: cpp diff --git a/cpp/ql/src/CHANGELOG.md b/cpp/ql/src/CHANGELOG.md index c771f8bd03e..e1485b43676 100644 --- a/cpp/ql/src/CHANGELOG.md +++ b/cpp/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.9.1 + +No user-facing changes. + ## 0.9.0 ### Breaking Changes diff --git a/cpp/ql/src/change-notes/released/0.9.1.md b/cpp/ql/src/change-notes/released/0.9.1.md new file mode 100644 index 00000000000..5ab7a1ee037 --- /dev/null +++ b/cpp/ql/src/change-notes/released/0.9.1.md @@ -0,0 +1,3 @@ +## 0.9.1 + +No user-facing changes. diff --git a/cpp/ql/src/codeql-pack.release.yml b/cpp/ql/src/codeql-pack.release.yml index 8b9fc185202..6789dcd18b7 100644 --- a/cpp/ql/src/codeql-pack.release.yml +++ b/cpp/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.9.0 +lastReleaseVersion: 0.9.1 diff --git a/cpp/ql/src/qlpack.yml b/cpp/ql/src/qlpack.yml index d6adec1bbda..ab0b9d07d1f 100644 --- a/cpp/ql/src/qlpack.yml +++ b/cpp/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/cpp-queries -version: 0.9.1-dev +version: 0.9.1 groups: - cpp - queries diff --git a/csharp/ql/campaigns/Solorigate/lib/CHANGELOG.md b/csharp/ql/campaigns/Solorigate/lib/CHANGELOG.md index cebd2a51e84..881ef60c7c7 100644 --- a/csharp/ql/campaigns/Solorigate/lib/CHANGELOG.md +++ b/csharp/ql/campaigns/Solorigate/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 1.7.5 + +No user-facing changes. + ## 1.7.4 No user-facing changes. diff --git a/csharp/ql/campaigns/Solorigate/lib/change-notes/released/1.7.5.md b/csharp/ql/campaigns/Solorigate/lib/change-notes/released/1.7.5.md new file mode 100644 index 00000000000..f17d9279e0d --- /dev/null +++ b/csharp/ql/campaigns/Solorigate/lib/change-notes/released/1.7.5.md @@ -0,0 +1,3 @@ +## 1.7.5 + +No user-facing changes. diff --git a/csharp/ql/campaigns/Solorigate/lib/codeql-pack.release.yml b/csharp/ql/campaigns/Solorigate/lib/codeql-pack.release.yml index f4f3a4d5120..83aebd7c12a 100644 --- a/csharp/ql/campaigns/Solorigate/lib/codeql-pack.release.yml +++ b/csharp/ql/campaigns/Solorigate/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 1.7.4 +lastReleaseVersion: 1.7.5 diff --git a/csharp/ql/campaigns/Solorigate/lib/qlpack.yml b/csharp/ql/campaigns/Solorigate/lib/qlpack.yml index affb356bca6..c6fb31e2c4b 100644 --- a/csharp/ql/campaigns/Solorigate/lib/qlpack.yml +++ b/csharp/ql/campaigns/Solorigate/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-solorigate-all -version: 1.7.5-dev +version: 1.7.5 groups: - csharp - solorigate diff --git a/csharp/ql/campaigns/Solorigate/src/CHANGELOG.md b/csharp/ql/campaigns/Solorigate/src/CHANGELOG.md index cebd2a51e84..881ef60c7c7 100644 --- a/csharp/ql/campaigns/Solorigate/src/CHANGELOG.md +++ b/csharp/ql/campaigns/Solorigate/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 1.7.5 + +No user-facing changes. + ## 1.7.4 No user-facing changes. diff --git a/csharp/ql/campaigns/Solorigate/src/change-notes/released/1.7.5.md b/csharp/ql/campaigns/Solorigate/src/change-notes/released/1.7.5.md new file mode 100644 index 00000000000..f17d9279e0d --- /dev/null +++ b/csharp/ql/campaigns/Solorigate/src/change-notes/released/1.7.5.md @@ -0,0 +1,3 @@ +## 1.7.5 + +No user-facing changes. diff --git a/csharp/ql/campaigns/Solorigate/src/codeql-pack.release.yml b/csharp/ql/campaigns/Solorigate/src/codeql-pack.release.yml index f4f3a4d5120..83aebd7c12a 100644 --- a/csharp/ql/campaigns/Solorigate/src/codeql-pack.release.yml +++ b/csharp/ql/campaigns/Solorigate/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 1.7.4 +lastReleaseVersion: 1.7.5 diff --git a/csharp/ql/campaigns/Solorigate/src/qlpack.yml b/csharp/ql/campaigns/Solorigate/src/qlpack.yml index 0a318269550..1d740da39fe 100644 --- a/csharp/ql/campaigns/Solorigate/src/qlpack.yml +++ b/csharp/ql/campaigns/Solorigate/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-solorigate-queries -version: 1.7.5-dev +version: 1.7.5 groups: - csharp - solorigate diff --git a/csharp/ql/lib/CHANGELOG.md b/csharp/ql/lib/CHANGELOG.md index 09826df60f4..fe7cf2a05a5 100644 --- a/csharp/ql/lib/CHANGELOG.md +++ b/csharp/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 No user-facing changes. diff --git a/csharp/ql/lib/change-notes/released/0.8.5.md b/csharp/ql/lib/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/csharp/ql/lib/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/csharp/ql/lib/codeql-pack.release.yml b/csharp/ql/lib/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/csharp/ql/lib/codeql-pack.release.yml +++ b/csharp/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/csharp/ql/lib/qlpack.yml b/csharp/ql/lib/qlpack.yml index 8cc4f6e56a9..eb8b2f01371 100644 --- a/csharp/ql/lib/qlpack.yml +++ b/csharp/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-all -version: 0.8.5-dev +version: 0.8.5 groups: csharp dbscheme: semmlecode.csharp.dbscheme extractor: csharp diff --git a/csharp/ql/src/CHANGELOG.md b/csharp/ql/src/CHANGELOG.md index 06f83675355..0318549742f 100644 --- a/csharp/ql/src/CHANGELOG.md +++ b/csharp/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 ### Minor Analysis Improvements diff --git a/csharp/ql/src/change-notes/released/0.8.5.md b/csharp/ql/src/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/csharp/ql/src/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/csharp/ql/src/codeql-pack.release.yml b/csharp/ql/src/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/csharp/ql/src/codeql-pack.release.yml +++ b/csharp/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/csharp/ql/src/qlpack.yml b/csharp/ql/src/qlpack.yml index 8c65f6ad44c..24380e49ee9 100644 --- a/csharp/ql/src/qlpack.yml +++ b/csharp/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/csharp-queries -version: 0.8.5-dev +version: 0.8.5 groups: - csharp - queries diff --git a/go/ql/consistency-queries/CHANGELOG.md b/go/ql/consistency-queries/CHANGELOG.md index d7831747b12..4ffbff1e0c4 100644 --- a/go/ql/consistency-queries/CHANGELOG.md +++ b/go/ql/consistency-queries/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.0.4 + +No user-facing changes. + ## 0.0.3 No user-facing changes. diff --git a/go/ql/consistency-queries/change-notes/released/0.0.4.md b/go/ql/consistency-queries/change-notes/released/0.0.4.md new file mode 100644 index 00000000000..eefe286a4d8 --- /dev/null +++ b/go/ql/consistency-queries/change-notes/released/0.0.4.md @@ -0,0 +1,3 @@ +## 0.0.4 + +No user-facing changes. diff --git a/go/ql/consistency-queries/codeql-pack.release.yml b/go/ql/consistency-queries/codeql-pack.release.yml index a24b693d1e7..ec411a674bc 100644 --- a/go/ql/consistency-queries/codeql-pack.release.yml +++ b/go/ql/consistency-queries/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.0.3 +lastReleaseVersion: 0.0.4 diff --git a/go/ql/consistency-queries/qlpack.yml b/go/ql/consistency-queries/qlpack.yml index c9ca3e11a00..58facab8d99 100644 --- a/go/ql/consistency-queries/qlpack.yml +++ b/go/ql/consistency-queries/qlpack.yml @@ -1,5 +1,5 @@ name: codeql-go-consistency-queries -version: 0.0.4-dev +version: 0.0.4 groups: - go - queries diff --git a/go/ql/lib/CHANGELOG.md b/go/ql/lib/CHANGELOG.md index e457697b68b..87ef5eb3443 100644 --- a/go/ql/lib/CHANGELOG.md +++ b/go/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.7.5 + +No user-facing changes. + ## 0.7.4 ### Bug Fixes diff --git a/go/ql/lib/change-notes/released/0.7.5.md b/go/ql/lib/change-notes/released/0.7.5.md new file mode 100644 index 00000000000..b2759d5bd80 --- /dev/null +++ b/go/ql/lib/change-notes/released/0.7.5.md @@ -0,0 +1,3 @@ +## 0.7.5 + +No user-facing changes. diff --git a/go/ql/lib/codeql-pack.release.yml b/go/ql/lib/codeql-pack.release.yml index e388f34b4ec..b5108ee0bda 100644 --- a/go/ql/lib/codeql-pack.release.yml +++ b/go/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.7.4 +lastReleaseVersion: 0.7.5 diff --git a/go/ql/lib/qlpack.yml b/go/ql/lib/qlpack.yml index 56ef80ceacf..25b59f9f274 100644 --- a/go/ql/lib/qlpack.yml +++ b/go/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/go-all -version: 0.7.5-dev +version: 0.7.5 groups: go dbscheme: go.dbscheme extractor: go diff --git a/go/ql/src/CHANGELOG.md b/go/ql/src/CHANGELOG.md index b1ec0f86f3a..504a9aefdde 100644 --- a/go/ql/src/CHANGELOG.md +++ b/go/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.7.5 + +No user-facing changes. + ## 0.7.4 No user-facing changes. diff --git a/go/ql/src/change-notes/released/0.7.5.md b/go/ql/src/change-notes/released/0.7.5.md new file mode 100644 index 00000000000..b2759d5bd80 --- /dev/null +++ b/go/ql/src/change-notes/released/0.7.5.md @@ -0,0 +1,3 @@ +## 0.7.5 + +No user-facing changes. diff --git a/go/ql/src/codeql-pack.release.yml b/go/ql/src/codeql-pack.release.yml index e388f34b4ec..b5108ee0bda 100644 --- a/go/ql/src/codeql-pack.release.yml +++ b/go/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.7.4 +lastReleaseVersion: 0.7.5 diff --git a/go/ql/src/qlpack.yml b/go/ql/src/qlpack.yml index 06a786b8ee9..7503037da91 100644 --- a/go/ql/src/qlpack.yml +++ b/go/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/go-queries -version: 0.7.5-dev +version: 0.7.5 groups: - go - queries diff --git a/java/ql/automodel/src/CHANGELOG.md b/java/ql/automodel/src/CHANGELOG.md index 0ca6c4f537e..7af25d5379b 100644 --- a/java/ql/automodel/src/CHANGELOG.md +++ b/java/ql/automodel/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.0.10 + +No user-facing changes. + ## 0.0.9 No user-facing changes. diff --git a/java/ql/automodel/src/change-notes/released/0.0.10.md b/java/ql/automodel/src/change-notes/released/0.0.10.md new file mode 100644 index 00000000000..22391080fd4 --- /dev/null +++ b/java/ql/automodel/src/change-notes/released/0.0.10.md @@ -0,0 +1,3 @@ +## 0.0.10 + +No user-facing changes. diff --git a/java/ql/automodel/src/codeql-pack.release.yml b/java/ql/automodel/src/codeql-pack.release.yml index ecdd64fbab8..b740014e5ae 100644 --- a/java/ql/automodel/src/codeql-pack.release.yml +++ b/java/ql/automodel/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.0.9 +lastReleaseVersion: 0.0.10 diff --git a/java/ql/automodel/src/qlpack.yml b/java/ql/automodel/src/qlpack.yml index 046ab6531f2..e857df9d3de 100644 --- a/java/ql/automodel/src/qlpack.yml +++ b/java/ql/automodel/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/java-automodel-queries -version: 0.0.10-dev +version: 0.0.10 groups: - java - automodel diff --git a/java/ql/lib/CHANGELOG.md b/java/ql/lib/CHANGELOG.md index 945b167bec6..bc07396977a 100644 --- a/java/ql/lib/CHANGELOG.md +++ b/java/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 ### Minor Analysis Improvements diff --git a/java/ql/lib/change-notes/released/0.8.5.md b/java/ql/lib/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/java/ql/lib/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/java/ql/lib/codeql-pack.release.yml b/java/ql/lib/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/java/ql/lib/codeql-pack.release.yml +++ b/java/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/java/ql/lib/qlpack.yml b/java/ql/lib/qlpack.yml index f5a7a85efe2..aa3602f3bd3 100644 --- a/java/ql/lib/qlpack.yml +++ b/java/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/java-all -version: 0.8.5-dev +version: 0.8.5 groups: java dbscheme: config/semmlecode.dbscheme extractor: java diff --git a/java/ql/src/CHANGELOG.md b/java/ql/src/CHANGELOG.md index 3559cb95b4a..58799c443cc 100644 --- a/java/ql/src/CHANGELOG.md +++ b/java/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 No user-facing changes. diff --git a/java/ql/src/change-notes/released/0.8.5.md b/java/ql/src/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/java/ql/src/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/java/ql/src/codeql-pack.release.yml b/java/ql/src/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/java/ql/src/codeql-pack.release.yml +++ b/java/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/java/ql/src/qlpack.yml b/java/ql/src/qlpack.yml index b37f21a5f23..837a5344e62 100644 --- a/java/ql/src/qlpack.yml +++ b/java/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/java-queries -version: 0.8.5-dev +version: 0.8.5 groups: - java - queries diff --git a/javascript/ql/lib/CHANGELOG.md b/javascript/ql/lib/CHANGELOG.md index b21f356f7e7..7a9d08a50f2 100644 --- a/javascript/ql/lib/CHANGELOG.md +++ b/javascript/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 ### Minor Analysis Improvements diff --git a/javascript/ql/lib/change-notes/released/0.8.5.md b/javascript/ql/lib/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/javascript/ql/lib/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/javascript/ql/lib/codeql-pack.release.yml b/javascript/ql/lib/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/javascript/ql/lib/codeql-pack.release.yml +++ b/javascript/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/javascript/ql/lib/qlpack.yml b/javascript/ql/lib/qlpack.yml index f210c4ba9f9..df4c1e6a29d 100644 --- a/javascript/ql/lib/qlpack.yml +++ b/javascript/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/javascript-all -version: 0.8.5-dev +version: 0.8.5 groups: javascript dbscheme: semmlecode.javascript.dbscheme extractor: javascript diff --git a/javascript/ql/src/CHANGELOG.md b/javascript/ql/src/CHANGELOG.md index 2911e1f07cc..1af40bc77b5 100644 --- a/javascript/ql/src/CHANGELOG.md +++ b/javascript/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 ### Minor Analysis Improvements diff --git a/javascript/ql/src/change-notes/released/0.8.5.md b/javascript/ql/src/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/javascript/ql/src/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/javascript/ql/src/codeql-pack.release.yml b/javascript/ql/src/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/javascript/ql/src/codeql-pack.release.yml +++ b/javascript/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/javascript/ql/src/qlpack.yml b/javascript/ql/src/qlpack.yml index 759a1684b19..ea41e8b9830 100644 --- a/javascript/ql/src/qlpack.yml +++ b/javascript/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/javascript-queries -version: 0.8.5-dev +version: 0.8.5 groups: - javascript - queries diff --git a/misc/suite-helpers/CHANGELOG.md b/misc/suite-helpers/CHANGELOG.md index fe73a080afb..4048fb51cd9 100644 --- a/misc/suite-helpers/CHANGELOG.md +++ b/misc/suite-helpers/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.7.5 + +No user-facing changes. + ## 0.7.4 No user-facing changes. diff --git a/misc/suite-helpers/change-notes/released/0.7.5.md b/misc/suite-helpers/change-notes/released/0.7.5.md new file mode 100644 index 00000000000..b2759d5bd80 --- /dev/null +++ b/misc/suite-helpers/change-notes/released/0.7.5.md @@ -0,0 +1,3 @@ +## 0.7.5 + +No user-facing changes. diff --git a/misc/suite-helpers/codeql-pack.release.yml b/misc/suite-helpers/codeql-pack.release.yml index e388f34b4ec..b5108ee0bda 100644 --- a/misc/suite-helpers/codeql-pack.release.yml +++ b/misc/suite-helpers/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.7.4 +lastReleaseVersion: 0.7.5 diff --git a/misc/suite-helpers/qlpack.yml b/misc/suite-helpers/qlpack.yml index 128772ab76a..76dbe885d3e 100644 --- a/misc/suite-helpers/qlpack.yml +++ b/misc/suite-helpers/qlpack.yml @@ -1,4 +1,4 @@ name: codeql/suite-helpers -version: 0.7.5-dev +version: 0.7.5 groups: shared warnOnImplicitThis: true diff --git a/python/ql/lib/CHANGELOG.md b/python/ql/lib/CHANGELOG.md index dfe7f2559b0..8a570da513f 100644 --- a/python/ql/lib/CHANGELOG.md +++ b/python/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.11.5 + +No user-facing changes. + ## 0.11.4 ### Minor Analysis Improvements diff --git a/python/ql/lib/change-notes/released/0.11.5.md b/python/ql/lib/change-notes/released/0.11.5.md new file mode 100644 index 00000000000..9d83d989db1 --- /dev/null +++ b/python/ql/lib/change-notes/released/0.11.5.md @@ -0,0 +1,3 @@ +## 0.11.5 + +No user-facing changes. diff --git a/python/ql/lib/codeql-pack.release.yml b/python/ql/lib/codeql-pack.release.yml index e8259bcc88e..ca91bf6fce9 100644 --- a/python/ql/lib/codeql-pack.release.yml +++ b/python/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.11.4 +lastReleaseVersion: 0.11.5 diff --git a/python/ql/lib/qlpack.yml b/python/ql/lib/qlpack.yml index 5e14334de1f..11141cd9c48 100644 --- a/python/ql/lib/qlpack.yml +++ b/python/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/python-all -version: 0.11.5-dev +version: 0.11.5 groups: python dbscheme: semmlecode.python.dbscheme extractor: python diff --git a/python/ql/src/CHANGELOG.md b/python/ql/src/CHANGELOG.md index 5006a5b874f..175f47861b9 100644 --- a/python/ql/src/CHANGELOG.md +++ b/python/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.9.5 + +No user-facing changes. + ## 0.9.4 No user-facing changes. diff --git a/python/ql/src/change-notes/released/0.9.5.md b/python/ql/src/change-notes/released/0.9.5.md new file mode 100644 index 00000000000..f53e894fac2 --- /dev/null +++ b/python/ql/src/change-notes/released/0.9.5.md @@ -0,0 +1,3 @@ +## 0.9.5 + +No user-facing changes. diff --git a/python/ql/src/codeql-pack.release.yml b/python/ql/src/codeql-pack.release.yml index 694907ca221..460240feaff 100644 --- a/python/ql/src/codeql-pack.release.yml +++ b/python/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.9.4 +lastReleaseVersion: 0.9.5 diff --git a/python/ql/src/qlpack.yml b/python/ql/src/qlpack.yml index 760131f4a63..b522ec36bd7 100644 --- a/python/ql/src/qlpack.yml +++ b/python/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/python-queries -version: 0.9.5-dev +version: 0.9.5 groups: - python - queries diff --git a/ruby/ql/lib/CHANGELOG.md b/ruby/ql/lib/CHANGELOG.md index 491318ac4f4..0641b60a508 100644 --- a/ruby/ql/lib/CHANGELOG.md +++ b/ruby/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 ### Minor Analysis Improvements diff --git a/ruby/ql/lib/change-notes/released/0.8.5.md b/ruby/ql/lib/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/ruby/ql/lib/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/ruby/ql/lib/codeql-pack.release.yml b/ruby/ql/lib/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/ruby/ql/lib/codeql-pack.release.yml +++ b/ruby/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/ruby/ql/lib/qlpack.yml b/ruby/ql/lib/qlpack.yml index 64919a81449..bdca7378b7e 100644 --- a/ruby/ql/lib/qlpack.yml +++ b/ruby/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/ruby-all -version: 0.8.5-dev +version: 0.8.5 groups: ruby extractor: ruby dbscheme: ruby.dbscheme diff --git a/ruby/ql/src/CHANGELOG.md b/ruby/ql/src/CHANGELOG.md index 65c057c8672..0e589135e41 100644 --- a/ruby/ql/src/CHANGELOG.md +++ b/ruby/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.8.5 + +No user-facing changes. + ## 0.8.4 No user-facing changes. diff --git a/ruby/ql/src/change-notes/released/0.8.5.md b/ruby/ql/src/change-notes/released/0.8.5.md new file mode 100644 index 00000000000..cb2a467c35b --- /dev/null +++ b/ruby/ql/src/change-notes/released/0.8.5.md @@ -0,0 +1,3 @@ +## 0.8.5 + +No user-facing changes. diff --git a/ruby/ql/src/codeql-pack.release.yml b/ruby/ql/src/codeql-pack.release.yml index 32eff3dc9f3..cbe6bc6b7c6 100644 --- a/ruby/ql/src/codeql-pack.release.yml +++ b/ruby/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.8.4 +lastReleaseVersion: 0.8.5 diff --git a/ruby/ql/src/qlpack.yml b/ruby/ql/src/qlpack.yml index ae6ffff8506..b463a011365 100644 --- a/ruby/ql/src/qlpack.yml +++ b/ruby/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/ruby-queries -version: 0.8.5-dev +version: 0.8.5 groups: - ruby - queries diff --git a/shared/controlflow/CHANGELOG.md b/shared/controlflow/CHANGELOG.md index 2c5050cea76..d14dc358baf 100644 --- a/shared/controlflow/CHANGELOG.md +++ b/shared/controlflow/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.1.5 + +No user-facing changes. + ## 0.1.4 No user-facing changes. diff --git a/shared/controlflow/change-notes/released/0.1.5.md b/shared/controlflow/change-notes/released/0.1.5.md new file mode 100644 index 00000000000..83cd9c5ff46 --- /dev/null +++ b/shared/controlflow/change-notes/released/0.1.5.md @@ -0,0 +1,3 @@ +## 0.1.5 + +No user-facing changes. diff --git a/shared/controlflow/codeql-pack.release.yml b/shared/controlflow/codeql-pack.release.yml index e8ee3af8ef9..157cff8108d 100644 --- a/shared/controlflow/codeql-pack.release.yml +++ b/shared/controlflow/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.1.4 +lastReleaseVersion: 0.1.5 diff --git a/shared/controlflow/qlpack.yml b/shared/controlflow/qlpack.yml index 347326476a8..efbbd83b8bc 100644 --- a/shared/controlflow/qlpack.yml +++ b/shared/controlflow/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/controlflow -version: 0.1.5-dev +version: 0.1.5 groups: shared library: true dependencies: diff --git a/shared/dataflow/CHANGELOG.md b/shared/dataflow/CHANGELOG.md index d932505cd28..39444bf389a 100644 --- a/shared/dataflow/CHANGELOG.md +++ b/shared/dataflow/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.1.5 + +No user-facing changes. + ## 0.1.4 No user-facing changes. diff --git a/shared/dataflow/change-notes/released/0.1.5.md b/shared/dataflow/change-notes/released/0.1.5.md new file mode 100644 index 00000000000..83cd9c5ff46 --- /dev/null +++ b/shared/dataflow/change-notes/released/0.1.5.md @@ -0,0 +1,3 @@ +## 0.1.5 + +No user-facing changes. diff --git a/shared/dataflow/codeql-pack.release.yml b/shared/dataflow/codeql-pack.release.yml index e8ee3af8ef9..157cff8108d 100644 --- a/shared/dataflow/codeql-pack.release.yml +++ b/shared/dataflow/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.1.4 +lastReleaseVersion: 0.1.5 diff --git a/shared/dataflow/qlpack.yml b/shared/dataflow/qlpack.yml index acb359071e4..9b65dd05108 100644 --- a/shared/dataflow/qlpack.yml +++ b/shared/dataflow/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/dataflow -version: 0.1.5-dev +version: 0.1.5 groups: shared library: true dependencies: diff --git a/shared/mad/CHANGELOG.md b/shared/mad/CHANGELOG.md index 9dd0f451a13..8fdbd159d53 100644 --- a/shared/mad/CHANGELOG.md +++ b/shared/mad/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/mad/change-notes/released/0.2.5.md b/shared/mad/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/mad/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/mad/codeql-pack.release.yml b/shared/mad/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/mad/codeql-pack.release.yml +++ b/shared/mad/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/mad/qlpack.yml b/shared/mad/qlpack.yml index daa8bc58f66..9ff6b358ca7 100644 --- a/shared/mad/qlpack.yml +++ b/shared/mad/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/mad -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true dependencies: null diff --git a/shared/rangeanalysis/CHANGELOG.md b/shared/rangeanalysis/CHANGELOG.md index 4992dcad49f..a66789ca7f5 100644 --- a/shared/rangeanalysis/CHANGELOG.md +++ b/shared/rangeanalysis/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.0.4 + +No user-facing changes. + ## 0.0.3 No user-facing changes. diff --git a/shared/rangeanalysis/change-notes/released/0.0.4.md b/shared/rangeanalysis/change-notes/released/0.0.4.md new file mode 100644 index 00000000000..eefe286a4d8 --- /dev/null +++ b/shared/rangeanalysis/change-notes/released/0.0.4.md @@ -0,0 +1,3 @@ +## 0.0.4 + +No user-facing changes. diff --git a/shared/rangeanalysis/codeql-pack.release.yml b/shared/rangeanalysis/codeql-pack.release.yml index a24b693d1e7..ec411a674bc 100644 --- a/shared/rangeanalysis/codeql-pack.release.yml +++ b/shared/rangeanalysis/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.0.3 +lastReleaseVersion: 0.0.4 diff --git a/shared/rangeanalysis/qlpack.yml b/shared/rangeanalysis/qlpack.yml index 369d092a98f..7e6b2dddf36 100644 --- a/shared/rangeanalysis/qlpack.yml +++ b/shared/rangeanalysis/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/rangeanalysis -version: 0.0.4-dev +version: 0.0.4 groups: shared library: true dependencies: diff --git a/shared/regex/CHANGELOG.md b/shared/regex/CHANGELOG.md index c753fbda232..3cf342c9f29 100644 --- a/shared/regex/CHANGELOG.md +++ b/shared/regex/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/regex/change-notes/released/0.2.5.md b/shared/regex/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/regex/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/regex/codeql-pack.release.yml b/shared/regex/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/regex/codeql-pack.release.yml +++ b/shared/regex/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/regex/qlpack.yml b/shared/regex/qlpack.yml index 4567e48d59d..63d2288520c 100644 --- a/shared/regex/qlpack.yml +++ b/shared/regex/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/regex -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true dependencies: diff --git a/shared/ssa/CHANGELOG.md b/shared/ssa/CHANGELOG.md index 1cd20a42e1b..d1f2a74fec0 100644 --- a/shared/ssa/CHANGELOG.md +++ b/shared/ssa/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/ssa/change-notes/released/0.2.5.md b/shared/ssa/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/ssa/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/ssa/codeql-pack.release.yml b/shared/ssa/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/ssa/codeql-pack.release.yml +++ b/shared/ssa/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/ssa/qlpack.yml b/shared/ssa/qlpack.yml index 5ffdf021ecb..77667245f41 100644 --- a/shared/ssa/qlpack.yml +++ b/shared/ssa/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/ssa -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true dependencies: diff --git a/shared/threat-models/CHANGELOG.md b/shared/threat-models/CHANGELOG.md index d7831747b12..4ffbff1e0c4 100644 --- a/shared/threat-models/CHANGELOG.md +++ b/shared/threat-models/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.0.4 + +No user-facing changes. + ## 0.0.3 No user-facing changes. diff --git a/shared/threat-models/change-notes/released/0.0.4.md b/shared/threat-models/change-notes/released/0.0.4.md new file mode 100644 index 00000000000..eefe286a4d8 --- /dev/null +++ b/shared/threat-models/change-notes/released/0.0.4.md @@ -0,0 +1,3 @@ +## 0.0.4 + +No user-facing changes. diff --git a/shared/threat-models/codeql-pack.release.yml b/shared/threat-models/codeql-pack.release.yml index a24b693d1e7..ec411a674bc 100644 --- a/shared/threat-models/codeql-pack.release.yml +++ b/shared/threat-models/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.0.3 +lastReleaseVersion: 0.0.4 diff --git a/shared/threat-models/qlpack.yml b/shared/threat-models/qlpack.yml index e96d6cf5dc4..6d16327a14d 100644 --- a/shared/threat-models/qlpack.yml +++ b/shared/threat-models/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/threat-models -version: 0.0.4-dev +version: 0.0.4 library: true groups: shared dataExtensions: diff --git a/shared/tutorial/CHANGELOG.md b/shared/tutorial/CHANGELOG.md index 9fa52e48055..a0bfc02bcbf 100644 --- a/shared/tutorial/CHANGELOG.md +++ b/shared/tutorial/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/tutorial/change-notes/released/0.2.5.md b/shared/tutorial/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/tutorial/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/tutorial/codeql-pack.release.yml b/shared/tutorial/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/tutorial/codeql-pack.release.yml +++ b/shared/tutorial/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/tutorial/qlpack.yml b/shared/tutorial/qlpack.yml index f086872a3a9..98fbdc74270 100644 --- a/shared/tutorial/qlpack.yml +++ b/shared/tutorial/qlpack.yml @@ -1,7 +1,7 @@ name: codeql/tutorial description: Library for the CodeQL detective tutorials, helping new users learn to write CodeQL queries. -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true warnOnImplicitThis: true diff --git a/shared/typetracking/CHANGELOG.md b/shared/typetracking/CHANGELOG.md index f675bfa9db2..2236b1a2d5d 100644 --- a/shared/typetracking/CHANGELOG.md +++ b/shared/typetracking/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/typetracking/change-notes/released/0.2.5.md b/shared/typetracking/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/typetracking/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/typetracking/codeql-pack.release.yml b/shared/typetracking/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/typetracking/codeql-pack.release.yml +++ b/shared/typetracking/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/typetracking/qlpack.yml b/shared/typetracking/qlpack.yml index 150d6da930c..ee6ff86a582 100644 --- a/shared/typetracking/qlpack.yml +++ b/shared/typetracking/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/typetracking -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true dependencies: diff --git a/shared/typos/CHANGELOG.md b/shared/typos/CHANGELOG.md index 41d6cb49505..9db98dbb2d0 100644 --- a/shared/typos/CHANGELOG.md +++ b/shared/typos/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/typos/change-notes/released/0.2.5.md b/shared/typos/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/typos/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/typos/codeql-pack.release.yml b/shared/typos/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/typos/codeql-pack.release.yml +++ b/shared/typos/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/typos/qlpack.yml b/shared/typos/qlpack.yml index a67d0933613..e3349bd478d 100644 --- a/shared/typos/qlpack.yml +++ b/shared/typos/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/typos -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true warnOnImplicitThis: true diff --git a/shared/util/CHANGELOG.md b/shared/util/CHANGELOG.md index f17102565c0..a1df29447d5 100644 --- a/shared/util/CHANGELOG.md +++ b/shared/util/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/util/change-notes/released/0.2.5.md b/shared/util/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/util/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/util/codeql-pack.release.yml b/shared/util/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/util/codeql-pack.release.yml +++ b/shared/util/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/util/qlpack.yml b/shared/util/qlpack.yml index ac7cf912e4d..9509e229fc5 100644 --- a/shared/util/qlpack.yml +++ b/shared/util/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/util -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true dependencies: null diff --git a/shared/yaml/CHANGELOG.md b/shared/yaml/CHANGELOG.md index dc0dbe801be..aa342042f47 100644 --- a/shared/yaml/CHANGELOG.md +++ b/shared/yaml/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.2.5 + +No user-facing changes. + ## 0.2.4 No user-facing changes. diff --git a/shared/yaml/change-notes/released/0.2.5.md b/shared/yaml/change-notes/released/0.2.5.md new file mode 100644 index 00000000000..5837551476f --- /dev/null +++ b/shared/yaml/change-notes/released/0.2.5.md @@ -0,0 +1,3 @@ +## 0.2.5 + +No user-facing changes. diff --git a/shared/yaml/codeql-pack.release.yml b/shared/yaml/codeql-pack.release.yml index 7f1e3841dcd..211454ed306 100644 --- a/shared/yaml/codeql-pack.release.yml +++ b/shared/yaml/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.2.4 +lastReleaseVersion: 0.2.5 diff --git a/shared/yaml/qlpack.yml b/shared/yaml/qlpack.yml index c3bafd4ad74..69b7dbc1335 100644 --- a/shared/yaml/qlpack.yml +++ b/shared/yaml/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/yaml -version: 0.2.5-dev +version: 0.2.5 groups: shared library: true warnOnImplicitThis: true diff --git a/swift/ql/lib/CHANGELOG.md b/swift/ql/lib/CHANGELOG.md index a74ccb93732..16d44561346 100644 --- a/swift/ql/lib/CHANGELOG.md +++ b/swift/ql/lib/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.3.5 + +No user-facing changes. + ## 0.3.4 ### Minor Analysis Improvements diff --git a/swift/ql/lib/change-notes/released/0.3.5.md b/swift/ql/lib/change-notes/released/0.3.5.md new file mode 100644 index 00000000000..7a86712e637 --- /dev/null +++ b/swift/ql/lib/change-notes/released/0.3.5.md @@ -0,0 +1,3 @@ +## 0.3.5 + +No user-facing changes. diff --git a/swift/ql/lib/codeql-pack.release.yml b/swift/ql/lib/codeql-pack.release.yml index 5ed15c24b9c..468917f2543 100644 --- a/swift/ql/lib/codeql-pack.release.yml +++ b/swift/ql/lib/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.3.4 +lastReleaseVersion: 0.3.5 diff --git a/swift/ql/lib/qlpack.yml b/swift/ql/lib/qlpack.yml index 23cbcdcce28..32b94ce9ea8 100644 --- a/swift/ql/lib/qlpack.yml +++ b/swift/ql/lib/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/swift-all -version: 0.3.5-dev +version: 0.3.5 groups: swift extractor: swift dbscheme: swift.dbscheme diff --git a/swift/ql/src/CHANGELOG.md b/swift/ql/src/CHANGELOG.md index c58a186f725..689f4e90b87 100644 --- a/swift/ql/src/CHANGELOG.md +++ b/swift/ql/src/CHANGELOG.md @@ -1,3 +1,7 @@ +## 0.3.5 + +No user-facing changes. + ## 0.3.4 ### Minor Analysis Improvements diff --git a/swift/ql/src/change-notes/released/0.3.5.md b/swift/ql/src/change-notes/released/0.3.5.md new file mode 100644 index 00000000000..7a86712e637 --- /dev/null +++ b/swift/ql/src/change-notes/released/0.3.5.md @@ -0,0 +1,3 @@ +## 0.3.5 + +No user-facing changes. diff --git a/swift/ql/src/codeql-pack.release.yml b/swift/ql/src/codeql-pack.release.yml index 5ed15c24b9c..468917f2543 100644 --- a/swift/ql/src/codeql-pack.release.yml +++ b/swift/ql/src/codeql-pack.release.yml @@ -1,2 +1,2 @@ --- -lastReleaseVersion: 0.3.4 +lastReleaseVersion: 0.3.5 diff --git a/swift/ql/src/qlpack.yml b/swift/ql/src/qlpack.yml index 0998bebd616..7149a64fb34 100644 --- a/swift/ql/src/qlpack.yml +++ b/swift/ql/src/qlpack.yml @@ -1,5 +1,5 @@ name: codeql/swift-queries -version: 0.3.5-dev +version: 0.3.5 groups: - swift - queries From f57a5d76502cd8da136230e178b850ac656acbc0 Mon Sep 17 00:00:00 2001 From: Josh Brown Date: Fri, 22 Dec 2023 10:45:16 -0800 Subject: [PATCH 13/15] Upgrade shared DataFlow PathNode signature to include getASuccessor(), isSource() --- shared/dataflow/codeql/dataflow/DataFlow.qll | 33 +++++++++++++++++++- 1 file changed, 32 insertions(+), 1 deletion(-) diff --git a/shared/dataflow/codeql/dataflow/DataFlow.qll b/shared/dataflow/codeql/dataflow/DataFlow.qll index 57694df0948..674e517ff6e 100644 --- a/shared/dataflow/codeql/dataflow/DataFlow.qll +++ b/shared/dataflow/codeql/dataflow/DataFlow.qll @@ -494,7 +494,16 @@ module DataFlowMake { * A `Node` augmented with a call context (except for sinks) and an access path. * Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated. */ - class PathNode; + class PathNode{ + /** Gets the underlying Node. */ + Node getNode(); + + /** Gets a successor of this node, if any. */ + PathNode getASuccessor(); + + /** Holds if this node is a source. */ + predicate isSource(); + } /** * Holds if data can flow from `source` to `sink`. @@ -570,6 +579,9 @@ module DataFlowMake { /** Gets the underlying `Node`. */ Node getNode(); + + /** Holds if this node is a source. */ + predicate isSource(); } signature module PathGraphSig { @@ -631,6 +643,15 @@ module DataFlowMake { result = this.asPathNode1().getNode() or result = this.asPathNode2().getNode() } + + predicate isSource(){ + this.asPathNode1().isSource() or + this.asPathNode2().isSource() or + } + + PathNode getASuccessor(){ + none() + } } /** @@ -702,6 +723,16 @@ module DataFlowMake { /** Gets the underlying `Node`. */ Node getNode() { result = super.getNode() } + + predicate isSource(){ + this.asPathNode1().isSource() or + this.asPathNode2().isSource() or + this.asPathNode3().isSource() + } + + PathNode getASuccessor(){ + none() + } } /** From 5a8185dcafd6bf5ffd5e11438b8a03e097e0eb0f Mon Sep 17 00:00:00 2001 From: Josh Brown Date: Fri, 22 Dec 2023 11:47:31 -0800 Subject: [PATCH 14/15] Syntax fix - extra or --- shared/dataflow/codeql/dataflow/DataFlow.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shared/dataflow/codeql/dataflow/DataFlow.qll b/shared/dataflow/codeql/dataflow/DataFlow.qll index 674e517ff6e..aa504a4386f 100644 --- a/shared/dataflow/codeql/dataflow/DataFlow.qll +++ b/shared/dataflow/codeql/dataflow/DataFlow.qll @@ -646,7 +646,7 @@ module DataFlowMake { predicate isSource(){ this.asPathNode1().isSource() or - this.asPathNode2().isSource() or + this.asPathNode2().isSource() } PathNode getASuccessor(){ From 2f163b070a595ebdaae24a7190fd10c90e6ab458 Mon Sep 17 00:00:00 2001 From: Josh Brown Date: Thu, 28 Dec 2023 10:08:50 -0800 Subject: [PATCH 15/15] MethodCallInsecureFileCreation isSource --- .../java/security/TempDirLocalInformationDisclosureQuery.qll | 3 +++ 1 file changed, 3 insertions(+) diff --git a/java/ql/lib/semmle/code/java/security/TempDirLocalInformationDisclosureQuery.qll b/java/ql/lib/semmle/code/java/security/TempDirLocalInformationDisclosureQuery.qll index 843db3b5934..2fc8d1e1be5 100644 --- a/java/ql/lib/semmle/code/java/security/TempDirLocalInformationDisclosureQuery.qll +++ b/java/ql/lib/semmle/code/java/security/TempDirLocalInformationDisclosureQuery.qll @@ -212,6 +212,9 @@ abstract class MethodCallInsecureFileCreation extends MethodCall { * Gets the dataflow node representing the file system entity created. */ DataFlow::Node getNode() { result.asExpr() = this } + + /** Holds if this node is a source. */ + predicate isSource() { any() } } /** DEPRECATED: Alias for `MethodCallInsecureFileCreation`. */