694 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	4bf63fedc9	Merge pull request #18179 from aschackmull/dataflow/accesspath-notypes ... Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning.	2024-12-05 09:58:36 +01:00
Mathias Vorreiter Pedersen	919405e586	C#: Support mixing dynamic properties and fields (instead of just properties) and accept test changes.	2024-12-03 19:36:42 +00:00
Mathias Vorreiter Pedersen	14c4d949d6	C#: Include tests with fields as well as properties.	2024-12-03 19:34:06 +00:00
Mathias Vorreiter Pedersen	4a2c02543c	C#: Accept test changes.	2024-12-03 17:34:57 +00:00
Mathias Vorreiter Pedersen	d22ef44f44	C#: Add tests with missing flow through dynamic members.	2024-12-03 17:27:59 +00:00
Anders Schack-Mulligen	9734cff15b	Java/C#: Update expected files.	2024-12-03 12:57:44 +01:00
Ed Minnix	5bcc694f6a	Fix typo	2024-11-28 09:06:18 -05:00
Ed Minnix	1c06c4aae0	Fix summaries	2024-11-28 08:59:58 -05:00
Ed Minnix	2b0c7a209b	Fix test results	2024-11-26 22:42:24 -05:00
Michael Nebel	45458ed72b	Merge pull request #17845 from michaelnebel/csharp/net8runtimehigherorder ... C#: Add generated higher order models for .NET8 Runtime.	2024-11-19 11:52:34 +01:00
Michael Nebel	71bf900c6c	C#: Update FlowSummaries expected tests.	2024-11-07 11:14:02 +01:00
Tom Hvitved	95e9d013cc	Update expected test output	2024-11-04 12:07:06 +01:00
Michael Nebel	146c88fabb	C#: Update test expected output where the results are not affected.	2024-10-23 13:08:21 +02:00
Michael Nebel	cad9aa21d8	C#: Update flow summaries test expected output.	2024-10-23 13:08:18 +02:00
Anders Schack-Mulligen	6081ba5902	Merge pull request #17604 from aschackmull/java/neutral-overrides ... Java/C#: Add overrides to the interpretation of neutral MaD models.	2024-10-01 14:55:54 +02:00
Anders Schack-Mulligen	5c4b4d644a	C#: Accept test changes.	2024-09-30 16:27:50 +02:00
Michael Nebel	6f74387600	Merge pull request #17521 from michaelnebel/modelgen/moreimprovements ... C#/Java: Content based model generation improvements.	2024-09-30 11:22:30 +02:00
Michael Nebel	a128383760	C#/Java: Add some dfc-generated test cases.	2024-09-26 13:01:01 +02:00
Rasmus Wriedt Larsen	63c3a71d95	Merge branch 'main' into active-threat-model-source	2024-09-23 11:18:14 +02:00
Owen Mansel-Chan	ded52ccb8e	Fix test expectations including double space	2024-09-19 11:01:38 +01:00
Michael Nebel	295861d577	Merge pull request #17459 from michaelnebel/csharp/accessormad ... C#: Add MaD support for `Attribute.Getter` and `Attribute.Setter`.	2024-09-18 09:11:51 +02:00
Tom Hvitved	d680a549bd	Merge pull request #16936 from hvitved/csharp/ssa-integration ... C#: Adopt shared SSA data-flow integration	2024-09-17 13:45:31 +02:00
Michael Nebel	0b579c0a1a	C#: Update external models tests and expected test output.	2024-09-16 15:45:12 +02:00
Michael Nebel	368ba1c5e2	C#: Update external models expected test output.	2024-09-16 15:45:07 +02:00
Michael Nebel	367bbc4039	C#: Add some examples of using attributes on properties and indexers for use in external models.	2024-09-16 15:45:05 +02:00
Rasmus Wriedt Larsen	8c10155eb7	mass rename to ActiveThreatModelSource	2024-09-12 10:16:55 +02:00
Michael Nebel	4f4c7bfbb9	C#: Update expected test output.	2024-09-02 11:13:16 +02:00
Michael Nebel	0d343c5ce1	C#: Add external flow tests for synthetic fields.	2024-09-02 11:13:06 +02:00
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
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
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
Anders Schack-Mulligen	525b6f30e3	C++/C#/Java: Accept test changes.	2024-08-21 10:51:28 +02:00
Rasmus Wriedt Larsen	ebafe65ac2	C#: Fixup test expectations from using stdin	2024-08-15 15:45:20 +02:00
Anders Schack-Mulligen	a85f8a2fbd	Java/C#: Accept expected changes.	2024-08-15 13:24:31 +02:00
Michael Nebel	d5f8adbfee	C#: Update test expected output.	2024-08-14 13:13:27 +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
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	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
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