diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 458e78e..e12a3f5 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -14,6 +14,6 @@ jobs: uses: github/codeql-action/init@v3 - name: Run tests run: | - ${{ steps.init.outputs.codeql-path }} test run ./cpp/test/ - ${{ steps.init.outputs.codeql-path }} test run ./go/test/ + ${{ steps.init.outputs.codeql-path }} test extract ./java/test/ + ${{ steps.init.outputs.codeql-path }} query run --database=java/test/test.testproj/ -- java/src/security/Recursion/Recursion.ql ${{ steps.init.outputs.codeql-path }} test run ./java/test/ diff --git a/go/src/security/MissingMinVersionTLS/MissingMinVersionTLS.ql b/go/src/security/MissingMinVersionTLS/MissingMinVersionTLS.ql index b79bb8b..8a544a0 100644 --- a/go/src/security/MissingMinVersionTLS/MissingMinVersionTLS.ql +++ b/go/src/security/MissingMinVersionTLS/MissingMinVersionTLS.ql @@ -94,12 +94,12 @@ predicate configOrConfigPointer(Type t) { ) or exists(Type tp | tp.hasQualifiedName("crypto/tls", "Config") and - t.(NamedType).getUnderlyingType().(StructType).hasField(_, tp) + t.(DefinedType).getUnderlyingType().(StructType).hasField(_, tp) ) or exists(Type tp, Type tp2 | tp.hasQualifiedName("crypto/tls", "Config") and tp2 = tp.getPointerType+() and - t.(NamedType).getUnderlyingType().(StructType).hasField(_, tp2) + t.(DefinedType).getUnderlyingType().(StructType).hasField(_, tp2) ) } @@ -149,4 +149,4 @@ where ) else any() -select configStruct, "TLS.Config.MinVersion is never set for variable $@ ", v, v.getName() \ No newline at end of file +select configStruct, "TLS.Config.MinVersion is never set for variable $@ ", v, v.getName() diff --git a/java/src/codeql-pack.lock.yml b/java/src/codeql-pack.lock.yml index b1acfc0..cde9e7a 100644 --- a/java/src/codeql-pack.lock.yml +++ b/java/src/codeql-pack.lock.yml @@ -2,27 +2,27 @@ lockVersion: 1.0.0 dependencies: codeql/dataflow: - version: 1.1.5 + version: 2.0.4 codeql/java-all: - version: 4.2.0 + version: 7.1.2 codeql/mad: - version: 1.0.11 + version: 1.0.20 codeql/rangeanalysis: - version: 1.0.11 + version: 1.0.20 codeql/regex: - version: 1.0.11 + version: 1.0.20 codeql/ssa: - version: 1.0.11 + version: 1.0.20 codeql/threat-models: - version: 1.0.11 + version: 1.0.20 codeql/tutorial: - version: 1.0.11 + version: 1.0.20 codeql/typeflow: - version: 1.0.11 + version: 1.0.20 codeql/typetracking: - version: 1.0.11 + version: 2.0.4 codeql/util: - version: 1.0.11 + version: 2.0.7 codeql/xml: - version: 1.0.11 + version: 1.0.20 compiled: false diff --git a/java/test/codeql-pack.lock.yml b/java/test/codeql-pack.lock.yml index b1acfc0..cde9e7a 100644 --- a/java/test/codeql-pack.lock.yml +++ b/java/test/codeql-pack.lock.yml @@ -2,27 +2,27 @@ lockVersion: 1.0.0 dependencies: codeql/dataflow: - version: 1.1.5 + version: 2.0.4 codeql/java-all: - version: 4.2.0 + version: 7.1.2 codeql/mad: - version: 1.0.11 + version: 1.0.20 codeql/rangeanalysis: - version: 1.0.11 + version: 1.0.20 codeql/regex: - version: 1.0.11 + version: 1.0.20 codeql/ssa: - version: 1.0.11 + version: 1.0.20 codeql/threat-models: - version: 1.0.11 + version: 1.0.20 codeql/tutorial: - version: 1.0.11 + version: 1.0.20 codeql/typeflow: - version: 1.0.11 + version: 1.0.20 codeql/typetracking: - version: 1.0.11 + version: 2.0.4 codeql/util: - version: 1.0.11 + version: 2.0.7 codeql/xml: - version: 1.0.11 + version: 1.0.20 compiled: false