[krishnprakash/codeql] 723a89: Cfg: Add ConditionKind and getDual to ConditionalS...

0 views
Skip to first unread message

Phileco

unread,
Mar 2, 2026, 5:28:56 PM (3 days ago) Mar 2
to philecodi...@googlegroups.com
Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: 723a896b992291808daffa355f2a2cab75ab00a5
https://github.com/krishnprakash/codeql/commit/723a896b992291808daffa355f2a2cab75ab00a5
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M shared/controlflow/codeql/controlflow/SuccessorType.qll

Log Message:
-----------
Cfg: Add ConditionKind and getDual to ConditionalSuccessor.


Commit: 2e987343dd75be677eb5cb836de5c7f44c742bd7
https://github.com/krishnprakash/codeql/commit/2e987343dd75be677eb5cb836de5c7f44c742bd7
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/Statement.qll
M java/ql/lib/semmle/code/java/dataflow/internal/BaseSSA.qll
M java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
M java/ql/src/experimental/quantum/Examples/ArtifactReuse.qll

Log Message:
-----------
Java: Preparatory tweaks.


Commit: 4a97a449fc215717e58183c3af0ee0214cfc5cfd
https://github.com/krishnprakash/codeql/commit/4a97a449fc215717e58183c3af0ee0214cfc5cfd
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll
M java/ql/lib/semmle/code/java/Expr.qll
M java/ql/lib/semmle/code/java/Statement.qll
M java/ql/lib/semmle/code/java/controlflow/Paths.qll
M java/ql/lib/semmle/code/java/dataflow/InstanceAccess.qll
M java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll

Log Message:
-----------
Java: Replace ControlFlowNode.asCall with Call.getControlFlowNode.


Commit: 48d7d9cedb3d3bb97119df6b610df792ca152b28
https://github.com/krishnprakash/codeql/commit/48d7d9cedb3d3bb97119df6b610df792ca152b28
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M shared/controlflow/codeql/controlflow/BasicBlock.qll

Log Message:
-----------
Cfg: Add getEnclosingCallable to shared BasicBlock


Commit: 0c9931ff8a50af0417fda05e266bb632f86a06e1
https://github.com/krishnprakash/codeql/commit/0c9931ff8a50af0417fda05e266bb632f86a06e1
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.ql
M java/ql/test/library-tests/controlflow/dominance/dominator.expected
M java/ql/test/library-tests/controlflow/dominance/dominator.ql

Log Message:
-----------
Java: Replace idominance tests.


Commit: 48e37242991fd38400c3595edb72e9bcbb32d83e
https://github.com/krishnprakash/codeql/commit/48e37242991fd38400c3595edb72e9bcbb32d83e
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/printCfg.ql
R java/ql/lib/semmle/code/java/Completion.qll
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll
M java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll
M java/ql/lib/semmle/code/java/controlflow/Paths.qll
M java/ql/lib/semmle/code/java/dataflow/internal/BaseSSA.qll
M java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
M java/ql/src/Likely Bugs/Termination/ConstantLoopCondition.ql
M java/ql/src/Violations of Best Practice/Declarations/Common.qll
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.ql
A shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Log Message:
-----------
Java/Cfg: Introduce new shared CFG library and replace the Java CFG.


Commit: 6fbdb2c52b77c539a121dbabeeb4e03832873a1c
https://github.com/krishnprakash/codeql/commit/6fbdb2c52b77c539a121dbabeeb4e03832873a1c
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/metrics/MetricCallable.qll

Log Message:
-----------
Java: Fix Cyclomatic complexity calculation.


Commit: 1e9dcea88bc102d2b06e39f2cc08833e3e433e6c
https://github.com/krishnprakash/codeql/commit/1e9dcea88bc102d2b06e39f2cc08833e3e433e6c
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll
M java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionSpecific.qll
M shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Log Message:
-----------
Java: Fix RangeAnalysis/ModulusAnalysis.


Commit: 7871cd74f6057de9b72677699269ae1b2c485f37
https://github.com/krishnprakash/codeql/commit/7871cd74f6057de9b72677699269ae1b2c485f37
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/controlflow/Guards.qll

Log Message:
-----------
Java: Fix switchcase guards.


Commit: 12b99992895947996d8fb9ebd79040e79a56d0a0
https://github.com/krishnprakash/codeql/commit/12b99992895947996d8fb9ebd79040e79a56d0a0
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
A java/ql/lib/utils/test/BasicBlock.qll
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test/library-tests/guards/guards.ql
M java/ql/test/library-tests/guards/guardslogic.ql
M java/ql/test/library-tests/guards/guardspreconditions.ql

