1794 Commits

Author	SHA1	Message	Date
erik-krogh	873d3553cd	Merge branch 'main' into static-useInstanceOf	2022-12-12 15:36:54 +01:00
erik-krogh	8262fbbfb5	Java/C#/GO: Use instanceof in more places	2022-12-11 18:32:19 +01:00
Michael Nebel	ad90e58120	C#: Rename Negative Summary Model to Neutral Model.	2022-12-09 15:04:42 +01:00
Michael Nebel	670ae6c84c	Merge pull request #11593 from michaelnebel/csharp/patternmatchspan ... C#: Pattern match Span<char> and ReadOnlySpan<char> against a constant string.	2022-12-08 13:53:00 +01:00
Michael Nebel	468b05ccda	C#: Expressions of type Span<char> and ReadOnlySpan<char> can be matched against constant strings.	2022-12-07 14:31:51 +01:00
Michael Nebel	2d9975d73f	C#: nint/System.IntPtr and nuint/System.UIntPtr are indistinguishable by the extractor.	2022-12-07 13:45:23 +01:00
Michael Nebel	27efb0d843	C#: Rename -> for .	2022-12-06 13:53:50 +01:00
Michael Nebel	29ccac8e93	C#: Address review comments.	2022-12-06 12:05:48 +01:00
Michael Nebel	6b35098fb7	C#: Replace more uses of getQualifiedName/0.	2022-12-06 11:59:13 +01:00
Michael Nebel	0a3295ef3f	C#: Address review comments.	2022-12-06 11:59:13 +01:00
Michael Nebel	38e906f854	C#: Use hasQualifiedName instead of getQualifiedName.	2022-12-06 11:59:13 +01:00
Michael Nebel	c24302bec2	C#: Replace all uses of the deprecated hasQualifiedName/1 predicate.	2022-12-06 11:59:12 +01:00
Tom Hvitved	bc6a41c1e6	Merge pull request #10927 from hvitved/csharp/phi-reads-in-data-flow-graph ... C#: Include "phi reads" in `DataFlow::Node`	2022-11-23 13:34:18 +01:00
erik-krogh	64707f4f7b	remove redundant assignments	2022-11-21 17:45:05 +01:00
Tom Hvitved	8c9431d278	CFG: Workaround in test output for source/sink pairs with multiple edges	2022-11-21 11:58:59 +01:00
Tom Hvitved	9f13cdadcb	C#: Add use-use stress test	2022-11-17 13:42:56 +01:00
Tom Hvitved	baaafadeb0	Merge pull request #11266 from hvitved/csharp/update-nuget-packages ... C#: Update all nuget packages	2022-11-16 19:53:45 +01:00
Tom Hvitved	7cab6b5491	C#: Include SSA "phi reads" in DataFlow::Node	2022-11-16 15:31:01 +01:00
Tom Hvitved	bd78e73131	C#: Add tests for phi reads	2022-11-15 11:45:32 +01:00
Tom Hvitved	dc2cd994d4	C#: Update expected test output	2022-11-15 11:22:48 +01:00
Michael Nebel	9c6875ec0f	Merge pull request #10777 from michaelnebel/csharp/generatedataextensions ... C#: Generate data extension files	2022-11-10 13:08:31 +01:00
Michael Nebel	990a898cc7	C#: Remove the Csv name where appropriate.	2022-11-04 08:20:53 +01:00
Michael Nebel	d11bca0cdc	C#: Migrate unit tests to data extensions.	2022-11-04 08:20:53 +01:00
Michael Nebel	afb604ee5f	C#: Remove all generated models.	2022-11-04 08:20:53 +01:00
Michael Nebel	4b649e0bad	C#: Update flowsummaries test expected output.	2022-11-04 08:19:05 +01:00
Tom Hvitved	fa762d9952	C#: Fix flow steps into phi nodes ... - Add missing flow from post-update nodes into phi nodes. - Prevent flow from reads into phi nodes when use-use flow is prohibited.	2022-11-02 10:21:50 +01:00
Tom Hvitved	5b5dd07d60	C#: Add data flow test that illustrates issue with flow into phi nodes	2022-11-02 10:20:56 +01:00
Michael Nebel	95488bf133	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	903abd0f3e	C#: Exhaustive validation of postupdate notes in conditional expression example.	2022-09-29 11:35:35 +02:00
Michael Nebel	131a6ac492	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	9ced3956d6	C#: Add assignment expression example.	2022-09-29 11:35:35 +02:00
Michael Nebel	e1ea1a464d	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	58bf283023	C#: Add suppress nullable warning expressions example.	2022-09-29 11:35:35 +02:00
Michael Nebel	940e925c31	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	d54406d599	C#: Add switch example.	2022-09-29 11:35:35 +02:00
Michael Nebel	65b32b665d	C#: Update test expected output.	2022-09-29 11:35:35 +02:00
Michael Nebel	11d67744f7	C#: Add NullCoalescing example.	2022-09-29 11:35:35 +02:00
Michael Nebel	2e5fc19e38	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	ba4794790e	C#: Add Cast example.	2022-09-29 11:35:35 +02:00
Michael Nebel	c49a16c840	C#: Update expected test output for the local flow testcases.	2022-09-29 11:35:21 +02:00
Michael Nebel	e8fd2bfc78	C#: Update expected test output.	2022-09-28 14:35:09 +02:00
Michael Nebel	7b6e684eaf	C#: Update test expected output (no new flow is identified).	2022-09-28 14:35:09 +02:00
Michael Nebel	51daae01f1	C#: Add test case.	2022-09-28 14:35:09 +02:00
Michael Nebel	37795226a4	C#: Exclude stub implementation in test results.	2022-09-26 14:55:29 +02:00
Michael Nebel	85eee886ac	C#: Auto-format AspNetCore.ql.	2022-09-26 14:55:28 +02:00
Michael Nebel	a7011e11c4	C#: Minor refactoring to avoid introducing name variable.	2022-09-26 14:55:28 +02:00
Jaroslav Lobačevski	eed04696a9	Add tests	2022-09-26 14:55:28 +02:00
Octokit	f05d4b8410	failing tests	2022-09-26 14:55:28 +02:00
Michael Nebel	9c5a6dd031	C#: Add WithElement summary for Reverse and update expected test output.	2022-09-02 15:17:24 +02:00
Michael Nebel	e7e78dcab3	C#: Add with element example and update existing line numbers in testcase.	2022-09-02 15:17:24 +02:00