8143 Commits

Author	SHA1	Message	Date
Henry Mercer	bc106873c1	C#: Fix casing of "CodeQL Action"	2023-03-14 17:24:30 +00:00
Henry Mercer	7e4f77bfb3	C#: Only serialize the location if it is present	2023-03-14 17:23:00 +00:00
Tom Hvitved	bdd56f1b6e	Data flow: Sync files	2023-03-14 10:01:56 +01:00
Michael Nebel	41b2273dee	C#: Update expected test output.	2023-03-13 15:15:03 +01:00
Michael Nebel	e2479940d2	C#: Overridable operator support in dispatch.	2023-03-13 15:15:03 +01:00
Tony Torralba	705691b096	Merge pull request #12446 from github/java/update-mad-decls-after-triage-2023-03-08T14-51-59 ... Java: Update MaD Declarations after Triage	2023-03-13 14:07:59 +01:00
Anders Schack-Mulligen	0c95ab2cdc	Merge pull request #12474 from hvitved/dataflow/call-back-post-update ... Data flow: Synthesize post-update nodes for callback arguments inside summarized callables	2023-03-13 13:21:52 +01:00
Erik Krogh Kristensen	060c37b6a2	Merge pull request #12345 from erik-krogh/delOldDeps ... delete old deprecations	2023-03-13 12:48:24 +01:00
Anders Schack-Mulligen	c380ecbbbc	Data flow: Add change notes.	2023-03-13 11:09:13 +01:00
erik-krogh	6c1ebd999e	Merge branch 'main' into delOldDeps	2023-03-13 11:00:29 +01:00
Michael Nebel	8398ee43b3	C#: Update test comment and expected test output.	2023-03-13 10:09:03 +01:00
Michael Nebel	a964f536e8	C#: Fix issue with dispatch to implementations of virtual interface members.	2023-03-13 10:09:03 +01:00
Michael Nebel	278f90e5fa	C#: Update expected test output.	2023-03-13 10:09:03 +01:00
Michael Nebel	cfe2a76431	C#: Add viable callable test cases for statics in interfaces.	2023-03-13 10:09:03 +01:00
Anders Schack-Mulligen	1e64748ffe	Dataflow: Autoformat.	2023-03-10 15:12:19 +01:00
Anders Schack-Mulligen	289f921171	Dataflow: Sync.	2023-03-10 14:56:54 +01:00
Anders Schack-Mulligen	00f0879ff5	Dataflow: Sync.	2023-03-10 14:56:54 +01:00
Tom Hvitved	32a699e34a	Data flow: Sync files	2023-03-10 12:43:21 +01:00
Tony Torralba	8aa80882ea	Sync files	2023-03-10 12:35:13 +01:00
Anders Schack-Mulligen	159d8e978c	Dataflow: one more autoformat post rebase	2023-03-10 10:04:35 +01:00
Anders Schack-Mulligen	5ad7ed49dd	C#: Autoformat	2023-03-10 09:39:41 +01:00
Michael B. Gale	d627358f7e	Merge pull request #12453 from github/mbg/csharp/fix-env-prop	2023-03-09 17:55:48 +00:00
Mathias Vorreiter Pedersen	59402eb754	Merge pull request #12462 from MathiasVP/disable-std-order-in-fwd-flow-stage-1 ... DataFlow: Disable standard order in `Stage1::fwdFlow`	2023-03-09 15:30:05 +00:00
Asger F	6e744093e2	Merge pull request #12398 from github/post-release-prep/codeql-cli-2.12.4 ... Post-release preparation for codeql-cli-2.12.4	2023-03-09 15:38:21 +01:00
Mathias Vorreiter Pedersen	1f77f77153	DataFlow: Sync identical files.	2023-03-09 10:41:15 +00:00
Michael B. Gale	695160d480	Remove check for stdout redirection	2023-03-08 18:09:09 +00:00
Michael B. Gale	ce937e78c0	Merge pull request #12383 from github/mbg/csharp/fix/diag-filename ... C#: Append process id to diagnostics filename	2023-03-08 14:04:29 +00:00
Michael Nebel	29ee1bda50	Merge pull request #12369 from michaelnebel/csharp/unsafestubs ... C#: .NET 7 Runtime and ASP.NET 7 stubs.	2023-03-08 13:54:23 +01:00
Michael B. Gale	71d0a2378b	Append process id to diagnostics filename	2023-03-08 12:15:46 +00:00
Michael Nebel	0714310661	C#: Add some more test examples.	2023-03-08 10:14:49 +01:00
Michael Nebel	7ce5c0d55d	C#: Add change note.	2023-03-08 10:02:28 +01:00
Michael Nebel	c88f52c63e	C#: Add stubs test case.	2023-03-08 10:02:27 +01:00
Michael Nebel	b6d97b07bf	C#: Also print the unsafe keyword for eg. classes when creating stubs.	2023-03-08 10:02:27 +01:00
Michael Nebel	67e7b8fc23	C#: If a type (or any child of a type) is a pointer like type then it is unsafe.	2023-03-08 10:02:27 +01:00
Michael B. Gale	7627a53c49	Merge pull request #12371 from github/mbg/csharp/increase-diagnostic-visibility ... C#: Make diagnostics visible everywhere	2023-03-07 12:13:09 +00:00
Michael B. Gale	974fdd305e	Merge pull request #12372 from github/mbg/csharp/check-integration-test-diagnostics ... C#: Add diagnostic checks to all remaining integration tests	2023-03-07 12:11:47 +00:00
Michael B. Gale	b75f138507	Merge pull request #12385 from github/mbg/csharp/readd-tsp-support ... C#: Add support for the tool status page	2023-03-07 12:10:52 +00:00
Michael Nebel	40d31120d9	Merge pull request #12264 from michaelnebel/csharp/nugetnet7 ... C#: Stub generator improvements.	2023-03-07 11:30:57 +01:00
Michael Nebel	af12affc36	C#: Re-generate stubs to update comments.	2023-03-07 10:35:13 +01:00
Michael Nebel	676c352819	C#: Update expected test output.	2023-03-07 10:19:26 +01:00
Michael Nebel	e85b2ebd20	C#: Replace stub member comment with file level comment.	2023-03-07 10:19:26 +01:00
Michael Nebel	c8f7304d9b	C#: Address review comments.	2023-03-07 10:19:25 +01:00
Michael Nebel	e797b5c226	C#: Narrow the set of declarations where we make explicit interface implementations.	2023-03-07 10:19:25 +01:00
Michael Nebel	d8acc7cd17	C#: Stub generator support for explicit interface implementations of explicit conversion operators including test cases.	2023-03-07 10:19:25 +01:00
Michael Nebel	59349ed7c7	C#: Add test cases for static and virtual operators in interfaces and overlapping interface declarations.	2023-03-07 10:19:25 +01:00
Michael Nebel	50570dc3ee	C#: Only add explicit interface implementation to the generated stub if it is unique.	2023-03-07 10:19:25 +01:00
Michael Nebel	5ba59fc9a8	C#: Stub generator support for operators in interfaces and interface implementations.	2023-03-07 10:19:25 +01:00
Michael Nebel	b68e78d908	C#: Stub generator support for static virtual and static abstract interface members.	2023-03-07 10:19:25 +01:00
Michael Nebel	aa4b98bbd5	C#: The stub generator should just format whitespaces.	2023-03-07 10:19:25 +01:00
Mathias Vorreiter Pedersen	92ad099c1b	DataFlow: Remove bindingsets, remove the call column, and swap parameter and argument columns.	2023-03-06 13:47:59 +00:00