Log Message:
-----------
Java: Adjust BasicBlock-based qltests.


Commit: fb2799bd475cd14b33562a5fb5f0d41295029cc1
https://github.com/krishnprakash/codeql/commit/fb2799bd475cd14b33562a5fb5f0d41295029cc1
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.ql
M java/ql/test/library-tests/controlflow/dominance/dominator.expected
M java/ql/test/library-tests/controlflow/dominance/dominator.ql

Log Message:
-----------
Java: Adjust idominance tests.


Commit: e0eb653dcc339930437c0c0c75bdb08cddb301f3
https://github.com/krishnprakash/codeql/commit/e0eb653dcc339930437c0c0c75bdb08cddb301f3
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/library-tests/guards/Guards.java
M java/ql/test/library-tests/guards/GuardsInline.expected
M java/ql/test/library-tests/guards/guardslogic.expected

Log Message:
-----------
Java: Accept guards test changes for revised switch CFG.


Commit: 6ac8c4f544aee11ccfe62d8af451cffcbfa05793
https://github.com/krishnprakash/codeql/commit/6ac8c4f544aee11ccfe62d8af451cffcbfa05793
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test/library-tests/controlflow/basic/bbSuccessor.expected

Log Message:
-----------
Java: Accept test changes due to pruned CFG, after-nodes, and reduced exception precision.


Commit: a844d60174f90bd72109c3956509209e8f75a6c3
https://github.com/krishnprakash/codeql/commit/a844d60174f90bd72109c3956509209e8f75a6c3
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test/library-tests/controlflow/basic/bbStmts.expected

Log Message:
-----------
Java: Accept new CFG nodes.


Commit: ccd28ff66a94aa1802c517dd7588ac85c86632b8
https://github.com/krishnprakash/codeql/commit/ccd28ff66a94aa1802c517dd7588ac85c86632b8
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll

Log Message:
-----------
Java: Fix instanceof-disjunction.


Commit: fc8b7c04cf5a2a146058c39ecace9c5315b1ba53
https://github.com/krishnprakash/codeql/commit/fc8b7c04cf5a2a146058c39ecace9c5315b1ba53
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll

Log Message:
-----------
Java: Exclude ExprStmt consistent with SwitchCase.getRuleExpression().


Commit: 581679d27d27b2bffa2ecc3402189af13ff68787
https://github.com/krishnprakash/codeql/commit/581679d27d27b2bffa2ecc3402189af13ff68787
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test/library-tests/controlflow/dominance/dominanceWrong.ql

Log Message:
-----------
Java: Fix reference to entry node.


Commit: a6ee1df567931bbe3f0e4b965596fa232dfd1496
https://github.com/krishnprakash/codeql/commit/a6ee1df567931bbe3f0e4b965596fa232dfd1496
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
R java/ql/test/library-tests/flexible-constructors/SuperPredecessor.expected
R java/ql/test/library-tests/flexible-constructors/SuperPredecessor.ql

Log Message:
-----------
Java: Remove test. Flexible constructors need AST-based tests, which are already in place, not CFG tests.


Commit: 4d9c0e0c2620924fbc5df132ec9f3aa536961a0e
https://github.com/krishnprakash/codeql/commit/4d9c0e0c2620924fbc5df132ec9f3aa536961a0e
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/library-tests/dataflow/capture/test.expected
M java/ql/test/library-tests/ssa/captures.expected
M java/ql/test/library-tests/ssa/firstUse.expected
M java/ql/test/library-tests/ssa/ssaDef.expected
M java/ql/test/library-tests/ssa/ssaPhi.expected
M java/ql/test/library-tests/ssa/ssaUse.expected

Log Message:
-----------
Java: Accept new locations for SSA definitions.


Commit: a72cf56a05083d8a929a7c4e3ab384c139e0504a
https://github.com/krishnprakash/codeql/commit/a72cf56a05083d8a929a7c4e3ab384c139e0504a
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java
M java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected

Log Message:
-----------
Java: Accept dispatch precision improvement.


Commit: b798bc2c8f62e816383008447caac85edefccd09
https://github.com/krishnprakash/codeql/commit/b798bc2c8f62e816383008447caac85edefccd09
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/dataflow/Nullness.qll

Log Message:
-----------
Java: Fix enhancedForEarlyExit implementation.


Commit: 8b0dd7b8667aecf767eb21f5938e61d5db082770
https://github.com/krishnprakash/codeql/commit/8b0dd7b8667aecf767eb21f5938e61d5db082770
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/query-tests/Nullness/B.java
M java/ql/test/query-tests/Nullness/NullMaybe.expected

Log Message:
-----------
Java: Accept new TP in NullMaybe.


