706 Commits

Author	SHA1	Message	Date
Ed Minnix	23aeb1d878	Add tests	2024-03-22 13:46:18 +01:00
Ed Minnix	c7a746e3dc	Flow summary tests	2024-03-21 13:15:45 -04:00
Ed Minnix	3e3eceea5f	Typo	2024-03-21 13:06:34 -04:00
Ed Minnix	08611f0c9c	Fix flow summary tests	2024-03-21 13:06:30 -04:00
Ed Minnix	3e29a8d2a1	System.IO files test	2024-03-21 13:06:23 -04:00
Ed Minnix	d387e6d068	Fix flow-summary tests	2024-03-21 13:06:21 -04:00
Michael Nebel	6619be3137	Merge pull request #15940 from michaelnebel/csharp/sourcesinktests ... C#: Source- and sink tests.	2024-03-21 08:12:16 +01:00
Michael Nebel	969676975d	C#: Address review comments.	2024-03-20 15:28:56 +01:00
Michael Nebel	d3aa2eed64	C#: Fix test.	2024-03-19 16:30:24 +01:00
Tom Hvitved	ee3e38f0eb	Simplify test interface in FlowSummaryImpl.qll	2024-03-19 14:35:00 +01:00
Michael Nebel	d24f032d97	C#: Update other tests.	2024-03-19 14:20:43 +01:00
Michael Nebel	b39842501a	C#: Update sink test expected output.	2024-03-19 14:20:42 +01:00
Michael Nebel	e32902ad47	C#: Update source expected test output.	2024-03-19 14:20:42 +01:00
Michael Nebel	5b37ee4ec7	Re-factor TestOutput into a param module.	2024-03-19 14:20:42 +01:00
Michael Nebel	90db9b330f	C#: Add MaD source and sink test query to shared library.	2024-03-19 13:45:38 +01:00
Tom Hvitved	e53357d376	Update expected test output	2024-03-18 14:49:32 +01:00
Tom Hvitved	a13391bda1	Merge pull request #15802 from hvitved/dataflow/variable-capture-overlapping-paths ... Variable capture: Avoid overlapping and false-positive data flow paths	2024-03-18 10:45:55 +01:00
Ed Minnix	bc745dfd5e	Windows registry sources	2024-03-11 13:55:34 -04:00
Edward Minnix III	e7852f520f	Merge pull request #15605 from egregius313/egregius313/csharp/dataflow/sources/commandargs-and-environment ... C#: Add more `environment` and `commandargs` sources for the C# Standard Library	2024-03-08 14:10:09 -05:00
Tom Hvitved	24e35f6f3d	Update expected test output	2024-03-08 10:00:43 +01:00
Ed Minnix	7f950d8e0d	Fix ExpandEnvironmentVariables test case	2024-03-07 21:48:05 -05:00
Lindsay Simpkins	feb1ca29cc	csharp update MaD for HttpRequestMessage	2024-03-07 15:00:05 -08:00
Ed Minnix	f8c805de6b	Microsoft.Extensions.Configuration models	2024-03-07 12:32:04 -05:00
Ed Minnix	a3f6bfe1df	commandargs sources	2024-03-07 12:30:06 -05:00
Ed Minnix	51afe12ae1	Environment variable sources	2024-03-07 12:20:48 -05:00
Ed Minnix	a87df5459f	Fix flow summary tests	2024-03-06 10:39:32 -05:00
Ed Minnix	94a941115f	Fix FlowSummaries test results	2024-03-06 10:39:27 -05:00
Tom Hvitved	bd7b2c4cc6	Update expected output	2024-03-05 10:44:13 +01:00
Tom Hvitved	357638baa8	C#: Update variable capture test	2024-03-04 14:39:48 +01:00
Tom Hvitved	297a17975d	Merge pull request #15665 from hvitved/csharp/variable-capture ... C#: Adopt shared variable capture library	2024-02-28 15:13:03 +01:00
Michael Nebel	80513d846d	C#: Update PrintAst test expected outputs.	2024-02-26 13:51:07 +01:00
Tom Hvitved	acd52192d1	C#: Adopt shared variable capture library	2024-02-26 09:53:30 +01:00
Tom Hvitved	7197c64e2d	C#: Add more variable capture tests	2024-02-26 09:53:29 +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	303a2bb63a	C#: Update expected test output	2024-02-22 21:04:55 +01:00
Michael Nebel	a24a57c586	C#: Update most other test cases to reflect the synthesized constructor calls and bodies.	2024-02-22 13:33:30 +01:00
Michael Nebel	a0b44c0fc1	C#: Update other tests expected output.	2024-02-21 10:57:22 +01:00
Michael Nebel	0d32192f62	C#: Update expected test output.	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	009ea1bcfd	C#: Add test examples for record flow and update expected test output.	2024-02-21 10:31:07 +01:00
Michael Nebel	d6f657cfd7	C#: Update expected test output.	2024-02-20 15:55:19 +01:00
Michael Nebel	3112bf4682	C#: Add some test property inititialization test cases and update expected output.	2024-02-20 15:55:19 +01:00
Michael Nebel	feda6bc01b	C#: Update expected test output.	2024-02-19 13:04:13 +01:00
Michael Nebel	dcde6597bc	C#: Updated expected test output.	2024-02-19 13:04:13 +01:00
Michael Nebel	6b38a81e50	C#: Add some test cases for primary constructor inititalizers and a failing dataflow test.	2024-02-19 13:04:12 +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
Tom Hvitved	ebd6853194	C#: Avoid overlapping output in data flow test	2024-02-13 13:59:03 +01:00
Michael Nebel	8efe34942f	C#: Add indirect assignment example.	2024-02-13 12:02:25 +01:00
Michael Nebel	eaf129d519	C#: Update expected test output.	2024-02-13 11:40:46 +01:00