Michael Nebel
|
95dc2f71d3
|
C#: Add ExperimentalAttribute class.
|
2024-02-28 11:20:43 +01:00 |
|
Tom Hvitved
|
bbeee8f38d
|
Merge pull request #15717 from hvitved/csharp/view-cfg
Shared `View CFG` implementation
|
2024-02-27 09:13:18 +01:00 |
|
Michael Nebel
|
cba247788a
|
C#: Add change note.
|
2024-02-26 13:51:07 +01:00 |
|
Michael Nebel
|
4dd368f7a6
|
C#: Add upgrade script.
|
2024-02-26 13:51:07 +01:00 |
|
Michael Nebel
|
e6f4263eff
|
C#: Do not print compiler generated statements.
|
2024-02-26 13:51:06 +01:00 |
|
Michael Nebel
|
bf4e3a7d1c
|
C#: Merge expr_compiler_generated and compiler_generated and add compiler generated statements.
|
2024-02-26 13:51:06 +01:00 |
|
Tom Hvitved
|
dd0c721e8c
|
C#: Add change note
|
2024-02-26 13:48:19 +01:00 |
|
Tom Hvitved
|
606a8fed0c
|
Merge pull request #15406 from hvitved/csharp/no-stats-experiment
C#: Remove all DB stats
|
2024-02-26 13:40:37 +01:00 |
|
Tom Hvitved
|
5f5bcf686d
|
Update csharp/ql/lib/semmle/code/csharp/AnnotatedType.qll
Co-authored-by: Michael Nebel <michaelnebel@github.com>
|
2024-02-26 11:35:28 +01:00 |
|
Tom Hvitved
|
5b1fb8789a
|
C#: Implement View CFG query
|
2024-02-26 11:23:49 +01:00 |
|
Tom Hvitved
|
4bd79c0eb3
|
Add change note
|
2024-02-26 09:58:23 +01:00 |
|
Tom Hvitved
|
acd52192d1
|
C#: Adopt shared variable capture library
|
2024-02-26 09:53:30 +01:00 |
|
Tom Hvitved
|
2683e40038
|
Merge pull request #15708 from hvitved/share-ide-contextual
Share `getFileBySourceArchiveName` implementation
|
2024-02-23 19:56:33 +01:00 |
|
Tom Hvitved
|
62b16c0fa3
|
Share getFileBySourceArchiveName implementation
|
2024-02-23 11:25:49 +01:00 |
|
Michael Nebel
|
1a155b3a30
|
Merge pull request #15667 from michaelnebel/csharp/syntheticconstructorbody
C#: Add synthetic bodies and inititializers for default constuctors.
|
2024-02-23 11:14:00 +01:00 |
|
Tom Hvitved
|
ea7d9c97fd
|
C#: Use separate newtype branch for AssignableDefinitionNode
|
2024-02-22 21:04:55 +01:00 |
|
Michael Nebel
|
cf9c3d5dd1
|
C#: Remove un-needed code as we extract synthetic default constructors.
|
2024-02-22 13:33:29 +01:00 |
|
Michael Nebel
|
f2c849c737
|
C#: Simplify.
|
2024-02-22 11:19:34 +01:00 |
|
Michael Nebel
|
2afcc611ce
|
C#: Fix formatting.
|
2024-02-22 11:18:00 +01:00 |
|
Michael Nebel
|
21aa025db2
|
Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2024-02-22 10:40:54 +01:00 |
|
Michael Nebel
|
b76a27bba2
|
C#: Make a store step from explicit parameter nodes on primary constructors to the property of the same name for record types.
|
2024-02-21 10:57:22 +01:00 |
|
Michael Nebel
|
132b8baa57
|
C#: Delete summarized callable implementation for record flow and update expected output.
|
2024-02-21 10:33:19 +01:00 |
|
Michael Nebel
|
f072e41d50
|
Merge pull request #15652 from michaelnebel/csharp/constructorflow
C#: Read-only property flow.
|
2024-02-21 10:12:46 +01:00 |
|
Michael Nebel
|
060133d3e9
|
C#: Add change note.
|
2024-02-21 09:34:21 +01:00 |
|
github-actions[bot]
|
37f8fa3413
|
Post-release preparation for codeql-cli-2.16.3
|
2024-02-20 16:50:47 +00:00 |
|
Michael Nebel
|
e4d41194b4
|
C#: Include store steps into readonly properties.
|
2024-02-20 15:55:19 +01:00 |
|
github-actions[bot]
|
6d061fbc35
|
Release preparation for version 2.16.3
|
2024-02-20 14:26:23 +00:00 |
|
Michael Nebel
|
d83687125c
|
C#: Add postupdate nodes for all instance parameter accesses - otherwise we get missing post update nodes to to reverseRead in the data flow consistency queries.
|
2024-02-19 13:04:13 +01:00 |
|
Michael Nebel
|
28d5c11b6f
|
C#: Synthesize an empty body for primary constructors.
|
2024-02-19 13:04:13 +01:00 |
|
Erik Krogh Kristensen
|
7c0557269a
|
Merge pull request #15596 from erik-krogh/url-san
C#: Add a few more sanitizers to `cs/web/unvalidated-url-redirection`
|
2024-02-15 12:09:06 +01:00 |
|
erik-krogh
|
a2bd45d0cb
|
apply suggestions from code review
|
2024-02-14 13:50:27 +01:00 |
|
Tom Hvitved
|
7c59c7b28c
|
C#: Update QLdoc
|
2024-02-13 14:00:26 +01:00 |
|
Tom Hvitved
|
7bdc2c57f0
|
C#: Simplify primaryConstructorParameterStore
|
2024-02-13 13:59:14 +01:00 |
|
Tom Hvitved
|
3f43f45437
|
C#: Assume captured variables are live at exit in SSA construction
|
2024-02-13 13:59:08 +01:00 |
|
Michael Nebel
|
91bbbe262d
|
C#: Address more review comments.
|
2024-02-13 13:15:17 +01:00 |
|
erik-krogh
|
d31bfc06c2
|
add type requirement to the new Uri sanitizers
|
2024-02-13 13:13:43 +01:00 |
|
erik-krogh
|
4dae8d0bb4
|
add host comparisons as a sanitizer for url-redirect
|
2024-02-13 13:13:43 +01:00 |
|
erik-krogh
|
f4dd3e9aa1
|
treat relative URLs as safe for url-redirects
|
2024-02-13 13:13:18 +01:00 |
|
erik-krogh
|
3f8de82ea3
|
add a sanitizer for List.Contains() in url-redirect
|
2024-02-13 13:13:06 +01:00 |
|
Michael Nebel
|
69c0f0cb6a
|
C#: Address review comments.
|
2024-02-13 11:39:21 +01:00 |
|
Tom Hvitved
|
15cf695188
|
C#: Fix various bad joins
|
2024-02-12 19:49:53 +01:00 |
|
Tom Hvitved
|
90f3670f3d
|
C#: Remove all DB stats
|
2024-02-12 19:49:29 +01:00 |
|
Michael Nebel
|
aed5080142
|
C#: Add primary constructor change note.
|
2024-02-12 13:27:40 +01:00 |
|
Michael Nebel
|
42f4656667
|
C#: Data flow for primary constructors.
|
2024-02-12 13:27:39 +01:00 |
|
Tom Hvitved
|
b27b89bff7
|
Merge pull request #15567 from hvitved/csharp/cache-module
C#: Actually cache module `Cached`
|
2024-02-12 09:15:49 +01:00 |
|
Tom Hvitved
|
9634511ac5
|
Merge pull request #15489 from hvitved/csharp/lambda-field-flow
C#: Additional tracking of lambdas through fields and properties
|
2024-02-12 09:14:21 +01:00 |
|
Tom Hvitved
|
9785ce4936
|
C#: Actually cache module Cached
|
2024-02-09 12:29:56 +01:00 |
|
Anders Schack-Mulligen
|
b7d4a6926f
|
Dataflow: Add empty provenance column to PathGraph.
|
2024-02-09 11:27:30 +01:00 |
|
Dave Bartolomeo
|
92bd550c55
|
Merge pull request #15531 from github/post-release-prep/codeql-cli-2.16.2
Post-release preparation for codeql-cli-2.16.2
|
2024-02-08 05:58:17 -08:00 |
|
Anders Schack-Mulligen
|
dfc9c4d079
|
C#: Simplify, getASuccessor is pruned now.
|
2024-02-08 10:36:55 +01:00 |
|