Commit: d84e0e262df36855a59c3eb17e714e6c1b14451c
https://github.com/krishnprakash/codeql/commit/d84e0e262df36855a59c3eb17e714e6c1b14451c
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/query-tests/UselessComparisonTest/UselessComparisonTest.expected

Log Message:
-----------
Java: Accept removal of spurious reason (the alert stays).


Commit: 106a9d479ffc4b6fb0f3f1f4ef1977fef6c63d3c
https://github.com/krishnprakash/codeql/commit/106a9d479ffc4b6fb0f3f1f4ef1977fef6c63d3c
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test-kotlin1/library-tests/controlflow/basic/strictDominance.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/strictDominance.expected

Log Message:
-----------
Java: Accept reduced precision from no longer nesting completions in YieldCompletions.


Commit: eb37c413f2e04503d661029fab616e8dc807e6cb
https://github.com/krishnprakash/codeql/commit/eb37c413f2e04503d661029fab616e8dc807e6cb
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
A java/ql/lib/utils/test/AstCfg.qll
M java/ql/test-kotlin1/library-tests/controlflow/basic/getASuccessor.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/getASuccessor.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/getASuccessor.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/getASuccessor.ql
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.expected
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.ql
M java/ql/test/library-tests/pattern-instanceof/cfg.expected
M java/ql/test/library-tests/pattern-instanceof/cfg.ql
M java/ql/test/library-tests/pattern-switch/cfg/test.expected
M java/ql/test/library-tests/pattern-switch/cfg/test.ql
M java/ql/test/library-tests/successors/CloseReaderTest/TestSucc.expected
M java/ql/test/library-tests/successors/CloseReaderTest/TestSucc.ql
M java/ql/test/library-tests/successors/LoopVarReadTest/TestSucc.expected
M java/ql/test/library-tests/successors/LoopVarReadTest/TestSucc.ql
M java/ql/test/library-tests/successors/SaveFileTest/TestSucc.expected
M java/ql/test/library-tests/successors/SaveFileTest/TestSucc.ql
M java/ql/test/library-tests/successors/SchackTest/TestSucc.expected
M java/ql/test/library-tests/successors/SchackTest/TestSucc.ql
M java/ql/test/library-tests/successors/TestBreak/TestSucc.expected
M java/ql/test/library-tests/successors/TestBreak/TestSucc.ql
M java/ql/test/library-tests/successors/TestContinue/TestSucc.expected
M java/ql/test/library-tests/successors/TestContinue/TestSucc.ql
M java/ql/test/library-tests/successors/TestDeclarations/TestSucc.expected
M java/ql/test/library-tests/successors/TestDeclarations/TestSucc.ql
M java/ql/test/library-tests/successors/TestFinally/TestSucc.expected
M java/ql/test/library-tests/successors/TestFinally/TestSucc.ql
M java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.expected
M java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.ql
M java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.expected
M java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.ql
M java/ql/test/library-tests/successors/TestThrow/TestSucc.expected
M java/ql/test/library-tests/successors/TestThrow/TestSucc.ql
M java/ql/test/library-tests/successors/TestThrow2/TestSucc.expected
M java/ql/test/library-tests/successors/TestThrow2/TestSucc.ql
M java/ql/test/library-tests/successors/TestTryCatch/TestSucc.expected
M java/ql/test/library-tests/successors/TestTryCatch/TestSucc.ql
M java/ql/test/library-tests/successors/TestTryWithResources/TestSucc.expected
M java/ql/test/library-tests/successors/TestTryWithResources/TestSucc.ql

Log Message:
-----------
Java: Accept revised CFG.


Commit: 352b3711f6700e9d3bdb1836ba328e1b484c69cd
https://github.com/krishnprakash/codeql/commit/352b3711f6700e9d3bdb1836ba328e1b484c69cd
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
R java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql
R java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql
R java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql
R java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql
R java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql

Log Message:
-----------
Java: Remove obsolete tests - false successors are no longer special.


Commit: f7317b6a2bf019082108731cc96365d8272ac0e8
https://github.com/krishnprakash/codeql/commit/f7317b6a2bf019082108731cc96365d8272ac0e8
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
A java/ql/consistency-queries/CfgConsistency.ql

Log Message:
-----------
Java: Enable Cfg consistency checks.


Commit: d4873dd35e9cd3c5c1856f9b6f82643128c1e85d
https://github.com/krishnprakash/codeql/commit/d4873dd35e9cd3c5c1856f9b6f82643128c1e85d
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/library-tests/guards12/guard.expected
M java/ql/test/library-tests/guards12/guard.ql

