BazookaMusic
|
d2972cb53f
|
Add back alias for module
|
2026-06-04 11:08:49 +02:00 |
|
BazookaMusic
|
f34275636c
|
No duplicate Ssa and remove release changenot
|
2026-06-03 11:54:24 +02:00 |
|
BazookaMusic
|
0a801440b9
|
review comments
|
2026-06-03 10:48:50 +02:00 |
|
BazookaMusic
|
c610af88d3
|
fix comment and add overlay[local?]
|
2026-06-01 18:18:37 +02:00 |
|
Sotiris Dragonas
|
019a5c01ad
|
Merge branch 'main' into bazookamusic/range-analysis-bound-move-to-shared
|
2026-06-01 18:10:02 +02:00 |
|
BazookaMusic
|
71a363545a
|
formatting
|
2026-06-01 15:24:06 +02:00 |
|
Michael Nebel
|
ed8b9c29cc
|
Merge pull request #21866 from michaelnebel/csharp/refreturnindexerproperty
C#: Property- and Indexer calls for ref return properties and indexers.
|
2026-05-28 12:31:17 +02:00 |
|
BazookaMusic
|
acb5c0e70f
|
missed changes
|
2026-05-27 17:23:45 +02:00 |
|
Owen Mansel-Chan
|
039b5927f0
|
C#: update ForStmt wrapper class
|
2026-05-21 13:45:30 +01:00 |
|
Michael Nebel
|
c3bb5e8eff
|
C#: Use ref return getters for properties/indexers in write contexts.
|
2026-05-19 14:24:00 +02:00 |
|
Michael Nebel
|
7a1a90b5a4
|
C#: Address review comment.
|
2026-05-19 13:23:22 +02:00 |
|
Michael Nebel
|
fa2d633596
|
C#: Address co-pilot review comments.
|
2026-05-13 09:24:59 +02:00 |
|
Michael Nebel
|
0c3ab803ef
|
C#: Update the dispatch logic to account for all instance operator calls.
|
2026-05-13 09:24:51 +02:00 |
|
Michael Nebel
|
27e6b5c0fa
|
C#: Introduce a class for instance mutator operator calls.
|
2026-05-13 09:24:48 +02:00 |
|
Michael Nebel
|
4ae4d7d78d
|
C#: Update condition for UnaryOperators to also handle user-defined instance increment and decrement operators.
|
2026-05-13 09:24:35 +02:00 |
|
Anders Schack-Mulligen
|
072166ba88
|
C#/Java: Adjust Guards instantiations.
|
2026-05-07 13:46:52 +02:00 |
|
Anders Schack-Mulligen
|
48785a0a76
|
Cfg: Rework CFG for switch case patterns.
|
2026-05-07 13:07:07 +02:00 |
|
Anders Schack-Mulligen
|
02f5fe9a42
|
C#: Address some review comments.
|
2026-05-04 11:49:24 +02:00 |
|
Tom Hvitved
|
1f3a8319ed
|
Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2026-05-04 09:41:00 +02:00 |
|
Anders Schack-Mulligen
|
439a67a3fe
|
C#: Fix toString for capture definitions.
|
2026-05-01 10:26:50 +02:00 |
|
Anders Schack-Mulligen
|
5fbba0e9fe
|
C#: Delete ParameterDefaultDefinition.
|
2026-05-01 10:24:23 +02:00 |
|
Anders Schack-Mulligen
|
d3df5ce110
|
C#: Deprecate ParameterDefinition in favour of SsaParameterInit.
|
2026-05-01 10:22:53 +02:00 |
|
Anders Schack-Mulligen
|
ff8ab191d1
|
C#: Drop caching for deprecated predicates.
|
2026-04-30 13:58:55 +02:00 |
|
Anders Schack-Mulligen
|
77807c83f8
|
C#: Exclude entry definitions from qualifier definitions.
|
2026-04-30 13:56:21 +02:00 |
|
Anders Schack-Mulligen
|
e0421dbf53
|
C#: Reinstate toString for SSA data flow nodes.
|
2026-04-30 13:56:16 +02:00 |
|
Anders Schack-Mulligen
|
bedadc9f04
|
C#: Deprecate some SSA internals.
|
2026-04-30 13:54:21 +02:00 |
|
Anders Schack-Mulligen
|
55b83ca22a
|
C#: Deprecate Ssa::Definition in favour of SsaDefinition.
|
2026-04-30 13:54:20 +02:00 |
|
Anders Schack-Mulligen
|
de96b5acfd
|
C#: Deprecate Ssa::ImplicitDefinition.
|
2026-04-30 13:54:20 +02:00 |
|
Anders Schack-Mulligen
|
80d5e27b46
|
C#: Deprecate Ssa::ImplicitEntryDefinition.
|
2026-04-30 13:54:15 +02:00 |
|
Anders Schack-Mulligen
|
65f647a8c0
|
C#: Replace Ssa::UncertainDefinition with SsaUncertainWrite.
|
2026-04-30 13:49:23 +02:00 |
|
Anders Schack-Mulligen
|
9a7eb8dfb9
|
C#: Replace Ssa::PhiNode with SsaPhiDefinition.
|
2026-04-30 13:49:23 +02:00 |
|
Anders Schack-Mulligen
|
6ecdf3fe32
|
C#: Replace Ssa::ImplicitParameterDefinition with SsaParameterInit.
|
2026-04-30 13:49:19 +02:00 |
|
Anders Schack-Mulligen
|
31e06bc0a9
|
C#: Remove SSA location overrides.
|
2026-04-30 12:56:58 +02:00 |
|
Anders Schack-Mulligen
|
dc34b10cb6
|
C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.
|
2026-04-30 12:52:51 +02:00 |
|
Anders Schack-Mulligen
|
a6c7f27fc1
|
C#: Deprecate Definition.getEnclosingCallable.
|
2026-04-30 12:46:28 +02:00 |
|
Anders Schack-Mulligen
|
ed6cdfc227
|
C#: Move isLiveOutRefParameterDefinition to top-level.
|
2026-04-30 12:46:27 +02:00 |
|
Anders Schack-Mulligen
|
c88a22ccf8
|
C#: Replace most uses of Ssa::Definition with SsaDefinition.
|
2026-04-30 12:45:25 +02:00 |
|
Anders Schack-Mulligen
|
2545f06b52
|
C#: Deprecate member predicate Definition.getAReadAtNode.
|
2026-04-30 12:42:24 +02:00 |
|
Anders Schack-Mulligen
|
83c7a33e53
|
C#: Deprecate member predicates Definition.getAFirstRead and getAFirstReadAtNode.
|
2026-04-30 12:42:21 +02:00 |
|
Anders Schack-Mulligen
|
fb438bf512
|
C#: Remove references to getAFirstReadAtNode.
|
2026-04-30 11:55:55 +02:00 |
|
Anders Schack-Mulligen
|
e5d219a039
|
C#: Simplify library instantiations.
|
2026-04-30 11:50:59 +02:00 |
|
Anders Schack-Mulligen
|
72d21a9a56
|
C#: Instantiate shared SSA wrappers.
|
2026-04-30 11:48:27 +02:00 |
|
Anders Schack-Mulligen
|
7ef9e1b939
|
C#: Rename SsaImpl input.
|
2026-04-30 11:46:20 +02:00 |
|
Tom Hvitved
|
b6c464281b
|
C#: Move internal logic into internal/ControlFlowGraph.qll
|
2026-04-29 14:01:14 +02:00 |
|
Tom Hvitved
|
d4a32476da
|
C#: No need to special-case default arguments in nullness analysis
|
2026-04-29 14:01:13 +02:00 |
|
Tom Hvitved
|
6c42418faf
|
C#: Use parameter CFG nodes in SSA
|
2026-04-29 14:01:11 +02:00 |
|
Tom Hvitved
|
cbe207ab65
|
C#: Include parameters and their defaults in the CFG
|
2026-04-29 14:01:09 +02:00 |
|
Tom Hvitved
|
77639817fe
|
C#: Remove unintended CP
|
2026-04-29 14:01:06 +02:00 |
|
Michael Nebel
|
e2fcaeb46a
|
C#: Handle compound assignment operators in the dispatch logic (and assignable definition).
|
2026-04-24 08:57:09 +02:00 |
|
Michael Nebel
|
bdf0c8ff5a
|
C#: Add compound assignment operator call classes.
|
2026-04-24 08:57:06 +02:00 |
|