github-actions[bot]
|
2e0699ab2b
|
Post-release preparation for codeql-cli-2.21.2
|
2025-04-28 14:03:28 +00:00 |
|
github-actions[bot]
|
625354c46e
|
Release preparation for version 2.21.2
|
2025-04-28 10:55:22 +00:00 |
|
github-actions[bot]
|
d78736b1bf
|
Post-release preparation for codeql-cli-2.21.1
|
2025-04-15 16:33:15 +00:00 |
|
github-actions[bot]
|
b961c5961d
|
Release preparation for version 2.21.1
|
2025-04-14 09:53:06 +00:00 |
|
Geoffrey White
|
9c1567375d
|
Shared: Implement getInconsistencyCounts for SSA.
|
2025-04-07 16:20:42 +01:00 |
|
Geoffrey White
|
2c2506c4f8
|
Rust: Add Rust SSA inconsistency infrastructure.
|
2025-04-07 12:16:45 +01:00 |
|
Anders Schack-Mulligen
|
ce19972aef
|
SSA: Reinstate consistency check.
|
2025-04-03 16:16:20 +02:00 |
|
Anders Schack-Mulligen
|
6ac4cb71cb
|
SSA: Add change note.
|
2025-04-03 09:57:48 +02:00 |
|
Anders Schack-Mulligen
|
34554fd000
|
SSA: Deprecate the public DefinitionExt.
|
2025-04-03 09:47:50 +02:00 |
|
Tom Hvitved
|
a01b211f79
|
Merge pull request #19185 from hvitved/rust/ssa-capture-psudeo-read-dominate
Rust: Fix `capturedCallRead`
|
2025-04-02 19:16:55 +02:00 |
|
Anders Schack-Mulligen
|
47b1c3d3ce
|
Merge pull request #19154 from aschackmull/ssa/variablecapture
Ssa: Replace phi-read references in VariableCapture with default use-use flow
|
2025-04-02 10:16:17 +02:00 |
|
Tom Hvitved
|
9dea9f5046
|
SSA: Make phiWithoutTwoPriorRefs consistency check more informative
|
2025-04-01 15:07:46 +02:00 |
|
github-actions[bot]
|
10205cb990
|
Post-release preparation for codeql-cli-2.21.0
|
2025-04-01 11:30:43 +00:00 |
|
github-actions[bot]
|
84f6564cc0
|
Release preparation for version 2.21.0
|
2025-03-31 17:35:15 +00:00 |
|
Anders Schack-Mulligen
|
b4daba30a5
|
SSA: Remove dead code.
|
2025-03-31 10:49:10 +02:00 |
|
Anders Schack-Mulligen
|
70e53c2f8b
|
SSA: Push includeWriteDefsInFlowStep constraint into newtype.
|
2025-03-31 10:49:10 +02:00 |
|
Anders Schack-Mulligen
|
0d1ac7789b
|
SSA/Ruby: Address review comments.
|
2025-03-28 13:27:56 +01:00 |
|
Anders Schack-Mulligen
|
5a986f5327
|
SSA: Remove empty predicates and dead code.
|
2025-03-28 12:00:38 +01:00 |
|
Anders Schack-Mulligen
|
1ded4df3fd
|
SSA: Add an alternative to ssaDefAssigns/ssaDefInitializesParam.
|
2025-03-28 11:57:26 +01:00 |
|
Anders Schack-Mulligen
|
c6cee489e4
|
SSA: Address review comments.
|
2025-03-28 10:53:03 +01:00 |
|
Anders Schack-Mulligen
|
d5d0274ce7
|
Java/SSA: Keep proper distinction between cached stages.
|
2025-03-25 13:43:55 +01:00 |
|
Anders Schack-Mulligen
|
4d04391b70
|
C++: Keep all phi input back edges.
|
2025-03-25 13:21:13 +01:00 |
|
Anders Schack-Mulligen
|
0162b84d20
|
SSA: Fix a poor join-order and avoid SSA recomputation.
|
2025-03-25 12:31:03 +01:00 |
|
Anders Schack-Mulligen
|
36532bc58c
|
SSA: Skip identity steps.
|
2025-03-25 12:31:02 +01:00 |
|
Anders Schack-Mulligen
|
4e2ad9712c
|
SSA: Skip phi nodes with unique successor.
|
2025-03-25 12:31:02 +01:00 |
|
Anders Schack-Mulligen
|
669f9261f1
|
SSA: Skip irrelevant phi input nodes.
|
2025-03-25 12:31:01 +01:00 |
|
Anders Schack-Mulligen
|
c778bf6343
|
SSA: Rename SsaInputDefinitionExt
|
2025-03-25 12:31:01 +01:00 |
|
Anders Schack-Mulligen
|
5aa7029934
|
SSA: Add support for skipping WriteDefinitions in use-use.
|
2025-03-25 12:31:00 +01:00 |
|
Chris Smowton
|
9a2a13ed55
|
Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc317-into-main
|
2025-03-19 16:01:29 +00:00 |
|
github-actions[bot]
|
51cdeefafb
|
Post-release preparation for codeql-cli-2.20.7
|
2025-03-17 13:00:41 +00:00 |
|
github-actions[bot]
|
2d64a618e6
|
Release preparation for version 2.20.7
|
2025-03-17 12:15:54 +00:00 |
|
Anders Schack-Mulligen
|
ecb5e7ad07
|
C++: Fix spurious ExprNode fanout in DataFlowIntegration.
|
2025-03-14 10:51:26 +01:00 |
|
Anders Schack-Mulligen
|
9375e571b1
|
C++: Use SSA data flow integration module.
|
2025-03-14 10:51:24 +01:00 |
|
Anders Schack-Mulligen
|
d075466958
|
Merge pull request #18941 from aschackmull/ssa/refactor4
Ssa: Extend consistency checks and reduce phi read nodes
|
2025-03-07 15:18:02 +01:00 |
|
Anders Schack-Mulligen
|
9e6bdbbcbb
|
SSA: Don't add phi-reads for frontiers of uncertain reads.
|
2025-03-06 12:47:38 +01:00 |
|
Anders Schack-Mulligen
|
d95114fb1d
|
SSA: Extend consistency queries.
|
2025-03-06 12:47:37 +01:00 |
|
Anders Schack-Mulligen
|
c6761db2fc
|
SSA: Replace the Guards interface in the SSA data flow integration.
|
2025-03-05 13:29:31 +01:00 |
|
Anders Schack-Mulligen
|
6c89602691
|
SSA: Add some qldoc.
|
2025-03-04 12:24:25 +01:00 |
|
Anders Schack-Mulligen
|
f5eb2d94bc
|
SSA: Use Definition.getLocation in DefinitionExt.
|
2025-03-04 12:24:25 +01:00 |
|
Anders Schack-Mulligen
|
00b8c80c24
|
SSA/C#/Ruby/Rust: Clean up SSA consistency queries.
The RelevantDefinition class is no longer needed since the introduction
of LocationSig.
|
2025-03-04 12:24:23 +01:00 |
|
Anders Schack-Mulligen
|
2f744ce3ec
|
SSA: Expose module for qltesting adjacent references.
|
2025-03-04 12:24:22 +01:00 |
|
Anders Schack-Mulligen
|
9e03b12ba0
|
C#/Java/Ruby/Rust/SSA: Replace DefinitionExt with SourceVariable in data flow integration predicates.
|
2025-03-04 12:24:21 +01:00 |
|
Anders Schack-Mulligen
|
39bba7f5c2
|
SSA: Change a few DefinitionExt uses that are actually just Definitions.
|
2025-03-04 12:24:21 +01:00 |
|
Anders Schack-Mulligen
|
42eef9e4b7
|
SSA: Deprecate getDefinitionExt.
|
2025-03-04 12:24:20 +01:00 |
|
github-actions[bot]
|
58f355ae5a
|
Post-release preparation for codeql-cli-2.20.6
|
2025-03-03 18:18:15 +00:00 |
|
github-actions[bot]
|
fa850cccb1
|
Release preparation for version 2.20.6
|
2025-03-03 17:13:19 +00:00 |
|
Anders Schack-Mulligen
|
b1b72b73ed
|
SSA: Add qldoc.
|
2025-02-25 10:35:57 +01:00 |
|
Anders Schack-Mulligen
|
f00f2c6f47
|
SSA: Deprecate public SsaDefinitionExtNode and SsaInputNode.
|
2025-02-25 10:03:43 +01:00 |
|
Anders Schack-Mulligen
|
57c4fd6f25
|
JS: Combine phi reads and ssa input nodes into SynthReadNode class.
|
2025-02-25 09:23:53 +01:00 |
|
Anders Schack-Mulligen
|
0583d85f20
|
C#: Remove getDefinitionExt references.
|
2025-02-24 14:22:59 +01:00 |
|