[krishnprakash/codeql] 145d32: C#: Instantiate shared SSA wrappers for BaseSSA.

[Phileco]

Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: 145d3242a6858d0a6ceea4570a9357c5fb70db94
https://github.com/krishnprakash/codeql/commit/145d3242a6858d0a6ceea4570a9357c5fb70db94
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-04-22 (Wed, 22 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll

Log Message:
-----------
C#: Instantiate shared SSA wrappers for BaseSSA.


Commit: bbd60031b15fe5eaf6b2b22c246cb86257e9d2bb
https://github.com/krishnprakash/codeql/commit/bbd60031b15fe5eaf6b2b22c246cb86257e9d2bb
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-04-22 (Wed, 22 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/Steps.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/test/library-tests/dataflow/ssa/BaseSsaConsistency.ql

Log Message:
-----------
C#: Replace references to old BaseSSA classes.


Commit: ae7904f0c8b8ab7e8a1c688a906feee8816f4005
https://github.com/krishnprakash/codeql/commit/ae7904f0c8b8ab7e8a1c688a906feee8816f4005
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-04-22 (Wed, 22 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll

Log Message:
-----------
C#: Fix BaseSSA caching.


Commit: b0c31badc24dc41d6ecf2af4c93a56c545d68ad0
https://github.com/krishnprakash/codeql/commit/b0c31badc24dc41d6ecf2af4c93a56c545d68ad0
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-04-22 (Wed, 22 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll

Log Message:
-----------
C#: Bugfix for multi-body baseSsa entry defs.


Commit: 4b8e4b40af7c49137ff935a336c4ba1608586935
https://github.com/krishnprakash/codeql/commit/4b8e4b40af7c49137ff935a336c4ba1608586935
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-04-22 (Wed, 22 Apr 2026)

Changed paths:
M csharp/ql/test/library-tests/dataflow/ssa/BaseSsaConsistency.ql

Log Message:
-----------
C#: Fix test.


Commit: 90ae086822b3d8c0cbf6f4c94c7f49cf6eb4f400
https://github.com/krishnprakash/codeql/commit/90ae086822b3d8c0cbf6f4c94c7f49cf6eb4f400
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M shared/controlflow/codeql/controlflow/Cfg.qll
M shared/dataflow/codeql/dataflow/DataFlow.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
M shared/ssa/codeql/ssa/Ssa.qll

Log Message:
-----------
Shared: Remove deprecated code


Commit: 14dd72b3b1c6e485f4eba920a5dc40fbb3890c4d
https://github.com/krishnprakash/codeql/commit/14dd72b3b1c6e485f4eba920a5dc40fbb3890c4d
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll

Log Message:
-----------
C#: Remove deprecated references to deprecated shared code


Commit: 18da5f61cd289a96f53e30b84784df360f0e42d5
https://github.com/krishnprakash/codeql/commit/18da5f61cd289a96f53e30b84784df360f0e42d5
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M ruby/ql/lib/codeql/ruby/dataflow/SSA.qll
M ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll

Log Message:
-----------
Ruby: Remove deprecated references to deprecated shared code


Commit: 61f1ef877fdd34c245696d5f4fc8fe12619e4884
https://github.com/krishnprakash/codeql/commit/61f1ef877fdd34c245696d5f4fc8fe12619e4884
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M swift/ql/lib/codeql/swift/dataflow/Ssa.qll

Log Message:
-----------
Swift: Remove deprecated references to deprecated shared code


Commit: 14efb4502bdbe70a3c97143502e6642b0a38e0ed
https://github.com/krishnprakash/codeql/commit/14efb4502bdbe70a3c97143502e6642b0a38e0ed
Author: Mathias Vorreiter Pedersen <map...@microsoft.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll

Log Message:
-----------
C++: Fix join in getVariable.


Commit: cb210449004f1401934a4d311fc6a7a5d3af61c2
https://github.com/krishnprakash/codeql/commit/cb210449004f1401934a4d311fc6a7a5d3af61c2
Author: Anders Schack-Mulligen <ascha...@users.noreply.github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/Steps.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/test/library-tests/dataflow/ssa/BaseSsaConsistency.ql

Log Message:
-----------
Merge pull request #21744 from aschackmull/csharp/ssa

C#: Replace BaseSSA classes with shared code.


Commit: c64223ae562f4ab2b7ec0ae3e00c737cc5b320b7
https://github.com/krishnprakash/codeql/commit/c64223ae562f4ab2b7ec0ae3e00c737cc5b320b7
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M ruby/ql/lib/codeql/ruby/dataflow/SSA.qll
M ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll
M shared/controlflow/codeql/controlflow/Cfg.qll
M shared/dataflow/codeql/dataflow/DataFlow.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
M shared/ssa/codeql/ssa/Ssa.qll
M swift/ql/lib/codeql/swift/dataflow/Ssa.qll

Log Message:
-----------
Merge pull request #21748 from hvitved/shared/remove-deprecated

Shared: Remove deprecated code


Commit: 82c99a594d5a4aaece575e87bee9ddae1bd96167
https://github.com/krishnprakash/codeql/commit/82c99a594d5a4aaece575e87bee9ddae1bd96167
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-04-23 (Thu, 23 Apr 2026)

Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll

Log Message:
-----------
Merge pull request #21750 from github/fix-join-in-assertions-in-ir

C++: Fix join in `TranslatedAssertion::getVariable`


Commit: 90391349610a6a923add2accd1a7e49114376db1
https://github.com/krishnprakash/codeql/commit/90391349610a6a923add2accd1a7e49114376db1
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-04-24 (Fri, 24 Apr 2026)

Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedAssertion.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/Steps.qll
M csharp/ql/lib/semmle/code/csharp/dispatch/Dispatch.qll
M csharp/ql/test/library-tests/dataflow/ssa/BaseSsaConsistency.ql
M ruby/ql/lib/codeql/ruby/dataflow/SSA.qll
M ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll
M shared/controlflow/codeql/controlflow/Cfg.qll
M shared/dataflow/codeql/dataflow/DataFlow.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
M shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
M shared/ssa/codeql/ssa/Ssa.qll
M swift/ql/lib/codeql/swift/dataflow/Ssa.qll

Log Message:
-----------
Merge branch 'github:main' into main


Compare: https://github.com/krishnprakash/codeql/compare/4daf34281b6c...90391349610a

To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications