Paolo Tranquilli
|
1c81c4d4c9
|
C#: make some tweaks to change logs
|
2025-11-18 10:01:36 +01:00 |
|
github-actions[bot]
|
18fa6799ce
|
Release preparation for version 2.23.6
|
2025-11-17 16:38:07 +00:00 |
|
Michael Nebel
|
085d3c85cd
|
Merge pull request #20425 from michaelnebel/csharp/basicextractoroverlay
C#: Overlay extraction support.
|
2025-11-12 15:25:57 +01:00 |
|
Michael Nebel
|
0541dccc78
|
C#: Add discarding for ASP elements.
|
2025-11-10 15:44:17 +01:00 |
|
Michael Nebel
|
d6b7424e2c
|
C#: Add the same strategy in as in Java for XML element discarding.
|
2025-11-10 15:38:26 +01:00 |
|
Joe Farebrother
|
b813c13462
|
Restrict sinks to fix performance
|
2025-11-10 14:14:01 +00:00 |
|
Joe Farebrother
|
544446bb81
|
Minor comment update
|
2025-11-10 14:13:51 +00:00 |
|
Joe Farebrother
|
3cdfa8e0ac
|
Update comments and names
|
2025-11-10 14:12:57 +00:00 |
|
Joe Farebrother
|
a87a03cfa8
|
Move to main query pack
|
2025-11-10 14:12:48 +00:00 |
|
Michael Nebel
|
c44b74740e
|
C#: Minor code quality improvements.
|
2025-11-10 14:23:59 +01:00 |
|
Michael Nebel
|
9d300e3ad3
|
C#: Address comments in the QL implementation.
|
2025-11-07 15:52:37 +01:00 |
|
Michael Nebel
|
5ec0494467
|
Merge pull request #20731 from michaelnebel/csharp/updatedependencies
C#: Update extractor package dependencies.
|
2025-11-05 11:58:48 +01:00 |
|
Michael B. Gale
|
046db0419f
|
Merge pull request #20758 from github/post-release-prep/codeql-cli-2.23.4
Post-release preparation for codeql-cli-2.23.4
|
2025-11-05 10:45:51 +00:00 |
|
Anders Schack-Mulligen
|
02fd1dcccd
|
Merge pull request #20738 from aschackmull/csharp/guards-misc
C#: Misc Guards-related cleanup.
|
2025-11-05 10:22:07 +01:00 |
|
github-actions[bot]
|
4014df9a6e
|
Post-release preparation for codeql-cli-2.23.4
|
2025-11-04 17:57:52 +00:00 |
|
Anders Schack-Mulligen
|
7ab25b593d
|
C#: Change note.
|
2025-11-04 15:43:49 +01:00 |
|
Michael Nebel
|
d95ebc77ae
|
C#: Add using directives and type mentions as star entities.
|
2025-11-04 13:28:29 +01:00 |
|
Michael Nebel
|
1d2f1545d6
|
C#: Add change-note.
|
2025-11-04 13:28:26 +01:00 |
|
Michael Nebel
|
04d33cbad7
|
C#: Add discarding for diagnostics and extractor messages.
|
2025-11-04 13:28:24 +01:00 |
|
Michael Nebel
|
8927b0a350
|
C#: Simplify the discarding and also discard type mentions and comments.
|
2025-11-04 13:28:21 +01:00 |
|
Michael Nebel
|
40035d2e82
|
C#: Add a locatable type to the dbscheme.
|
2025-11-04 13:28:19 +01:00 |
|
Michael Nebel
|
121c1500ca
|
C#: Define discarding predicates for expressions, statements, locations and some named TRAP entities.
|
2025-11-04 13:28:14 +01:00 |
|
Michael Nebel
|
cfb68436f2
|
C#: Add upgrade- and downgrade scripts.
|
2025-11-04 13:28:00 +01:00 |
|
Michael Nebel
|
b48ce8dec2
|
C#: Add overlay builtins to the dbscheme.
|
2025-11-04 13:27:58 +01:00 |
|
Michael Nebel
|
bcc6234a60
|
C#: Fix bad join due to overlay compilation.
|
2025-11-04 13:27:56 +01:00 |
|
Michael Nebel
|
b600255835
|
C#: Enable overlay compilation in lib/qlpack.yml.
|
2025-11-04 13:27:53 +01:00 |
|
Michael B. Gale
|
e825a3acf7
|
C#: Minor changelog improvements
|
2025-11-03 15:03:46 +00:00 |
|
github-actions[bot]
|
64fcdd1f2f
|
Release preparation for version 2.23.4
|
2025-11-03 14:52:23 +00:00 |
|
Michael Nebel
|
c1ede51fe8
|
C#: Add change note.
|
2025-11-03 12:52:27 +01:00 |
|
Anders Schack-Mulligen
|
bda6513fc1
|
Merge pull request #20737 from aschackmull/csharp/deprecate-abstractvalue
C#: Deprecate AbstractValue.
|
2025-10-31 15:20:24 +01:00 |
|
Anders Schack-Mulligen
|
fa20075a4d
|
C#: Review fix and simplification.
|
2025-10-31 14:41:32 +01:00 |
|
Anders Schack-Mulligen
|
4f6528a9fb
|
C#: Deprecate AbstractValue.
|
2025-10-31 14:23:23 +01:00 |
|
Anders Schack-Mulligen
|
eb93e8ed41
|
C#: Deprecate controlsBlock.
|
2025-10-31 14:22:11 +01:00 |
|
Anders Schack-Mulligen
|
4de564eb4e
|
C#: Replace reference to controlsBlock and simplify.
|
2025-10-31 14:17:35 +01:00 |
|
Anders Schack-Mulligen
|
f6dfcf1ca4
|
C#: Delete splitting-aware controls implementation.
|
2025-10-31 14:17:35 +01:00 |
|
Anders Schack-Mulligen
|
ab2c2ef6ae
|
C#: Update isUnreachableInCall in dataflow to use Guards library.
|
2025-10-31 14:17:34 +01:00 |
|
Anders Schack-Mulligen
|
e558c0219c
|
Merge pull request #20734 from aschackmull/csharp/tweak-nullness
C#: Allow nullness sources with SSA at entry.
|
2025-10-31 14:14:43 +01:00 |
|
Anders Schack-Mulligen
|
5aa53287ce
|
C#: Allow nullness sources with SSA at entry.
|
2025-10-31 11:25:37 +01:00 |
|
Anders Schack-Mulligen
|
87d89fd00f
|
C#: Fix CFG for assertion.
|
2025-10-29 13:04:33 +01:00 |
|
Anders Schack-Mulligen
|
e61ddf59d7
|
C#: Remove assertion splitting.
|
2025-10-29 13:04:32 +01:00 |
|
Anders Schack-Mulligen
|
b48d4d4834
|
C#: Recognize assertions as Guards.
|
2025-10-29 13:04:32 +01:00 |
|
Anders Schack-Mulligen
|
72f1fe5d58
|
C#: Exclude nullness sources that are deemed non-null.
|
2025-10-29 13:03:51 +01:00 |
|
Anders Schack-Mulligen
|
7241bedf05
|
C#: Replace Guards with the new implementation.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
dc4abc952f
|
C#: Replace references to getANullCheck.
|
2025-10-29 13:02:08 +01:00 |
|
Anders Schack-Mulligen
|
1aa0e7c2da
|
C#: Make private.
|
2025-10-29 13:02:07 +01:00 |
|
Anders Schack-Mulligen
|
9776e8f828
|
C#: Remove an irrelevant reference to impliesStep.
|
2025-10-29 13:02:06 +01:00 |
|
Anders Schack-Mulligen
|
3542cdab43
|
Merge pull request #20677 from aschackmull/csharp/disable-exc-split
C#: Delete exception splitting.
|
2025-10-24 08:46:33 +02:00 |
|
Anders Schack-Mulligen
|
72d83cc966
|
ControlFlowReachability: Align the SSA signature with the one from shared SSA.
|
2025-10-23 10:57:21 +02:00 |
|
Anders Schack-Mulligen
|
f257c7a570
|
Guards: Align the SSA signature with the one from shared SSA.
|
2025-10-23 10:23:22 +02:00 |
|
Anders Schack-Mulligen
|
20147cdd2b
|
Shared/Java: Rename ControlFlowReachability library.
|
2025-10-23 09:07:34 +02:00 |
|