Log Message:
-----------
Java: Adjust switch case guards test.


Commit: 0d0711f2a788a31335c62512dba8966fb404f5e0
https://github.com/krishnprakash/codeql/commit/0d0711f2a788a31335c62512dba8966fb404f5e0
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
A java/ql/lib/change-notes/2026-02-18-cfg.md

Log Message:
-----------
Java: Add change note.


Commit: bdbbd45909d92d582671f01f11c1534bbde55965
https://github.com/krishnprakash/codeql/commit/bdbbd45909d92d582671f01f11c1534bbde55965
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll

Log Message:
-----------
Java: Handle missing throws clauses.


Commit: 2b8e71903462c68420ffaf17b8f64bfe8cfabf54
https://github.com/krishnprakash/codeql/commit/2b8e71903462c68420ffaf17b8f64bfe8cfabf54
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M java/ql/test/query-tests/Nullness/B.java
M java/ql/test/query-tests/Nullness/NullMaybe.expected

Log Message:
-----------
Java: Add nullness test covering known FP.


Commit: 94121f19ca5b2462fc9ce6428d1210feb57765a2
https://github.com/krishnprakash/codeql/commit/94121f19ca5b2462fc9ce6428d1210feb57765a2
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-23 (Mon, 23 Feb 2026)

Changed paths:
M shared/controlflow/codeql/controlflow/Guards.qll

Log Message:
-----------
Guards: Improve join-order.


Commit: c5e1f0ccc94404ad965ce4c02f5c35d28433a205
https://github.com/krishnprakash/codeql/commit/c5e1f0ccc94404ad965ce4c02f5c35d28433a205
Author: Michael Nebel <michae...@github.com>
Date: 2026-02-24 (Tue, 24 Feb 2026)

Changed paths:
M csharp/ql/test/library-tests/dispatch/CallGraph.expected
M csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected
M csharp/ql/test/library-tests/dispatch/ViableCallable.cs
M csharp/ql/test/library-tests/partial/MethodIsPartial.expected
M csharp/ql/test/library-tests/partial/Partial.cs
M csharp/ql/test/library-tests/partial/Partial1.expected
M csharp/ql/test/library-tests/partial/Partial2.expected
M csharp/ql/test/library-tests/partial/PartialAccessors.expected
M csharp/ql/test/library-tests/partial/PartialConstructors.expected
M csharp/ql/test/library-tests/partial/PartialEvents.expected
M csharp/ql/test/library-tests/partial/PartialIndexers.expected
M csharp/ql/test/library-tests/partial/PartialMethodBody.expected
M csharp/ql/test/library-tests/partial/PartialProperties.expected
M csharp/ql/test/library-tests/partial/PrintAst.expected

Log Message:
-----------
C#: Update partial tests and expected output.


Commit: 884c61604e3af9e56e849f273ccf90cf0ee147af
https://github.com/krishnprakash/codeql/commit/884c61604e3af9e56e849f273ccf90cf0ee147af
Author: Michael Nebel <michae...@github.com>
Date: 2026-02-24 (Tue, 24 Feb 2026)

Changed paths:
M csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected
M csharp/ql/test/library-tests/dataflow/constructors/Constructors.cs

Log Message:
-----------
C#: Add dataflow test for partial constructors.


Commit: ae5ab9c67c7eb39a6c582727de66a469230c257b
https://github.com/krishnprakash/codeql/commit/ae5ab9c67c7eb39a6c582727de66a469230c257b
Author: Michael Nebel <michae...@github.com>
Date: 2026-02-24 (Tue, 24 Feb 2026)

Changed paths:
M csharp/extractor/Semmle.Extraction.CSharp/Entities/Constructor.cs

Log Message:
-----------
C#: Partial constructor declaration support.


Commit: 113565ba76a706f94cf74f1542859171f4387844
https://github.com/krishnprakash/codeql/commit/113565ba76a706f94cf74f1542859171f4387844
Author: Michael Nebel <michae...@github.com>
Date: 2026-02-24 (Tue, 24 Feb 2026)

Changed paths:
M csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected
M csharp/ql/test/library-tests/dispatch/CallGraph.expected
M csharp/ql/test/library-tests/partial/Partial1.expected
M csharp/ql/test/library-tests/partial/Partial2.expected
M csharp/ql/test/library-tests/partial/PartialConstructors.expected
M csharp/ql/test/library-tests/partial/PrintAst.expected

Log Message:
-----------
C#: Update test expected output.


Commit: 06a8fd0e4a3d32858b8da5bc894cc88bd1214768
https://github.com/krishnprakash/codeql/commit/06a8fd0e4a3d32858b8da5bc894cc88bd1214768
Author: Michael Nebel <michae...@github.com>
Date: 2026-02-24 (Tue, 24 Feb 2026)

