[krishnprakash/codeql] b9595d: C++: Create a new file.
0 views
Skip to first unread message
Phileco
Mar 4, 2026, 12:29:52 AM (yesterday) Mar 4
to philecodi...@googlegroups.com
Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: b9595d985ea6451d34e89a9346e8e6ad5a3dfb14
https://github.com/krishnprakash/codeql/commit/b9595d985ea6451d34e89a9346e8e6ad5a3dfb14
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
A cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
Log Message:
-----------
C++: Create a new file.
Commit: 271a7594900630630d00e8b7967efbbb052dc06a
https://github.com/krishnprakash/codeql/commit/271a7594900630630d00e8b7967efbbb052dc06a
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'TIRDataFlowNode'.
Commit: 09d74a3b3e025dc832476d6bcd6202d43bc3f0dd
https://github.com/krishnprakash/codeql/commit/09d74a3b3e025dc832476d6bcd6202d43bc3f0dd
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'CanonicalField' stuff.
Commit: 87478d016ad5cfc6941066f864538d42fa65565b
https://github.com/krishnprakash/codeql/commit/87478d016ad5cfc6941066f864538d42fa65565b
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'FieldAddress' and 'conversionFlow'.
Commit: edde4149aa51c5702ec84a8e906511967ff45a70
https://github.com/krishnprakash/codeql/commit/edde4149aa51c5702ec84a8e906511967ff45a70
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'Node' into the public module.
Commit: 6e0c5615fe87e0aa6aed0dbea56a44c50a33dd9d
https://github.com/krishnprakash/codeql/commit/6e0c5615fe87e0aa6aed0dbea56a44c50a33dd9d
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move a bunch non-public dataflow node subtypes.
Commit: 86bd0c0dc3523cf18692d97d1f4b64428379fe53
https://github.com/krishnprakash/codeql/commit/86bd0c0dc3523cf18692d97d1f4b64428379fe53
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
Log Message:
-----------
C++: Move a bunch of newtypes and predicates into a cached module.
Commit: f223c957baeaf82ea0893c536f8f727fd09ee7ef
https://github.com/krishnprakash/codeql/commit/f223c957baeaf82ea0893c536f8f727fd09ee7ef
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Log Message:
-----------
C++: Cache 'toString' and 'getLocation'.
Commit: d804fc5168cbc5f8639c2c702956e497f21e5856
https://github.com/krishnprakash/codeql/commit/d804fc5168cbc5f8639c2c702956e497f21e5856
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Remove the 'ExprFlowCached' module. Instead we have a single cached module.
Commit: 66611323e21808f19085aaf7ad337c4561d01a98
https://github.com/krishnprakash/codeql/commit/66611323e21808f19085aaf7ad337c4561d01a98
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Log Message:
-----------
C++: No need to keep this in its own module now.
Commit: 1eccb8ea930e73c8ddb4f1b797e68f112eeb91a2
https://github.com/krishnprakash/codeql/commit/1eccb8ea930e73c8ddb4f1b797e68f112eeb91a2
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
Log Message:
-----------
C++: Add a cache module to taint-tracking and ensure they happen in the same stage as the dataflow stage.
Commit: cdb41588a9f54fcabf2c53e0cd22b5c4cdee1a89
https://github.com/krishnprakash/codeql/commit/cdb41588a9f54fcabf2c53e0cd22b5c4cdee1a89
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
M cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
Log Message:
-----------
C++: Fix some imports.
Commit: 26e8701ae3fc5b7b41d9adce1e5221b7b9b4e2cd
https://github.com/krishnprakash/codeql/commit/26e8701ae3fc5b7b41d9adce1e5221b7b9b4e2cd
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
Log Message:
-----------
C++: Fix a few qualifiers.
Commit: 5d75b255a82d2af95b0931f92ff394623065b5b7
https://github.com/krishnprakash/codeql/commit/5d75b255a82d2af95b0931f92ff394623065b5b7
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
Log Message:
-----------
C++: Remove IR re-evaluation.
Commit: 17e6fd2fe9271e8f084080a11d3c27d396bc2f06
https://github.com/krishnprakash/codeql/commit/17e6fd2fe9271e8f084080a11d3c27d396bc2f06
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
Log Message:
-----------
C++: Disable magic to prevent re-evaluation.
Commit: 85875c2879acb49c81eab67e874f3b71c7225074
https://github.com/krishnprakash/codeql/commit/85875c2879acb49c81eab67e874f3b71c7225074
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
Log Message:
-----------
C++: Remove unnecessary recursion through Node.toString.
Commit: 92f26027e19253bd1a0909ecb4c3b3c27f1ec952
https://github.com/krishnprakash/codeql/commit/92f26027e19253bd1a0909ecb4c3b3c27f1ec952
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Remove outdated comment.
Commit: 1139059d77743b470d599421ae711eabfc6d38f4
https://github.com/krishnprakash/codeql/commit/1139059d77743b470d599421ae711eabfc6d38f4
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRFieldFlowSteps.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll
Log Message:
-----------
C++: Fix imports.
Commit: db33dadb8e8c91e00fe570b970f121d55c8f3344
https://github.com/krishnprakash/codeql/commit/db33dadb8e8c91e00fe570b970f121d55c8f3344
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
Log Message:
-----------
C++: Add QLDoc. Also actually implement 'uninitializedNode' since there's no reason not to do so.
Commit: ea1fc43732e8261651e7468de1b458a81f161533
https://github.com/krishnprakash/codeql/commit/ea1fc43732e8261651e7468de1b458a81f161533
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.ql
A csharp/ql/test/library-tests/dataflow/structs/structs.cs
Log Message:
-----------
C#: Add data flow test for struct.
Commit: 4e63b83fd321473aa5df629fcdc21aad716aa9d0
https://github.com/krishnprakash/codeql/commit/4e63b83fd321473aa5df629fcdc21aad716aa9d0
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/test/library-tests/dataflow/external-models/Sources.cs
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/external-models/srcs.ext.yml
Log Message:
-----------
C#: Add struct source model example.
Commit: ec7e6e8e03aa635689daad6a982a2256c938d46a
https://github.com/krishnprakash/codeql/commit/ec7e6e8e03aa635689daad6a982a2256c938d46a
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
Log Message:
-----------
C#: Add post-update nodes for arguments of struct type.
Commit: a3d15dbaa302b16cca7d2fa7d5d953bbb7c9bddc
https://github.com/krishnprakash/codeql/commit/a3d15dbaa302b16cca7d2fa7d5d953bbb7c9bddc
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
Log Message:
-----------
C#: Update test expected output for new tests.
Commit: 8380474acdea48fb5a8909115ffaa238097b2d36
https://github.com/krishnprakash/codeql/commit/8380474acdea48fb5a8909115ffaa238097b2d36
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
Log Message:
-----------
C#: Update other test expected output.
Commit: 319e3d1ba4e277308ceb88b92cd76ffa33c7adea
https://github.com/krishnprakash/codeql/commit/319e3d1ba4e277308ceb88b92cd76ffa33c7adea
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
A csharp/ql/lib/change-notes/2026-03-02-post-update-nodes.md
Log Message:
-----------
C#: Add change-note.
Commit: a2f45f1b5b48554e52e2e3b1d347eb7339d3963f
https://github.com/krishnprakash/codeql/commit/a2f45f1b5b48554e52e2e3b1d347eb7339d3963f
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)
Changed paths:
A csharp/ql/lib/change-notes/2026-03-02-post-update-nodes.md
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
M csharp/ql/test/library-tests/dataflow/external-models/Sources.cs
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/external-models/srcs.ext.yml
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.ql
A csharp/ql/test/library-tests/dataflow/structs/structs.cs
Log Message:
-----------
Merge pull request #21383 from michaelnebel/csharp/postupdatenoderestriction
C#: Add post-update nodes for `struct` type argument nodes.
Commit: 6a904eddd43e160cb836da20ca2c7092abfa0112
https://github.com/krishnprakash/codeql/commit/6a904eddd43e160cb836da20ca2c7092abfa0112
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
M cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
A cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRFieldFlowSteps.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
M cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
Log Message:
-----------
Merge pull request #21390 from MathiasVP/less-reevaluation-4
C++: Reduce re-evaluation
Commit: 202f56e701d4871217bc6dd04a71039531c8a0fe
https://github.com/krishnprakash/codeql/commit/202f56e701d4871217bc6dd04a71039531c8a0fe
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
M cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
A cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRFieldFlowSteps.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
M cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
A csharp/ql/lib/change-notes/2026-03-02-post-update-nodes.md
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
M csharp/ql/test/library-tests/dataflow/external-models/Sources.cs
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/external-models/srcs.ext.yml
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.ql
A csharp/ql/test/library-tests/dataflow/structs/structs.cs
Log Message:
-----------
Merge branch 'github:main' into main
Compare: https://github.com/krishnprakash/codeql/compare/cb375aa4569d...202f56e701d4
To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications
Home: https://github.com/krishnprakash/codeql
Commit: b9595d985ea6451d34e89a9346e8e6ad5a3dfb14
https://github.com/krishnprakash/codeql/commit/b9595d985ea6451d34e89a9346e8e6ad5a3dfb14
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
A cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
Log Message:
-----------
C++: Create a new file.
Commit: 271a7594900630630d00e8b7967efbbb052dc06a
https://github.com/krishnprakash/codeql/commit/271a7594900630630d00e8b7967efbbb052dc06a
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'TIRDataFlowNode'.
Commit: 09d74a3b3e025dc832476d6bcd6202d43bc3f0dd
https://github.com/krishnprakash/codeql/commit/09d74a3b3e025dc832476d6bcd6202d43bc3f0dd
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'CanonicalField' stuff.
Commit: 87478d016ad5cfc6941066f864538d42fa65565b
https://github.com/krishnprakash/codeql/commit/87478d016ad5cfc6941066f864538d42fa65565b
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'FieldAddress' and 'conversionFlow'.
Commit: edde4149aa51c5702ec84a8e906511967ff45a70
https://github.com/krishnprakash/codeql/commit/edde4149aa51c5702ec84a8e906511967ff45a70
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move 'Node' into the public module.
Commit: 6e0c5615fe87e0aa6aed0dbea56a44c50a33dd9d
https://github.com/krishnprakash/codeql/commit/6e0c5615fe87e0aa6aed0dbea56a44c50a33dd9d
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Move a bunch non-public dataflow node subtypes.
Commit: 86bd0c0dc3523cf18692d97d1f4b64428379fe53
https://github.com/krishnprakash/codeql/commit/86bd0c0dc3523cf18692d97d1f4b64428379fe53
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
Log Message:
-----------
C++: Move a bunch of newtypes and predicates into a cached module.
Commit: f223c957baeaf82ea0893c536f8f727fd09ee7ef
https://github.com/krishnprakash/codeql/commit/f223c957baeaf82ea0893c536f8f727fd09ee7ef
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Log Message:
-----------
C++: Cache 'toString' and 'getLocation'.
Commit: d804fc5168cbc5f8639c2c702956e497f21e5856
https://github.com/krishnprakash/codeql/commit/d804fc5168cbc5f8639c2c702956e497f21e5856
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Remove the 'ExprFlowCached' module. Instead we have a single cached module.
Commit: 66611323e21808f19085aaf7ad337c4561d01a98
https://github.com/krishnprakash/codeql/commit/66611323e21808f19085aaf7ad337c4561d01a98
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Log Message:
-----------
C++: No need to keep this in its own module now.
Commit: 1eccb8ea930e73c8ddb4f1b797e68f112eeb91a2
https://github.com/krishnprakash/codeql/commit/1eccb8ea930e73c8ddb4f1b797e68f112eeb91a2
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
Log Message:
-----------
C++: Add a cache module to taint-tracking and ensure they happen in the same stage as the dataflow stage.
Commit: cdb41588a9f54fcabf2c53e0cd22b5c4cdee1a89
https://github.com/krishnprakash/codeql/commit/cdb41588a9f54fcabf2c53e0cd22b5c4cdee1a89
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
M cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
Log Message:
-----------
C++: Fix some imports.
Commit: 26e8701ae3fc5b7b41d9adce1e5221b7b9b4e2cd
https://github.com/krishnprakash/codeql/commit/26e8701ae3fc5b7b41d9adce1e5221b7b9b4e2cd
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
Log Message:
-----------
C++: Fix a few qualifiers.
Commit: 5d75b255a82d2af95b0931f92ff394623065b5b7
https://github.com/krishnprakash/codeql/commit/5d75b255a82d2af95b0931f92ff394623065b5b7
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
Log Message:
-----------
C++: Remove IR re-evaluation.
Commit: 17e6fd2fe9271e8f084080a11d3c27d396bc2f06
https://github.com/krishnprakash/codeql/commit/17e6fd2fe9271e8f084080a11d3c27d396bc2f06
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
Log Message:
-----------
C++: Disable magic to prevent re-evaluation.
Commit: 85875c2879acb49c81eab67e874f3b71c7225074
https://github.com/krishnprakash/codeql/commit/85875c2879acb49c81eab67e874f3b71c7225074
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
Log Message:
-----------
C++: Remove unnecessary recursion through Node.toString.
Commit: 92f26027e19253bd1a0909ecb4c3b3c27f1ec952
https://github.com/krishnprakash/codeql/commit/92f26027e19253bd1a0909ecb4c3b3c27f1ec952
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Log Message:
-----------
C++: Remove outdated comment.
Commit: 1139059d77743b470d599421ae711eabfc6d38f4
https://github.com/krishnprakash/codeql/commit/1139059d77743b470d599421ae711eabfc6d38f4
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRFieldFlowSteps.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll
Log Message:
-----------
C++: Fix imports.
Commit: db33dadb8e8c91e00fe570b970f121d55c8f3344
https://github.com/krishnprakash/codeql/commit/db33dadb8e8c91e00fe570b970f121d55c8f3344
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-02-27 (Fri, 27 Feb 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
Log Message:
-----------
C++: Add QLDoc. Also actually implement 'uninitializedNode' since there's no reason not to do so.
Commit: ea1fc43732e8261651e7468de1b458a81f161533
https://github.com/krishnprakash/codeql/commit/ea1fc43732e8261651e7468de1b458a81f161533
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.ql
A csharp/ql/test/library-tests/dataflow/structs/structs.cs
Log Message:
-----------
C#: Add data flow test for struct.
Commit: 4e63b83fd321473aa5df629fcdc21aad716aa9d0
https://github.com/krishnprakash/codeql/commit/4e63b83fd321473aa5df629fcdc21aad716aa9d0
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/test/library-tests/dataflow/external-models/Sources.cs
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/external-models/srcs.ext.yml
Log Message:
-----------
C#: Add struct source model example.
Commit: ec7e6e8e03aa635689daad6a982a2256c938d46a
https://github.com/krishnprakash/codeql/commit/ec7e6e8e03aa635689daad6a982a2256c938d46a
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
Log Message:
-----------
C#: Add post-update nodes for arguments of struct type.
Commit: a3d15dbaa302b16cca7d2fa7d5d953bbb7c9bddc
https://github.com/krishnprakash/codeql/commit/a3d15dbaa302b16cca7d2fa7d5d953bbb7c9bddc
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
Log Message:
-----------
C#: Update test expected output for new tests.
Commit: 8380474acdea48fb5a8909115ffaa238097b2d36
https://github.com/krishnprakash/codeql/commit/8380474acdea48fb5a8909115ffaa238097b2d36
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
Log Message:
-----------
C#: Update other test expected output.
Commit: 319e3d1ba4e277308ceb88b92cd76ffa33c7adea
https://github.com/krishnprakash/codeql/commit/319e3d1ba4e277308ceb88b92cd76ffa33c7adea
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
A csharp/ql/lib/change-notes/2026-03-02-post-update-nodes.md
Log Message:
-----------
C#: Add change-note.
Commit: a2f45f1b5b48554e52e2e3b1d347eb7339d3963f
https://github.com/krishnprakash/codeql/commit/a2f45f1b5b48554e52e2e3b1d347eb7339d3963f
Author: Michael Nebel <michae...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)
Changed paths:
A csharp/ql/lib/change-notes/2026-03-02-post-update-nodes.md
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
M csharp/ql/test/library-tests/dataflow/external-models/Sources.cs
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/external-models/srcs.ext.yml
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.ql
A csharp/ql/test/library-tests/dataflow/structs/structs.cs
Log Message:
-----------
Merge pull request #21383 from michaelnebel/csharp/postupdatenoderestriction
C#: Add post-update nodes for `struct` type argument nodes.
Commit: 6a904eddd43e160cb836da20ca2c7092abfa0112
https://github.com/krishnprakash/codeql/commit/6a904eddd43e160cb836da20ca2c7092abfa0112
Author: Mathias Vorreiter Pedersen <math...@github.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
M cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
A cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRFieldFlowSteps.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
M cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
Log Message:
-----------
Merge pull request #21390 from MathiasVP/less-reevaluation-4
C++: Reduce re-evaluation
Commit: 202f56e701d4871217bc6dd04a71039531c8a0fe
https://github.com/krishnprakash/codeql/commit/202f56e701d4871217bc6dd04a71039531c8a0fe
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
M cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
A cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ExprNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ModelUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRFieldFlowSteps.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRUtilities.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/src/Likely Bugs/Memory Management/AllocaInLoop.ql
M cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
M cpp/ql/test/library-tests/dataflow/models-as-data/FlowSummaryNode.ql
A csharp/ql/lib/change-notes/2026-03-02-post-update-nodes.md
M csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
M csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
M csharp/ql/test/library-tests/dataflow/external-models/Sources.cs
M csharp/ql/test/library-tests/dataflow/external-models/srcs.expected
M csharp/ql/test/library-tests/dataflow/external-models/srcs.ext.yml
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.expected
A csharp/ql/test/library-tests/dataflow/structs/StructFlow.ql
A csharp/ql/test/library-tests/dataflow/structs/structs.cs
Log Message:
-----------
Merge branch 'github:main' into main
Compare: https://github.com/krishnprakash/codeql/compare/cb375aa4569d...202f56e701d4
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