2631 Commits

Author	SHA1	Message	Date
Rasmus Wriedt Larsen	63c3a71d95	Merge branch 'main' into active-threat-model-source	2024-09-23 11:18:14 +02:00
Tom Hvitved	16813240ae	Shared: Do not use @kind graph for CFG test output	2024-09-19 18:13:31 +02:00
Tom Hvitved	4baa4ae2aa	Merge pull request #17513 from owen-mc/fix-test-expectations ... C#/Go: Fix test expectations including double space	2024-09-19 12:17:18 +02:00
Owen Mansel-Chan	ded52ccb8e	Fix test expectations including double space	2024-09-19 11:01:38 +01:00
Michael Nebel	4a9e3ee3aa	Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements ... C#/Java: Content based model generation improvements.	2024-09-19 10:49:11 +02:00
Michael Nebel	24a101297c	Merge pull request #15884 from michaelnebel/csharp/cleanupcil ... C#: CIL and Dotnet cleanup (removal).	2024-09-18 11:43:41 +02: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
Michael Nebel	a6f95c577a	C#: Remove deprecated predicates.	2024-09-16 14:12:05 +02:00
Michael Nebel	7db73c8771	C#: Update expected test output.	2024-09-16 10:57:25 +02:00
Michael Nebel	5c5da3791e	C#: Update attributes expected test output.	2024-09-16 10:53:00 +02:00
Michael Nebel	cc0d99a141	C#: Add attibute test examples for properties and indexers.	2024-09-16 10:50:51 +02:00
Rasmus Wriedt Larsen	8c10155eb7	mass rename to ActiveThreatModelSource	2024-09-12 10:16:55 +02:00
Michael Nebel	0abc08c773	C#: Add some synthetic field content based examples.	2024-09-10 15:24:00 +02:00
Michael Nebel	b94940b6d9	C#: Adjust existing model generator tests and update expected output.	2024-09-10 15:23:57 +02:00
Michael Nebel	a5b462292f	Merge pull request #17330 from michaelnebel/java/modelgenfieldbased ... Java/C#: Field based model generator (Experimental).	2024-09-06 11:11:46 +02:00
Michael Nebel	6e8941ea9d	C#: Add a couple more testcases.	2024-09-03 12:58:09 +02:00
Michael Nebel	4123876343	C#: Add content based summary generation test.	2024-09-03 12:58:06 +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
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