Changed paths:
A csharp/ql/lib/change-notes/2026-02-24-partial-constructors.md

Log Message:
-----------
C#: Add change-note.


Commit: 155e21e72991a6808799f496b4ae0eabf86fae9b
https://github.com/krishnprakash/codeql/commit/155e21e72991a6808799f496b4ae0eabf86fae9b
Author: Ian Lynagh <ig...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)

Changed paths:
M cpp/ql/lib/semmlecode.cpp.dbscheme

Log Message:
-----------
C++ overlays: Tweak dbscheme


Commit: ab94524328fdd518e0315d14799bae43bf2fff8b
https://github.com/krishnprakash/codeql/commit/ab94524328fdd518e0315d14799bae43bf2fff8b
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)

Changed paths:
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll
M shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Log Message:
-----------
Cfg: Address review comments.


Commit: 97ed67e284c14145b32432c6942d9f5b635180bf
https://github.com/krishnprakash/codeql/commit/97ed67e284c14145b32432c6942d9f5b635180bf
Author: Ian Lynagh <ig...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)

Changed paths:
M cpp/ql/lib/semmlecode.cpp.dbscheme.stats

Log Message:
-----------
C++ overlay: Update stats


Commit: bd0d69ffca67cfe87751327155ade9628ed7fced
https://github.com/krishnprakash/codeql/commit/bd0d69ffca67cfe87751327155ade9628ed7fced
Author: Ian Lynagh <ig...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)

Changed paths:
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/in_trap.ql
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/old.dbscheme
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/semmlecode.dbscheme
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/source_file_uses_trap.ql
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/upgrade.properties
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/in_trap_or_tag.ql
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/old.dbscheme
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/semmlecode.cpp.dbscheme
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/source_files.ql
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/upgrade.properties

Log Message:
-----------
C++: Add up/downgrade scripts


Commit: 627654cff9456022d13b7820112ae50a7b37bff7
https://github.com/krishnprakash/codeql/commit/627654cff9456022d13b7820112ae50a7b37bff7
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Log Message:
-----------
Cfg: A few more review tweaks.


