[krishnprakash/codeql] f02abb: Cfg: Handle ExprStmt and BlockStmt in defaultStep.

[Phileco]

Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: f02abb3e939d6b5fe316998477bd976d851064a8
https://github.com/krishnprakash/codeql/commit/f02abb3e939d6b5fe316998477bd976d851064a8
Author: Anders Schack-Mulligen <ascha...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

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

Log Message:
-----------
Cfg: Handle ExprStmt and BlockStmt in defaultStep.


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

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

Log Message:
-----------
Cfg: Step directly from a failed case guard to the next case.


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

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

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


Commit: 8807217e492bd46475f5bd624276e8364dda149e
https://github.com/krishnprakash/codeql/commit/8807217e492bd46475f5bd624276e8364dda149e
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
A csharp/ql/test/library-tests/dataflow/operators/ImplicitConversionOperator.cs
A csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.expected
A csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.ql

Log Message:
-----------
C#: Add implicit conversion operator taint example.


Commit: 93a28cbfaf3eb6d0879140829f551ba6b1e71e02
https://github.com/krishnprakash/codeql/commit/93a28cbfaf3eb6d0879140829f551ba6b1e71e02
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

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

Log Message:
-----------
C#: Add default (reverse update) taint step from implicit operator calls to their arguments.


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

Changed paths:
M csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.expected

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


Commit: 4e2a93df553b1487170a27e46c0f054adef2703f
https://github.com/krishnprakash/codeql/commit/4e2a93df553b1487170a27e46c0f054adef2703f
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

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

Log Message:
-----------
C#: Remove comment.


Commit: a604a68fe95a6786fc13f8a44752c0b446ab275c
https://github.com/krishnprakash/codeql/commit/a604a68fe95a6786fc13f8a44752c0b446ab275c
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
A csharp/ql/lib/change-notes/2026-03-03-implicit-conversion-reverse-flow.md

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


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

Changed paths:
M java/ql/test/library-tests/guards12/guard.expected
M shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

Log Message:
-----------
Merge pull request #21403 from aschackmull/cfg/tweaks

Cfg: Small tweaks.


Commit: fbf40ef02a4a124e8c8b0b5c31df8248a4e6a29b
https://github.com/krishnprakash/codeql/commit/fbf40ef02a4a124e8c8b0b5c31df8248a4e6a29b
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

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

Log Message:
-----------
Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll

Co-authored-by: Tom Hvitved <hvi...@github.com>


Commit: 219ea28217ec45c0e8b36bbd01cab8d11e376f15
https://github.com/krishnprakash/codeql/commit/219ea28217ec45c0e8b36bbd01cab8d11e376f15
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
A csharp/ql/lib/change-notes/2026-03-03-implicit-conversion-reverse-flow.md
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll
A csharp/ql/test/library-tests/dataflow/operators/ImplicitConversionOperator.cs
A csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.expected
A csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.ql

Log Message:
-----------
Merge pull request #21400 from michaelnebel/csharp/implicitconversionreverseflowtaint

C#: Add default taint step from an implicit operator call to its argument.


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

Changed paths:
A csharp/ql/lib/change-notes/2026-03-03-implicit-conversion-reverse-flow.md
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll
A csharp/ql/test/library-tests/dataflow/operators/ImplicitConversionOperator.cs
A csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.expected
A csharp/ql/test/library-tests/dataflow/operators/implicitConversionOperatorFlow.ql
M java/ql/test/library-tests/guards12/guard.expected
M shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

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


Compare: https://github.com/krishnprakash/codeql/compare/202f56e701d4...1e8d31414dc6

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