[krishnprakash/codeql] b8a8a1: Rust: More type inference tests
0 views
Skip to first unread message
Phileco
7:22 AM (10 hours ago) 7:22 AM
to philecodi...@googlegroups.com
Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: b8a8a160c5e481b5bd52372515a4d942aecb0975
https://github.com/krishnprakash/codeql/commit/b8a8a160c5e481b5bd52372515a4d942aecb0975
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-03-26 (Thu, 26 Mar 2026)
Changed paths:
M rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
Log Message:
-----------
Rust: More type inference tests
Commit: 6dc98cfd01862aaab594d3d4d246036c3ea38689
https://github.com/krishnprakash/codeql/commit/6dc98cfd01862aaab594d3d4d246036c3ea38689
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-03-27 (Fri, 27 Mar 2026)
Changed paths:
M rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M rust/ql/test/utils-tests/modelgenerator/option.rs
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll
Log Message:
-----------
Rust: Infer argument types based on trait bounds on parameters
Commit: 9c095bc580b5fd4d0f44362faf8680d5e25f2a4d
https://github.com/krishnprakash/codeql/commit/9c095bc580b5fd4d0f44362faf8680d5e25f2a4d
Author: Michael Nebel <michae...@github.com>
Date: 2026-04-01 (Wed, 01 Apr 2026)
Changed paths:
M csharp/ql/lib/Linq/Helpers.qll
M csharp/ql/lib/definitions.qll
M csharp/ql/lib/semmle/code/csharp/Assignable.qll
M csharp/ql/lib/semmle/code/csharp/PrintAst.qll
M csharp/ql/lib/semmle/code/csharp/Property.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisSpecific.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaUtils.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Access.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Assignment.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Call.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Creation.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Moq.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Sql.qll
M csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
M csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
M csharp/ql/lib/semmle/code/csharp/security/xml/InsecureXMLQuery.qll
M csharp/ql/src/Dead Code/NonAssignedFields.ql
M csharp/ql/src/Language Abuse/ForeachCapture.ql
M csharp/ql/src/Language Abuse/MissedTernaryOpportunity.ql
M csharp/ql/src/Likely Bugs/Collections/WriteOnlyContainer.ql
M csharp/ql/src/Likely Bugs/SelfAssignment.ql
M csharp/ql/src/Linq/BadMultipleIteration.ql
M csharp/ql/src/Performance/StringConcatenationInLoop.ql
M csharp/ql/src/Security Features/CWE-1004/CookieWithoutHttpOnly.ql
M csharp/ql/src/Security Features/CWE-327/InsecureSQLConnection.ql
M csharp/ql/src/Security Features/CWE-614/CookieWithoutSecure.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadDomain.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadPath.ql
M csharp/ql/src/Security Features/HeaderCheckingDisabled.ql
M csharp/ql/src/Security Features/InsecureRandomness.ql
M csharp/ql/src/Security Features/InsufficientKeySize.ql
M csharp/ql/src/Security Features/PersistentCookie.ql
M csharp/ql/src/Telemetry/DatabaseQuality.qll
M csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
M csharp/ql/test/library-tests/assignments/AssignOperation.ql
M csharp/ql/test/library-tests/conversion/pointer/Pointer.ql
M csharp/ql/test/library-tests/csharp10/lambda.ql
M csharp/ql/test/library-tests/csharp11/operators.ql
M csharp/ql/test/library-tests/csharp6/MemberInitializer.ql
M csharp/ql/test/library-tests/enums/Enums11.ql
M csharp/ql/test/library-tests/expressions/AddEventExpr1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod2.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod3.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod4.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod5.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation1.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation2.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation3.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation1.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation10.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation2.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation3.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation5.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation6.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation7.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation8.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation9.ql
M csharp/ql/test/library-tests/expressions/Lambda1.ql
M csharp/ql/test/library-tests/expressions/Lambda2.ql
M csharp/ql/test/library-tests/expressions/Lambda3.ql
M csharp/ql/test/library-tests/expressions/Lambda4.ql
M csharp/ql/test/library-tests/expressions/Lambda5.ql
M csharp/ql/test/library-tests/expressions/Lambda6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation10.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation11.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation5.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation7.ql
M csharp/ql/test/library-tests/expressions/RemoveEventExpr1.ql
Log Message:
-----------
C#: Deprecate get[L|R]Value predicates.
Commit: 6d5aff4822bd625355d6b16ea04ced168f0ceaf2
https://github.com/krishnprakash/codeql/commit/6d5aff4822bd625355d6b16ea04ced168f0ceaf2
Author: Michael Nebel <michae...@github.com>
Date: 2026-04-01 (Wed, 01 Apr 2026)
Changed paths:
A csharp/ql/lib/change-notes/2026-04-01-getlrvalue.md
Log Message:
-----------
C#: Add change-note.
Commit: 4d8b782695fdec2dc2058f6112a1bbebfb02d660
https://github.com/krishnprakash/codeql/commit/4d8b782695fdec2dc2058f6112a1bbebfb02d660
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-02 (Thu, 02 Apr 2026)
Changed paths:
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
Log Message:
-----------
Shared: Also expose dataflow stage 1's forward flow predicate.
Commit: 7d184d0c7f15c787f755284daa1a49cef92228b5
https://github.com/krishnprakash/codeql/commit/7d184d0c7f15c787f755284daa1a49cef92228b5
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
M rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M rust/ql/test/utils-tests/modelgenerator/option.rs
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll
Log Message:
-----------
Merge pull request #21206 from hvitved/rust/type-inference-closure-param-context-typed
Rust: Infer argument types based on trait bounds on parameters
Commit: 74b0e8c19a811ad34f2efbca96425e3185217e76
https://github.com/krishnprakash/codeql/commit/74b0e8c19a811ad34f2efbca96425e3185217e76
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
M java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
M java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
M java/ql/test/library-tests/compact-source-files/options
M java/ql/test/library-tests/dataflow/kdf/options
M java/ql/test/library-tests/dataflow/scoped-values/options
M java/ql/test/library-tests/errorexpr/Test.java
M java/ql/test/library-tests/flexible-constructors/options
M java/ql/test/library-tests/module-import-declarations/options
Log Message:
-----------
Java: Accept new test results after JDK 26 extractor upgrade
Commit: 5a6eb7947068ce413cb20678bb743ceb2b4b0a48
https://github.com/krishnprakash/codeql/commit/5a6eb7947068ce413cb20678bb743ceb2b4b0a48
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
A java/ql/test/query-tests/security/CWE-676/semmle/tests/options
Log Message:
-----------
Java: Pin CWE-676 test to --release 25
Thread.stop() was removed in JDK 26. Pin the test to --release 25.
Commit: 3ccbd8032c938c95f9ea2d2f5568545370c80216
https://github.com/krishnprakash/codeql/commit/3ccbd8032c938c95f9ea2d2f5568545370c80216
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test-kotlin1/library-tests/java-kotlin-collection-type-generic-methods/test.expected
Log Message:
-----------
Java: Accept new test results for JDK 26
JDK 26 added ofLazy methods to List, Map, and Set collections.
Update expected test output to include these new methods.
Commit: 6f199b90ba6c0a59ca99f6cad9e74eb8659c2be4
https://github.com/krishnprakash/codeql/commit/6f199b90ba6c0a59ca99f6cad9e74eb8659c2be4
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test-kotlin2/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/reflection/reflection.expected
Log Message:
-----------
Java: Accept new test results for JDK 26
Accept new ByteOrder.getEntries, List.ofLazy, and Map.ofLazy entries
in kotlin2 test expected files.
Commit: e259ebe258dc1986b4eb1a494bc21f3ebcf9377f
https://github.com/krishnprakash/codeql/commit/e259ebe258dc1986b4eb1a494bc21f3ebcf9377f
Author: Michael Nebel <michae...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M csharp/ql/lib/Linq/Helpers.qll
A csharp/ql/lib/change-notes/2026-04-01-getlrvalue.md
M csharp/ql/lib/definitions.qll
M csharp/ql/lib/semmle/code/csharp/Assignable.qll
M csharp/ql/lib/semmle/code/csharp/PrintAst.qll
M csharp/ql/lib/semmle/code/csharp/Property.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisSpecific.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaUtils.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Access.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Assignment.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Call.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Creation.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Moq.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Sql.qll
M csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
M csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
M csharp/ql/lib/semmle/code/csharp/security/xml/InsecureXMLQuery.qll
M csharp/ql/src/Dead Code/NonAssignedFields.ql
M csharp/ql/src/Language Abuse/ForeachCapture.ql
M csharp/ql/src/Language Abuse/MissedTernaryOpportunity.ql
M csharp/ql/src/Likely Bugs/Collections/WriteOnlyContainer.ql
M csharp/ql/src/Likely Bugs/SelfAssignment.ql
M csharp/ql/src/Linq/BadMultipleIteration.ql
M csharp/ql/src/Performance/StringConcatenationInLoop.ql
M csharp/ql/src/Security Features/CWE-1004/CookieWithoutHttpOnly.ql
M csharp/ql/src/Security Features/CWE-327/InsecureSQLConnection.ql
M csharp/ql/src/Security Features/CWE-614/CookieWithoutSecure.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadDomain.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadPath.ql
M csharp/ql/src/Security Features/HeaderCheckingDisabled.ql
M csharp/ql/src/Security Features/InsecureRandomness.ql
M csharp/ql/src/Security Features/InsufficientKeySize.ql
M csharp/ql/src/Security Features/PersistentCookie.ql
M csharp/ql/src/Telemetry/DatabaseQuality.qll
M csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
M csharp/ql/test/library-tests/assignments/AssignOperation.ql
M csharp/ql/test/library-tests/conversion/pointer/Pointer.ql
M csharp/ql/test/library-tests/csharp10/lambda.ql
M csharp/ql/test/library-tests/csharp11/operators.ql
M csharp/ql/test/library-tests/csharp6/MemberInitializer.ql
M csharp/ql/test/library-tests/enums/Enums11.ql
M csharp/ql/test/library-tests/expressions/AddEventExpr1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod2.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod3.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod4.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod5.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation1.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation2.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation3.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation1.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation10.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation2.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation3.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation5.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation6.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation7.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation8.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation9.ql
M csharp/ql/test/library-tests/expressions/Lambda1.ql
M csharp/ql/test/library-tests/expressions/Lambda2.ql
M csharp/ql/test/library-tests/expressions/Lambda3.ql
M csharp/ql/test/library-tests/expressions/Lambda4.ql
M csharp/ql/test/library-tests/expressions/Lambda5.ql
M csharp/ql/test/library-tests/expressions/Lambda6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation10.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation11.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation5.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation7.ql
M csharp/ql/test/library-tests/expressions/RemoveEventExpr1.ql
Log Message:
-----------
Merge pull request #21627 from michaelnebel/csharp/cleanup
C#: Deprecate get[L|R]Value predicates.
Commit: 39f92e992a304d86617eb859ba2894f74a6813ae
https://github.com/krishnprakash/codeql/commit/39f92e992a304d86617eb859ba2894f74a6813ae
Author: Idriss Riouak <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test-kotlin1/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/reflection/reflection.expected
M java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
M java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
M java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
M java/ql/test/library-tests/compact-source-files/options
M java/ql/test/library-tests/dataflow/kdf/options
M java/ql/test/library-tests/dataflow/scoped-values/options
M java/ql/test/library-tests/errorexpr/Test.java
M java/ql/test/library-tests/flexible-constructors/options
M java/ql/test/library-tests/module-import-declarations/options
A java/ql/test/query-tests/security/CWE-676/semmle/tests/options
Log Message:
-----------
Merge pull request #21494 from github/idrissrio/java/jdk26
Java: Accept new test results after JDK 26 extractor upgrade
Commit: e06294bcb4ccfbc0783c47a1a8c9f0f84578f2da
https://github.com/krishnprakash/codeql/commit/e06294bcb4ccfbc0783c47a1a8c9f0f84578f2da
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
Log Message:
-----------
Shared: Respond to review comments.
Commit: 5e145aa27dbbf9f7ee381c51f51063e09e098100
https://github.com/krishnprakash/codeql/commit/5e145aa27dbbf9f7ee381c51f51063e09e098100
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
Log Message:
-----------
Merge pull request #21631 from MathiasVP/expose-fwd-stage-1
Dataflow: Expose stage 1's `fwdFlow`
Commit: f209a8672812b49e0ade75e8162e7f7af5733c8a
https://github.com/krishnprakash/codeql/commit/f209a8672812b49e0ade75e8162e7f7af5733c8a
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M csharp/ql/lib/Linq/Helpers.qll
A csharp/ql/lib/change-notes/2026-04-01-getlrvalue.md
M csharp/ql/lib/definitions.qll
M csharp/ql/lib/semmle/code/csharp/Assignable.qll
M csharp/ql/lib/semmle/code/csharp/PrintAst.qll
M csharp/ql/lib/semmle/code/csharp/Property.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisSpecific.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaUtils.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Access.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Assignment.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Call.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Creation.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Moq.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Sql.qll
M csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
M csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
M csharp/ql/lib/semmle/code/csharp/security/xml/InsecureXMLQuery.qll
M csharp/ql/src/Dead Code/NonAssignedFields.ql
M csharp/ql/src/Language Abuse/ForeachCapture.ql
M csharp/ql/src/Language Abuse/MissedTernaryOpportunity.ql
M csharp/ql/src/Likely Bugs/Collections/WriteOnlyContainer.ql
M csharp/ql/src/Likely Bugs/SelfAssignment.ql
M csharp/ql/src/Linq/BadMultipleIteration.ql
M csharp/ql/src/Performance/StringConcatenationInLoop.ql
M csharp/ql/src/Security Features/CWE-1004/CookieWithoutHttpOnly.ql
M csharp/ql/src/Security Features/CWE-327/InsecureSQLConnection.ql
M csharp/ql/src/Security Features/CWE-614/CookieWithoutSecure.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadDomain.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadPath.ql
M csharp/ql/src/Security Features/HeaderCheckingDisabled.ql
M csharp/ql/src/Security Features/InsecureRandomness.ql
M csharp/ql/src/Security Features/InsufficientKeySize.ql
M csharp/ql/src/Security Features/PersistentCookie.ql
M csharp/ql/src/Telemetry/DatabaseQuality.qll
M csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
M csharp/ql/test/library-tests/assignments/AssignOperation.ql
M csharp/ql/test/library-tests/conversion/pointer/Pointer.ql
M csharp/ql/test/library-tests/csharp10/lambda.ql
M csharp/ql/test/library-tests/csharp11/operators.ql
M csharp/ql/test/library-tests/csharp6/MemberInitializer.ql
M csharp/ql/test/library-tests/enums/Enums11.ql
M csharp/ql/test/library-tests/expressions/AddEventExpr1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod2.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod3.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod4.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod5.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation1.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation2.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation3.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation1.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation10.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation2.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation3.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation5.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation6.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation7.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation8.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation9.ql
M csharp/ql/test/library-tests/expressions/Lambda1.ql
M csharp/ql/test/library-tests/expressions/Lambda2.ql
M csharp/ql/test/library-tests/expressions/Lambda3.ql
M csharp/ql/test/library-tests/expressions/Lambda4.ql
M csharp/ql/test/library-tests/expressions/Lambda5.ql
M csharp/ql/test/library-tests/expressions/Lambda6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation10.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation11.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation5.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation7.ql
M csharp/ql/test/library-tests/expressions/RemoveEventExpr1.ql
M java/ql/test-kotlin1/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/reflection/reflection.expected
M java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
M java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
M java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
M java/ql/test/library-tests/compact-source-files/options
M java/ql/test/library-tests/dataflow/kdf/options
M java/ql/test/library-tests/dataflow/scoped-values/options
M java/ql/test/library-tests/errorexpr/Test.java
M java/ql/test/library-tests/flexible-constructors/options
M java/ql/test/library-tests/module-import-declarations/options
A java/ql/test/query-tests/security/CWE-676/semmle/tests/options
M rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
M rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M rust/ql/test/utils-tests/modelgenerator/option.rs
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll
Log Message:
-----------
Merge branch 'github:main' into main
Compare: https://github.com/krishnprakash/codeql/compare/04f895a46628...f209a8672812
To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications
Home: https://github.com/krishnprakash/codeql
Commit: b8a8a160c5e481b5bd52372515a4d942aecb0975
https://github.com/krishnprakash/codeql/commit/b8a8a160c5e481b5bd52372515a4d942aecb0975
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-03-26 (Thu, 26 Mar 2026)
Changed paths:
M rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
Log Message:
-----------
Rust: More type inference tests
Commit: 6dc98cfd01862aaab594d3d4d246036c3ea38689
https://github.com/krishnprakash/codeql/commit/6dc98cfd01862aaab594d3d4d246036c3ea38689
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-03-27 (Fri, 27 Mar 2026)
Changed paths:
M rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M rust/ql/test/utils-tests/modelgenerator/option.rs
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll
Log Message:
-----------
Rust: Infer argument types based on trait bounds on parameters
Commit: 9c095bc580b5fd4d0f44362faf8680d5e25f2a4d
https://github.com/krishnprakash/codeql/commit/9c095bc580b5fd4d0f44362faf8680d5e25f2a4d
Author: Michael Nebel <michae...@github.com>
Date: 2026-04-01 (Wed, 01 Apr 2026)
Changed paths:
M csharp/ql/lib/Linq/Helpers.qll
M csharp/ql/lib/definitions.qll
M csharp/ql/lib/semmle/code/csharp/Assignable.qll
M csharp/ql/lib/semmle/code/csharp/PrintAst.qll
M csharp/ql/lib/semmle/code/csharp/Property.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisSpecific.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaUtils.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Access.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Assignment.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Call.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Creation.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Moq.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Sql.qll
M csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
M csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
M csharp/ql/lib/semmle/code/csharp/security/xml/InsecureXMLQuery.qll
M csharp/ql/src/Dead Code/NonAssignedFields.ql
M csharp/ql/src/Language Abuse/ForeachCapture.ql
M csharp/ql/src/Language Abuse/MissedTernaryOpportunity.ql
M csharp/ql/src/Likely Bugs/Collections/WriteOnlyContainer.ql
M csharp/ql/src/Likely Bugs/SelfAssignment.ql
M csharp/ql/src/Linq/BadMultipleIteration.ql
M csharp/ql/src/Performance/StringConcatenationInLoop.ql
M csharp/ql/src/Security Features/CWE-1004/CookieWithoutHttpOnly.ql
M csharp/ql/src/Security Features/CWE-327/InsecureSQLConnection.ql
M csharp/ql/src/Security Features/CWE-614/CookieWithoutSecure.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadDomain.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadPath.ql
M csharp/ql/src/Security Features/HeaderCheckingDisabled.ql
M csharp/ql/src/Security Features/InsecureRandomness.ql
M csharp/ql/src/Security Features/InsufficientKeySize.ql
M csharp/ql/src/Security Features/PersistentCookie.ql
M csharp/ql/src/Telemetry/DatabaseQuality.qll
M csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
M csharp/ql/test/library-tests/assignments/AssignOperation.ql
M csharp/ql/test/library-tests/conversion/pointer/Pointer.ql
M csharp/ql/test/library-tests/csharp10/lambda.ql
M csharp/ql/test/library-tests/csharp11/operators.ql
M csharp/ql/test/library-tests/csharp6/MemberInitializer.ql
M csharp/ql/test/library-tests/enums/Enums11.ql
M csharp/ql/test/library-tests/expressions/AddEventExpr1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod2.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod3.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod4.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod5.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation1.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation2.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation3.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation1.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation10.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation2.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation3.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation5.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation6.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation7.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation8.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation9.ql
M csharp/ql/test/library-tests/expressions/Lambda1.ql
M csharp/ql/test/library-tests/expressions/Lambda2.ql
M csharp/ql/test/library-tests/expressions/Lambda3.ql
M csharp/ql/test/library-tests/expressions/Lambda4.ql
M csharp/ql/test/library-tests/expressions/Lambda5.ql
M csharp/ql/test/library-tests/expressions/Lambda6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation10.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation11.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation5.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation7.ql
M csharp/ql/test/library-tests/expressions/RemoveEventExpr1.ql
Log Message:
-----------
C#: Deprecate get[L|R]Value predicates.
Commit: 6d5aff4822bd625355d6b16ea04ced168f0ceaf2
https://github.com/krishnprakash/codeql/commit/6d5aff4822bd625355d6b16ea04ced168f0ceaf2
Author: Michael Nebel <michae...@github.com>
Date: 2026-04-01 (Wed, 01 Apr 2026)
Changed paths:
A csharp/ql/lib/change-notes/2026-04-01-getlrvalue.md
Log Message:
-----------
C#: Add change-note.
Commit: 4d8b782695fdec2dc2058f6112a1bbebfb02d660
https://github.com/krishnprakash/codeql/commit/4d8b782695fdec2dc2058f6112a1bbebfb02d660
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-02 (Thu, 02 Apr 2026)
Changed paths:
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
Log Message:
-----------
Shared: Also expose dataflow stage 1's forward flow predicate.
Commit: 7d184d0c7f15c787f755284daa1a49cef92228b5
https://github.com/krishnprakash/codeql/commit/7d184d0c7f15c787f755284daa1a49cef92228b5
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
M rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M rust/ql/test/utils-tests/modelgenerator/option.rs
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll
Log Message:
-----------
Merge pull request #21206 from hvitved/rust/type-inference-closure-param-context-typed
Rust: Infer argument types based on trait bounds on parameters
Commit: 74b0e8c19a811ad34f2efbca96425e3185217e76
https://github.com/krishnprakash/codeql/commit/74b0e8c19a811ad34f2efbca96425e3185217e76
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
M java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
M java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
M java/ql/test/library-tests/compact-source-files/options
M java/ql/test/library-tests/dataflow/kdf/options
M java/ql/test/library-tests/dataflow/scoped-values/options
M java/ql/test/library-tests/errorexpr/Test.java
M java/ql/test/library-tests/flexible-constructors/options
M java/ql/test/library-tests/module-import-declarations/options
Log Message:
-----------
Java: Accept new test results after JDK 26 extractor upgrade
Commit: 5a6eb7947068ce413cb20678bb743ceb2b4b0a48
https://github.com/krishnprakash/codeql/commit/5a6eb7947068ce413cb20678bb743ceb2b4b0a48
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
A java/ql/test/query-tests/security/CWE-676/semmle/tests/options
Log Message:
-----------
Java: Pin CWE-676 test to --release 25
Thread.stop() was removed in JDK 26. Pin the test to --release 25.
Commit: 3ccbd8032c938c95f9ea2d2f5568545370c80216
https://github.com/krishnprakash/codeql/commit/3ccbd8032c938c95f9ea2d2f5568545370c80216
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test-kotlin1/library-tests/java-kotlin-collection-type-generic-methods/test.expected
Log Message:
-----------
Java: Accept new test results for JDK 26
JDK 26 added ofLazy methods to List, Map, and Set collections.
Update expected test output to include these new methods.
Commit: 6f199b90ba6c0a59ca99f6cad9e74eb8659c2be4
https://github.com/krishnprakash/codeql/commit/6f199b90ba6c0a59ca99f6cad9e74eb8659c2be4
Author: idrissrio <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test-kotlin2/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/reflection/reflection.expected
Log Message:
-----------
Java: Accept new test results for JDK 26
Accept new ByteOrder.getEntries, List.ofLazy, and Map.ofLazy entries
in kotlin2 test expected files.
Commit: e259ebe258dc1986b4eb1a494bc21f3ebcf9377f
https://github.com/krishnprakash/codeql/commit/e259ebe258dc1986b4eb1a494bc21f3ebcf9377f
Author: Michael Nebel <michae...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M csharp/ql/lib/Linq/Helpers.qll
A csharp/ql/lib/change-notes/2026-04-01-getlrvalue.md
M csharp/ql/lib/definitions.qll
M csharp/ql/lib/semmle/code/csharp/Assignable.qll
M csharp/ql/lib/semmle/code/csharp/PrintAst.qll
M csharp/ql/lib/semmle/code/csharp/Property.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisSpecific.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaUtils.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Access.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Assignment.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Call.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Creation.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Moq.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Sql.qll
M csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
M csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
M csharp/ql/lib/semmle/code/csharp/security/xml/InsecureXMLQuery.qll
M csharp/ql/src/Dead Code/NonAssignedFields.ql
M csharp/ql/src/Language Abuse/ForeachCapture.ql
M csharp/ql/src/Language Abuse/MissedTernaryOpportunity.ql
M csharp/ql/src/Likely Bugs/Collections/WriteOnlyContainer.ql
M csharp/ql/src/Likely Bugs/SelfAssignment.ql
M csharp/ql/src/Linq/BadMultipleIteration.ql
M csharp/ql/src/Performance/StringConcatenationInLoop.ql
M csharp/ql/src/Security Features/CWE-1004/CookieWithoutHttpOnly.ql
M csharp/ql/src/Security Features/CWE-327/InsecureSQLConnection.ql
M csharp/ql/src/Security Features/CWE-614/CookieWithoutSecure.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadDomain.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadPath.ql
M csharp/ql/src/Security Features/HeaderCheckingDisabled.ql
M csharp/ql/src/Security Features/InsecureRandomness.ql
M csharp/ql/src/Security Features/InsufficientKeySize.ql
M csharp/ql/src/Security Features/PersistentCookie.ql
M csharp/ql/src/Telemetry/DatabaseQuality.qll
M csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
M csharp/ql/test/library-tests/assignments/AssignOperation.ql
M csharp/ql/test/library-tests/conversion/pointer/Pointer.ql
M csharp/ql/test/library-tests/csharp10/lambda.ql
M csharp/ql/test/library-tests/csharp11/operators.ql
M csharp/ql/test/library-tests/csharp6/MemberInitializer.ql
M csharp/ql/test/library-tests/enums/Enums11.ql
M csharp/ql/test/library-tests/expressions/AddEventExpr1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod2.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod3.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod4.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod5.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation1.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation2.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation3.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation1.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation10.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation2.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation3.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation5.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation6.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation7.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation8.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation9.ql
M csharp/ql/test/library-tests/expressions/Lambda1.ql
M csharp/ql/test/library-tests/expressions/Lambda2.ql
M csharp/ql/test/library-tests/expressions/Lambda3.ql
M csharp/ql/test/library-tests/expressions/Lambda4.ql
M csharp/ql/test/library-tests/expressions/Lambda5.ql
M csharp/ql/test/library-tests/expressions/Lambda6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation10.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation11.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation5.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation7.ql
M csharp/ql/test/library-tests/expressions/RemoveEventExpr1.ql
Log Message:
-----------
Merge pull request #21627 from michaelnebel/csharp/cleanup
C#: Deprecate get[L|R]Value predicates.
Commit: 39f92e992a304d86617eb859ba2894f74a6813ae
https://github.com/krishnprakash/codeql/commit/39f92e992a304d86617eb859ba2894f74a6813ae
Author: Idriss Riouak <idri...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M java/ql/test-kotlin1/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/reflection/reflection.expected
M java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
M java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
M java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
M java/ql/test/library-tests/compact-source-files/options
M java/ql/test/library-tests/dataflow/kdf/options
M java/ql/test/library-tests/dataflow/scoped-values/options
M java/ql/test/library-tests/errorexpr/Test.java
M java/ql/test/library-tests/flexible-constructors/options
M java/ql/test/library-tests/module-import-declarations/options
A java/ql/test/query-tests/security/CWE-676/semmle/tests/options
Log Message:
-----------
Merge pull request #21494 from github/idrissrio/java/jdk26
Java: Accept new test results after JDK 26 extractor upgrade
Commit: e06294bcb4ccfbc0783c47a1a8c9f0f84578f2da
https://github.com/krishnprakash/codeql/commit/e06294bcb4ccfbc0783c47a1a8c9f0f84578f2da
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
Log Message:
-----------
Shared: Respond to review comments.
Commit: 5e145aa27dbbf9f7ee381c51f51063e09e098100
https://github.com/krishnprakash/codeql/commit/5e145aa27dbbf9f7ee381c51f51063e09e098100
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
Log Message:
-----------
Merge pull request #21631 from MathiasVP/expose-fwd-stage-1
Dataflow: Expose stage 1's `fwdFlow`
Commit: f209a8672812b49e0ade75e8162e7f7af5733c8a
https://github.com/krishnprakash/codeql/commit/f209a8672812b49e0ade75e8162e7f7af5733c8a
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-04-07 (Tue, 07 Apr 2026)
Changed paths:
M csharp/ql/lib/Linq/Helpers.qll
A csharp/ql/lib/change-notes/2026-04-01-getlrvalue.md
M csharp/ql/lib/definitions.qll
M csharp/ql/lib/semmle/code/csharp/Assignable.qll
M csharp/ql/lib/semmle/code/csharp/PrintAst.qll
M csharp/ql/lib/semmle/code/csharp/Property.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
M csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/RangeUtils.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisSpecific.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaUtils.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Access.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Assignment.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Call.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Creation.qll
M csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Moq.qll
M csharp/ql/lib/semmle/code/csharp/frameworks/Sql.qll
M csharp/ql/lib/semmle/code/csharp/security/auth/SecureCookies.qll
M csharp/ql/lib/semmle/code/csharp/security/dataflow/UnsafeDeserializationQuery.qll
M csharp/ql/lib/semmle/code/csharp/security/xml/InsecureXMLQuery.qll
M csharp/ql/src/Dead Code/NonAssignedFields.ql
M csharp/ql/src/Language Abuse/ForeachCapture.ql
M csharp/ql/src/Language Abuse/MissedTernaryOpportunity.ql
M csharp/ql/src/Likely Bugs/Collections/WriteOnlyContainer.ql
M csharp/ql/src/Likely Bugs/SelfAssignment.ql
M csharp/ql/src/Linq/BadMultipleIteration.ql
M csharp/ql/src/Performance/StringConcatenationInLoop.ql
M csharp/ql/src/Security Features/CWE-1004/CookieWithoutHttpOnly.ql
M csharp/ql/src/Security Features/CWE-327/InsecureSQLConnection.ql
M csharp/ql/src/Security Features/CWE-614/CookieWithoutSecure.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadDomain.ql
M csharp/ql/src/Security Features/CookieWithOverlyBroadPath.ql
M csharp/ql/src/Security Features/HeaderCheckingDisabled.ql
M csharp/ql/src/Security Features/InsecureRandomness.ql
M csharp/ql/src/Security Features/InsufficientKeySize.ql
M csharp/ql/src/Security Features/PersistentCookie.ql
M csharp/ql/src/Telemetry/DatabaseQuality.qll
M csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
M csharp/ql/test/library-tests/assignments/AssignOperation.ql
M csharp/ql/test/library-tests/conversion/pointer/Pointer.ql
M csharp/ql/test/library-tests/csharp10/lambda.ql
M csharp/ql/test/library-tests/csharp11/operators.ql
M csharp/ql/test/library-tests/csharp6/MemberInitializer.ql
M csharp/ql/test/library-tests/enums/Enums11.ql
M csharp/ql/test/library-tests/expressions/AddEventExpr1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod1.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod2.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod3.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod4.ql
M csharp/ql/test/library-tests/expressions/AnonymousMethod5.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation1.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation2.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation3.ql
M csharp/ql/test/library-tests/expressions/AnonymousObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation1.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation10.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation2.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation3.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation4.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation5.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation6.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation7.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation8.ql
M csharp/ql/test/library-tests/expressions/ArrayCreation9.ql
M csharp/ql/test/library-tests/expressions/Lambda1.ql
M csharp/ql/test/library-tests/expressions/Lambda2.ql
M csharp/ql/test/library-tests/expressions/Lambda3.ql
M csharp/ql/test/library-tests/expressions/Lambda4.ql
M csharp/ql/test/library-tests/expressions/Lambda5.ql
M csharp/ql/test/library-tests/expressions/Lambda6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation10.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation11.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation4.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation5.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation6.ql
M csharp/ql/test/library-tests/expressions/ObjectCreation7.ql
M csharp/ql/test/library-tests/expressions/RemoveEventExpr1.ql
M java/ql/test-kotlin1/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/java-kotlin-collection-type-generic-methods/test.expected
M java/ql/test-kotlin2/library-tests/reflection/reflection.expected
M java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
M java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
M java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
M java/ql/test/library-tests/compact-source-files/options
M java/ql/test/library-tests/dataflow/kdf/options
M java/ql/test/library-tests/dataflow/scoped-values/options
M java/ql/test/library-tests/errorexpr/Test.java
M java/ql/test/library-tests/flexible-constructors/options
M java/ql/test/library-tests/module-import-declarations/options
A java/ql/test/query-tests/security/CWE-676/semmle/tests/options
M rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
M rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
M rust/ql/test/library-tests/type-inference/closure.rs
M rust/ql/test/library-tests/type-inference/main.rs
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M rust/ql/test/utils-tests/modelgenerator/option.rs
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll
Log Message:
-----------
Merge branch 'github:main' into main
Compare: https://github.com/krishnprakash/codeql/compare/04f895a46628...f209a8672812
To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications
Reply all
Reply to author
Forward
0 new messages