Commit: e695477f4f333d88d9685faf2f48f526a390ac04
https://github.com/krishnprakash/codeql/commit/e695477f4f333d88d9685faf2f48f526a390ac04
Author: Anders Schack-Mulligen <ascha...@users.noreply.github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
A java/ql/consistency-queries/CfgConsistency.ql
A java/ql/lib/change-notes/2026-02-18-cfg.md
M java/ql/lib/printCfg.ql
R java/ql/lib/semmle/code/java/Completion.qll
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll
M java/ql/lib/semmle/code/java/Expr.qll
M java/ql/lib/semmle/code/java/Statement.qll
M java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll
M java/ql/lib/semmle/code/java/controlflow/Guards.qll
M java/ql/lib/semmle/code/java/controlflow/Paths.qll
M java/ql/lib/semmle/code/java/dataflow/InstanceAccess.qll
M java/ql/lib/semmle/code/java/dataflow/Nullness.qll
M java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll
M java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
M java/ql/lib/semmle/code/java/dataflow/internal/BaseSSA.qll
M java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
M java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionSpecific.qll
M java/ql/lib/semmle/code/java/metrics/MetricCallable.qll
A java/ql/lib/utils/test/AstCfg.qll
A java/ql/lib/utils/test/BasicBlock.qll
M java/ql/src/Likely Bugs/Termination/ConstantLoopCondition.ql
M java/ql/src/Violations of Best Practice/Declarations/Common.qll
M java/ql/src/experimental/quantum/Examples/ArtifactReuse.qll
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/getASuccessor.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/getASuccessor.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/strictDominance.expected
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.ql
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/getASuccessor.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/getASuccessor.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/strictDominance.expected
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test/library-tests/controlflow/dominance/dominator.expected
M java/ql/test/library-tests/controlflow/dominance/dominator.ql
M java/ql/test/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test/library-tests/dataflow/capture/test.expected
R java/ql/test/library-tests/flexible-constructors/SuperPredecessor.expected
R java/ql/test/library-tests/flexible-constructors/SuperPredecessor.ql
M java/ql/test/library-tests/guards/Guards.java
M java/ql/test/library-tests/guards/GuardsInline.expected
M java/ql/test/library-tests/guards/guards.ql
M java/ql/test/library-tests/guards/guardslogic.expected
M java/ql/test/library-tests/guards/guardslogic.ql
M java/ql/test/library-tests/guards/guardspreconditions.ql
M java/ql/test/library-tests/guards12/guard.expected
M java/ql/test/library-tests/guards12/guard.ql
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.expected
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.ql
M java/ql/test/library-tests/pattern-instanceof/cfg.expected
M java/ql/test/library-tests/pattern-instanceof/cfg.ql
M java/ql/test/library-tests/pattern-switch/cfg/test.expected
M java/ql/test/library-tests/pattern-switch/cfg/test.ql
M java/ql/test/library-tests/ssa/captures.expected
M java/ql/test/library-tests/ssa/firstUse.expected
M java/ql/test/library-tests/ssa/ssaDef.expected
M java/ql/test/library-tests/ssa/ssaPhi.expected
M java/ql/test/library-tests/ssa/ssaUse.expected
R java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/CloseReaderTest/TestSucc.expected
M java/ql/test/library-tests/successors/CloseReaderTest/TestSucc.ql
R java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/LoopVarReadTest/TestSucc.expected
M java/ql/test/library-tests/successors/LoopVarReadTest/TestSucc.ql
R java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/SaveFileTest/TestSucc.expected
M java/ql/test/library-tests/successors/SaveFileTest/TestSucc.ql
R java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/SchackTest/TestSucc.expected
M java/ql/test/library-tests/successors/SchackTest/TestSucc.ql
R java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestBreak/TestSucc.expected
M java/ql/test/library-tests/successors/TestBreak/TestSucc.ql
R java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestContinue/TestSucc.expected
M java/ql/test/library-tests/successors/TestContinue/TestSucc.ql
R java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestDeclarations/TestSucc.expected
M java/ql/test/library-tests/successors/TestDeclarations/TestSucc.ql
R java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestFinally/TestSucc.expected
M java/ql/test/library-tests/successors/TestFinally/TestSucc.ql
R java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.expected
M java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.ql
R java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.expected
M java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.ql
R java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestThrow/TestSucc.expected
M java/ql/test/library-tests/successors/TestThrow/TestSucc.ql
R java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestThrow2/TestSucc.expected
M java/ql/test/library-tests/successors/TestThrow2/TestSucc.ql
R java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestTryCatch/TestSucc.expected
M java/ql/test/library-tests/successors/TestTryCatch/TestSucc.ql
R java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestTryWithResources/TestSucc.expected
M java/ql/test/library-tests/successors/TestTryWithResources/TestSucc.ql
M java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java
M java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected
M java/ql/test/query-tests/Nullness/B.java
M java/ql/test/query-tests/Nullness/NullMaybe.expected
M java/ql/test/query-tests/UselessComparisonTest/UselessComparisonTest.expected
M shared/controlflow/codeql/controlflow/BasicBlock.qll
A shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
M shared/controlflow/codeql/controlflow/Guards.qll
M shared/controlflow/codeql/controlflow/SuccessorType.qll

Log Message:
-----------
Merge pull request #21290 from aschackmull/cfg/new-shared

Java/Cfg: Introduce new shared CFG library and replace the Java CFG.


Commit: 13959ab91e474770712c8af247af4befd42cdcf1
https://github.com/krishnprakash/codeql/commit/13959ab91e474770712c8af247af4befd42cdcf1
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M csharp/extractor/Semmle.Extraction.CSharp/Entities/Constructor.cs
A csharp/ql/lib/change-notes/2026-02-24-partial-constructors.md
M csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected
M csharp/ql/test/library-tests/dataflow/constructors/Constructors.cs
M csharp/ql/test/library-tests/dispatch/CallGraph.expected
M csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected
M csharp/ql/test/library-tests/dispatch/ViableCallable.cs
M csharp/ql/test/library-tests/partial/MethodIsPartial.expected
M csharp/ql/test/library-tests/partial/Partial.cs
M csharp/ql/test/library-tests/partial/Partial1.expected
M csharp/ql/test/library-tests/partial/Partial2.expected
M csharp/ql/test/library-tests/partial/PartialAccessors.expected
M csharp/ql/test/library-tests/partial/PartialConstructors.expected
M csharp/ql/test/library-tests/partial/PartialEvents.expected
M csharp/ql/test/library-tests/partial/PartialIndexers.expected
M csharp/ql/test/library-tests/partial/PartialMethodBody.expected
M csharp/ql/test/library-tests/partial/PartialProperties.expected
M csharp/ql/test/library-tests/partial/PrintAst.expected

Log Message:
-----------
Merge pull request #21335 from michaelnebel/csharp14/partialconstrucstors

C# 14: Support for partial constructor declarations.


