2658 Commits

Author	SHA1	Message	Date
Tom Hvitved	4ef4ede0b1	C#: Do not calculate field-based SSA for enums	2024-08-30 11:19:07 +02:00
Tom Hvitved	a9b5faa6ab	C#: Add SSA test for enums	2024-08-30 11:19:06 +02:00
Tom Hvitved	c92c96fa78	Data flow: Compute local big step relation per stage	2024-08-26 09:15:27 +02:00
Tamás Vajk	3dce56b0b1	Merge pull request #17276 from tamasvajk/impr/change-partial-method-location ... C#: Change reporting location of partial methods	2024-08-22 15:10:21 +02:00
Michael Nebel	bd69b96752	Merge pull request #17273 from michaelnebel/csharp/sqlinject ... C#: ASP.NET Controller is allowed to be abstract.	2024-08-22 11:18:48 +02:00
Tom Hvitved	d41d7c8246	Merge pull request #17207 from hvitved/csharp/content-set ... C#: Implement `ContentSet`	2024-08-22 10:55:11 +02:00
Tamas Vajk	7c4733e88f	C#: Change reporting location of partial methods	2024-08-21 15:13:14 +02:00
Michael Nebel	45d4d5138a	C#: Update expected test output.	2024-08-21 13:14:12 +02:00
Michael Nebel	75772c5832	C#: Add abstract controller remote flow source example.	2024-08-21 13:00:10 +02:00
Michael Nebel	5d14307ea2	C#: Add a SQL injection test case for ASP.NET.	2024-08-21 12:14:30 +02:00
Anders Schack-Mulligen	525b6f30e3	C++/C#/Java: Accept test changes.	2024-08-21 10:51:28 +02:00
Rasmus Wriedt Larsen	7a446231b6	C#: Accept benign test changes	2024-08-15 16:20:00 +02:00
Rasmus Wriedt Larsen	ebafe65ac2	C#: Fixup test expectations from using stdin	2024-08-15 15:45:20 +02:00
Rasmus Wriedt Larsen	43b61dd2aa	C#: Support stdin in LocalFlowSource	2024-08-15 15:45:20 +02:00
Anders Schack-Mulligen	7d61d9282c	Merge pull request #17233 from aschackmull/dataflow/match-summarylabel ... Dataflow: Fix missing join on summaryLabel.	2024-08-15 14:55:38 +02:00
Anders Schack-Mulligen	a85f8a2fbd	Java/C#: Accept expected changes.	2024-08-15 13:24:31 +02:00
Michael Nebel	4b3cc5bd0e	Merge pull request #17219 from michaelnebel/shared/neutralsourcesink ... C#/Java: Fix source- and sink callable provenance overlap.	2024-08-15 11:02:18 +02:00
Michael Nebel	d5f8adbfee	C#: Update test expected output.	2024-08-14 13:13:27 +02:00
Michael Nebel	eaf4f5eeab	C#/Java: Update model generation expected output.	2024-08-14 09:57:49 +02:00
Michael Nebel	6f79480b40	C#: Add example of missing sink generation.	2024-08-14 09:50:13 +02:00
Tom Hvitved	89a2381165	C#: Adopt shared SSA data-flow integration	2024-08-14 08:39:17 +02:00
Michael Nebel	c5343fb829	C#: Make language specific ShowProvenance module and update tests.	2024-08-13 16:10:11 +02:00
Michael Nebel	97f9340a0a	C#: Update security related tests and expected output to pretty print MaD.	2024-08-13 16:10:04 +02:00
Michael Nebel	ddbca5aee9	C#: Add PrettyPrintModel post process query and migrate existing test case.	2024-08-13 16:09:59 +02:00
Tom Hvitved	f6ec56a977	C#: Implement ContentSet	2024-08-13 15:27:36 +02:00
Tom Hvitved	3395dc9e71	Merge pull request #16576 from hvitved/csharp/static-field-side-effect ... C#: Add support for flow through side-effects on static fields	2024-08-13 14:16:28 +02:00
Tom Hvitved	51077ce2e7	Merge pull request #17173 from hvitved/shared/inline-flow-provenance ... Shared: Apply `ShowProvenance` in `InlineFlowTest.qll`	2024-08-13 14:15:08 +02:00
Tom Hvitved	69b581cc4d	C#: Update expected test output	2024-08-13 13:34:47 +02:00
Tom Hvitved	f83df76928	Shared: Apply ShowProvenance in InlineFlowTest.qll	2024-08-13 13:34:43 +02:00
Tom Hvitved	fbcb4498fe	Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch ... C#: Restrict multi-body dataflow dispatch based on file-system distance	2024-08-13 12:15:22 +02:00
Michael Nebel	4a5c9f0ec4	Merge pull request #17007 from michaelnebel/shared/neutralimplementation ... C#/Java/Go: Neutrals are split into separate classes.	2024-08-12 13:58:12 +02:00
Tamas Vajk	63d07a933a	C#: Exclude System.Runtime.CompilerServices attributes from XML documentation needed check	2024-08-12 11:48:57 +02:00
Tom Hvitved	1bcac50db1	C#: Add support for flow through side-effects on static fields	2024-08-12 10:01:51 +02:00
Tom Hvitved	29c204bc61	C#: Add a data flow test for side effects on static fields	2024-08-12 10:01:48 +02:00
Tom Hvitved	00d447ba4b	C#: Update expected test output	2024-08-06 15:43:08 +02:00
Anders Schack-Mulligen	9724516c84	C#/Go/Java/Python/Ruby: Accept qltest .expected changes.	2024-07-31 14:45:10 +02:00
Michael Nebel	0bf1ed1d96	C#/Java: Update model generator expected output.	2024-07-18 16:35:40 +02:00
Michael Nebel	ca4bd0c606	C#/Java/Go: Neutrals are split into seperate classes.	2024-07-18 16:29:38 +02:00
Michael Nebel	c9832df3c0	C#/Java: Add test for missing neutral summary generation.	2024-07-18 16:29:34 +02:00
Michael Nebel	18cde3bd78	Merge pull request #16873 from michaelnebel/csharp/narrowsourcegeneration ... C#: Narrow source model generation.	2024-07-15 15:53:13 +02:00
Tom Hvitved	0459422a6c	C#: Restrict multi-body dataflow dispatch based on file-system distance	2024-07-11 16:52:20 +02:00
Tom Hvitved	35bf990f23	C#: Add data flow test for multi-body dispatch	2024-07-11 16:52:18 +02:00
Tom Hvitved	d675304703	Merge pull request #16875 from hvitved/csharp/ssa-param-def ... C#: Move implicit entry definitions inside method bodies in SSA construction	2024-07-04 10:51:06 +02:00
Michael Nebel	e05f835683	C#: Update model generator expected output.	2024-07-02 07:52:30 +01:00
Michael Nebel	70494d339d	C#: Re-write some of the existing source model generation tests and introduce a new one for ToString.	2024-07-02 07:52:22 +01:00
Tom Hvitved	c5c97aca50	C#: Move implicit entry definitions inside method bodies in SSA construction	2024-07-01 10:48:13 +02:00
Tom Hvitved	075a249f3b	C#: Add SSA test for multi-bodied method	2024-06-28 14:27:51 +02:00
Michael Nebel	f7ce4f39ea	C#: Update expected source/sink model generator expected test output.	2024-06-27 10:42:37 +02:00
Michael Nebel	3180d8f752	C#: Add some source/sink examples where lifting is applied.	2024-06-27 10:27:50 +02:00
Michael Nebel	e1f65d1f8b	Merge pull request #16836 from michaelnebel/csharp/bestlocation ... C#: Be more consistent when picking between locations.	2024-06-26 12:46:50 +02:00