1338 Commits

Author	SHA1	Message	Date
Tom Hvitved	cf42427f54	Merge pull request #7321 from hvitved/csharp/cil/unique-type ... C#: Avoid CIL instructions with multiple types	2021-12-10 09:58:06 +01:00
Tom Hvitved	f7f3890b40	Merge pull request #7320 from hvitved/csharp/unknown-type ... C#: Populate `UnknownType`	2021-12-10 09:57:55 +01:00
Michael Nebel	df482a9603	Merge pull request #7314 from michaelnebel/csharp-stubs-dataflow-global ... C#: Update tests dataflow/global tests to use stubs.	2021-12-09 16:31:39 +01:00
Michael Nebel	69f42b9c74	C#: Update remaining tests.	2021-12-09 15:21:08 +01:00
Michael Nebel	992801b7cb	C#: Update GetAnOutNode test.	2021-12-09 13:55:04 +01:00
Tom Hvitved	9ffa236c51	Merge pull request #7288 from hvitved/cfg/enclosing-scope ... Shared CFG: Include CFG scope in `TElementNode`	2021-12-09 13:39:48 +01:00
Tom Hvitved	069cf9d17f	C#: Exclude stubs in GetAnOutNode.ql test	2021-12-09 13:33:14 +01:00
Tom Hvitved	cbd21edc99	C#: Override File::isFromSource in tests to exclude stubs	2021-12-09 13:33:14 +01:00
Michael Nebel	2f85735b6a	C#: Use stubs instead of dll's in the dataflow global tests.	2021-12-09 13:25:11 +01:00
Michael Nebel	9f4b965202	C#: Update the flow summaries produced for Task<> after introduction of synthetic fields.	2021-12-09 10:11:49 +01:00
Michael Nebel	a43704ab43	C#: Update dataflow/global tests based on synthetic fields.	2021-12-09 10:11:48 +01:00
Anders Schack-Mulligen	38d0bb4a60	Merge pull request #7260 from hvitved/dataflow/argument-parameter-matching ... Data flow: Introduce `ParameterPosition` and `ArgumentPosition`	2021-12-08 12:49:08 +01:00
Erik Krogh Kristensen	3c59aa319e	Merge pull request #7245 from erik-krogh/explicit-this-all-the-places ... All langs: apply the explicit-this patch to all remaining code	2021-12-07 10:40:26 +01:00
Tom Hvitved	243b92b28c	C#: Avoid CIL instructions with multiple types	2021-12-06 14:42:41 +01:00
Tom Hvitved	60c0bcf8f7	C#: Include dup instructions in CIL ExprMissingType consistency test	2021-12-06 14:37:07 +01:00
Tom Hvitved	c39fe59a04	C#: Populate UnknownType	2021-12-06 14:09:17 +01:00
Michael Nebel	90baef83ee	C#: Add flow summaries for another TryParse method in System.Boolean.	2021-12-03 11:10:24 +01:00
Tom Hvitved	404f4a81a7	C#: Include CFG scope in TElementNode	2021-12-03 09:37:41 +01:00
Michael Nebel	19c34be1ea	Merge pull request #7297 from michaelnebel/csharp-accessor-flow ... C#: Make it possible to define flow for property backing methods.	2021-12-02 16:24:19 +01:00
Michael Nebel	f6c36b469a	C#: Include test case for override of property.	2021-12-02 15:04:01 +01:00
Michael Nebel	8f3be9fbfd	C#: Update flow summaries test according to new printing format.	2021-12-02 11:28:06 +01:00
Michael Nebel	edf7724579	C#: Remove trailing whitespace after comma, when priting callable in CSV format.	2021-12-02 11:24:42 +01:00
Michael Nebel	a8f673ffa4	C#: Add a test that only prints 'base' flow summaries.	2021-12-02 09:03:00 +01:00
Michael Nebel	e08c734c40	C#: Refactoring to allow override of the flow summaries reported by a test.	2021-12-02 08:54:59 +01:00
Michael Nebel	9e10aee8a1	C#: Update the flow summaries test.	2021-12-01 14:34:32 +01:00
Michael Nebel	cc2914be3c	C#: Include NewtonSoft.Json stubs into the flow summaries test.	2021-12-01 14:34:04 +01:00
Michael Nebel	59b71df2d6	C#: Use stubs for the CWE-601 testcase.	2021-11-30 15:32:19 +01:00
Michael Nebel	0b4d0d2772	C#: Use stubs for the CWE-838 testcase	2021-11-30 15:32:19 +01:00
Michael Nebel	bab8cfb62a	C# Generate stubs for System.Data.SqlClient	2021-11-30 15:32:19 +01:00
Michael Nebel	a5b6889478	C# Update flow summaries test.	2021-11-30 15:32:19 +01:00
Michael Nebel	5dd2d20176	C#: Remove overlapping declaration of System.Web.HttpUtility	2021-11-30 15:32:18 +01:00
Michael Nebel	7d6664f14d	C#: Use NuGet package generated stubs for dependencies for flow summaries test	2021-11-30 15:32:18 +01:00
Tom Hvitved	755085e9fe	C#: Introduce ParameterPosition and ArgumentPosition	2021-11-30 15:20:20 +01:00
Michael Nebel	e1539889ef	C#: Update flow summaries tests	2021-11-29 11:35:02 +01:00
Michael Nebel	e24b15bbe7	C#: Only create flow summaries for declarations that are effectively public	2021-11-29 11:34:21 +01:00
Michael Nebel	9239d4042e	Merge pull request #7230 from michaelnebel/csharp-update-netcoreapp-stub ... C#: Update the Microsoft.NETCore.App stub	2021-11-29 10:08:59 +01:00
Tom Hvitved	fdc94365b4	Merge pull request #7178 from michaelnebel/csharp-flowsummary-pp-csv ... C#: Initial implementation of csv printing in FlowSummaries test	2021-11-29 09:59:33 +01:00
Erik Krogh Kristensen	6ff8d4de5c	add all remaining explicit this	2021-11-26 13:50:10 +01:00
Michael Nebel	b9d0a60ce7	C#: Addressed review comments from hvitved	2021-11-24 14:35:52 +01:00
Tom Hvitved	1d1780b30f	C#: Fix bug in getEnclosingCallable	2021-11-24 14:24:01 +01:00
Tom Hvitved	f85fa87f69	C#: Add test that illustrates problem with getEnclosingCallable	2021-11-24 13:59:29 +01:00
Michael Nebel	c3996b00d5	C#: Update the Microsoft.NETCore.App stub	2021-11-24 13:09:06 +01:00
Michael Nebel	e153a65216	C#: Update flow summaries test for EntityFramework to print results in CSV syntax	2021-11-24 12:09:20 +01:00
Michael Nebel	914d3d86af	C#: Update flow summaries test to print results in CSV syntax	2021-11-24 12:09:20 +01:00
Michael Nebel	e607c51292	C#: Initial implementation of csv printing in FlowSummaries test	2021-11-24 12:09:20 +01:00
Tom Hvitved	fd0e318eb1	C#: Document inconsistency in one test	2021-11-19 09:43:51 +01:00
Tom Hvitved	2f7250a0b3	Merge pull request #7160 from hvitved/csharp/cfg/static-scope ... C#: Extend `(Annotated)ExitNode` to also cover static fields	2021-11-18 19:15:06 +01:00
Tom Hvitved	a89be2e3f8	C#: Extend (Annotated)ExitNode to also cover static fields	2021-11-17 20:50:38 +01:00
Tom Hvitved	3da73b9001	C#: Update expected test output	2021-11-17 10:49:49 +01:00
Anders Schack-Mulligen	c70d384d28	Merge pull request #7045 from aschackmull/dataflow/hidden-ret-subpaths ... Data flow: Support hidden return nodes in subpaths predicate	2021-11-16 15:04:51 +01:00