Commit: 16cd3a8bc01daa74112038cc30341bee5f3c2aa4
https://github.com/krishnprakash/codeql/commit/16cd3a8bc01daa74112038cc30341bee5f3c2aa4
Author: Ian Lynagh <ig...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/in_trap.ql
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/old.dbscheme
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/semmlecode.dbscheme
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/source_file_uses_trap.ql
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/upgrade.properties
M cpp/ql/lib/semmlecode.cpp.dbscheme
M cpp/ql/lib/semmlecode.cpp.dbscheme.stats
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/in_trap_or_tag.ql
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/old.dbscheme
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/semmlecode.cpp.dbscheme
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/source_files.ql
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/upgrade.properties

Log Message:
-----------
Merge pull request #21399 from igfoo/igfoo/star_ids_trap_tags_ql

C++ overlay: Tweak dbsheme


Commit: cb375aa4569d77cdffb55c9e25560c6cdeed121b
https://github.com/krishnprakash/codeql/commit/cb375aa4569d77cdffb55c9e25560c6cdeed121b
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/in_trap.ql
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/old.dbscheme
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/semmlecode.dbscheme
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/source_file_uses_trap.ql
A cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/upgrade.properties
M cpp/ql/lib/semmlecode.cpp.dbscheme
M cpp/ql/lib/semmlecode.cpp.dbscheme.stats
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/in_trap_or_tag.ql
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/old.dbscheme
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/semmlecode.cpp.dbscheme
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/source_files.ql
A cpp/ql/lib/upgrades/7e7c2f55670f8123d514cf542ccb1938118ac561/upgrade.properties
M csharp/extractor/Semmle.Extraction.CSharp/Entities/Constructor.cs
A csharp/ql/lib/change-notes/2026-02-24-partial-constructors.md
M csharp/ql/test/library-tests/dataflow/constructors/ConstructorFlow.expected
M csharp/ql/test/library-tests/dataflow/constructors/Constructors.cs
M csharp/ql/test/library-tests/dispatch/CallGraph.expected
M csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected
M csharp/ql/test/library-tests/dispatch/ViableCallable.cs
M csharp/ql/test/library-tests/partial/MethodIsPartial.expected
M csharp/ql/test/library-tests/partial/Partial.cs
M csharp/ql/test/library-tests/partial/Partial1.expected
M csharp/ql/test/library-tests/partial/Partial2.expected
M csharp/ql/test/library-tests/partial/PartialAccessors.expected
M csharp/ql/test/library-tests/partial/PartialConstructors.expected
M csharp/ql/test/library-tests/partial/PartialEvents.expected
M csharp/ql/test/library-tests/partial/PartialIndexers.expected
M csharp/ql/test/library-tests/partial/PartialMethodBody.expected
M csharp/ql/test/library-tests/partial/PartialProperties.expected
M csharp/ql/test/library-tests/partial/PrintAst.expected
A java/ql/consistency-queries/CfgConsistency.ql
A java/ql/lib/change-notes/2026-02-18-cfg.md
M java/ql/lib/printCfg.ql
R java/ql/lib/semmle/code/java/Completion.qll
M java/ql/lib/semmle/code/java/ControlFlowGraph.qll
M java/ql/lib/semmle/code/java/Expr.qll
M java/ql/lib/semmle/code/java/Statement.qll
M java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll
M java/ql/lib/semmle/code/java/controlflow/Guards.qll
M java/ql/lib/semmle/code/java/controlflow/Paths.qll
M java/ql/lib/semmle/code/java/dataflow/InstanceAccess.qll
M java/ql/lib/semmle/code/java/dataflow/Nullness.qll
M java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll
M java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
M java/ql/lib/semmle/code/java/dataflow/internal/BaseSSA.qll
M java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
M java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionSpecific.qll
M java/ql/lib/semmle/code/java/metrics/MetricCallable.qll
A java/ql/lib/utils/test/AstCfg.qll
A java/ql/lib/utils/test/BasicBlock.qll
M java/ql/src/Likely Bugs/Termination/ConstantLoopCondition.ql
M java/ql/src/Violations of Best Practice/Declarations/Common.qll
M java/ql/src/experimental/quantum/Examples/ArtifactReuse.qll
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/getASuccessor.expected
M java/ql/test-kotlin1/library-tests/controlflow/basic/getASuccessor.ql
M java/ql/test-kotlin1/library-tests/controlflow/basic/strictDominance.expected
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominator.ql
M java/ql/test-kotlin1/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/getASuccessor.expected
M java/ql/test-kotlin2/library-tests/controlflow/basic/getASuccessor.ql
M java/ql/test-kotlin2/library-tests/controlflow/basic/strictDominance.expected
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.expected
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominator.ql
M java/ql/test-kotlin2/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test/library-tests/controlflow/basic/bbStmts.expected
M java/ql/test/library-tests/controlflow/basic/bbStrictDominance.expected
M java/ql/test/library-tests/controlflow/basic/bbStrictDominance.ql
M java/ql/test/library-tests/controlflow/basic/bbSuccessor.expected
M java/ql/test/library-tests/controlflow/basic/bbSuccessor.ql
M java/ql/test/library-tests/controlflow/dominance/dominanceWrong.ql
M java/ql/test/library-tests/controlflow/dominance/dominator.expected
M java/ql/test/library-tests/controlflow/dominance/dominator.ql
M java/ql/test/library-tests/controlflow/dominance/dominatorUnique.ql
M java/ql/test/library-tests/dataflow/capture/test.expected
R java/ql/test/library-tests/flexible-constructors/SuperPredecessor.expected
R java/ql/test/library-tests/flexible-constructors/SuperPredecessor.ql
M java/ql/test/library-tests/guards/Guards.java
M java/ql/test/library-tests/guards/GuardsInline.expected
M java/ql/test/library-tests/guards/guards.ql
M java/ql/test/library-tests/guards/guardslogic.expected
M java/ql/test/library-tests/guards/guardslogic.ql
M java/ql/test/library-tests/guards/guardspreconditions.ql
M java/ql/test/library-tests/guards12/guard.expected
M java/ql/test/library-tests/guards12/guard.ql
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.expected
M java/ql/test/library-tests/java7/MultiCatch/MultiCatchControlFlow.ql
M java/ql/test/library-tests/pattern-instanceof/cfg.expected
M java/ql/test/library-tests/pattern-instanceof/cfg.ql
M java/ql/test/library-tests/pattern-switch/cfg/test.expected
M java/ql/test/library-tests/pattern-switch/cfg/test.ql
M java/ql/test/library-tests/ssa/captures.expected
M java/ql/test/library-tests/ssa/firstUse.expected
M java/ql/test/library-tests/ssa/ssaDef.expected
M java/ql/test/library-tests/ssa/ssaPhi.expected
M java/ql/test/library-tests/ssa/ssaUse.expected
R java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/CloseReaderTest/TestSucc.expected
M java/ql/test/library-tests/successors/CloseReaderTest/TestSucc.ql
R java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/LoopVarReadTest/TestSucc.expected
M java/ql/test/library-tests/successors/LoopVarReadTest/TestSucc.ql
R java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/SaveFileTest/TestSucc.expected
M java/ql/test/library-tests/successors/SaveFileTest/TestSucc.ql
R java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected
R java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql
M java/ql/test/library-tests/successors/SchackTest/TestSucc.expected
M java/ql/test/library-tests/successors/SchackTest/TestSucc.ql
R java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestBreak/TestSucc.expected
M java/ql/test/library-tests/successors/TestBreak/TestSucc.ql
R java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestContinue/TestSucc.expected
M java/ql/test/library-tests/successors/TestContinue/TestSucc.ql
R java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestDeclarations/TestSucc.expected
M java/ql/test/library-tests/successors/TestDeclarations/TestSucc.ql
R java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestFinally/TestSucc.expected
M java/ql/test/library-tests/successors/TestFinally/TestSucc.ql
R java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.expected
M java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.ql
R java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.expected
M java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.ql
R java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestThrow/TestSucc.expected
M java/ql/test/library-tests/successors/TestThrow/TestSucc.ql
R java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestThrow2/TestSucc.expected
M java/ql/test/library-tests/successors/TestThrow2/TestSucc.ql
R java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestTryCatch/TestSucc.expected
M java/ql/test/library-tests/successors/TestTryCatch/TestSucc.ql
R java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.expected
R java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql
M java/ql/test/library-tests/successors/TestTryWithResources/TestSucc.expected
M java/ql/test/library-tests/successors/TestTryWithResources/TestSucc.ql
M java/ql/test/library-tests/switch-default-impossible-dispatch/Test.java
M java/ql/test/library-tests/switch-default-impossible-dispatch/test.expected
M java/ql/test/query-tests/Nullness/B.java
M java/ql/test/query-tests/Nullness/NullMaybe.expected
M java/ql/test/query-tests/UselessComparisonTest/UselessComparisonTest.expected
M shared/controlflow/codeql/controlflow/BasicBlock.qll
A shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
M shared/controlflow/codeql/controlflow/Guards.qll
M shared/controlflow/codeql/controlflow/SuccessorType.qll

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


Compare: https://github.com/krishnprakash/codeql/compare/2c7b2e22c607...cb375aa4569d

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