2631 Commits

Author	SHA1	Message	Date
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
Michael Nebel	d18915a1e4	C#: Update expected test output.	2024-06-25 16:02:58 +02:00
Michael Nebel	854674a71c	C#: Update expected test output.	2024-06-24 13:07:30 +02:00
Michael Nebel	2657e7f56d	C#: Add some source and sink modelling examples where a neutral exist.	2024-06-24 13:05:35 +02:00
Michael Nebel	99907471b2	C#: Update model generator expected output.	2024-06-19 14:10:52 +02:00
Michael Nebel	dfaa40a1d2	C#: Update expected test output from model generation.	2024-06-18 13:05:17 +02:00
Michael Nebel	031e44b157	C#: Add some source/sink model generator test examples.	2024-06-18 13:05:07 +02:00
Michael Nebel	854c6fa813	C#: Update expected test output after .NET 8 models update.	2024-06-13 09:24:13 +02:00
Michael Nebel	48739da565	C#: Update expected test output.	2024-06-12 14:16:31 +02:00
Michael Nebel	5aee35256d	C#: Add member flow example.	2024-06-12 14:16:22 +02:00
Michael Nebel	4b62cb64ed	C#: Update expected test output.	2024-06-12 14:16:17 +02:00
Michael Nebel	0bbf131fdb	C#: Add some compound sink examples.	2024-06-12 14:16:12 +02:00
Anders Schack-Mulligen	0e8d72c126	C#: Add support for pretty-printed provenace in tests. Convert one test.	2024-06-07 11:45:16 +02:00
Michael Nebel	d5af71a6c9	Merge pull request #16647 from michaelnebel/csharp/idempotentsummarygeneration ... C#: Make summary generation idempotent.	2024-06-07 10:38:25 +02:00
Chanel	7b5297b882	Merge branch 'main' into jb1/chanely-insecure-sql-connection	2024-06-05 09:02:13 -07:00
Tom Hvitved	48455ec3c9	C#: Improve performance of MissingXMLValidation query	2024-06-04 08:35:53 +02:00
Michael Nebel	546b260330	C#: Update expected test output and remove spurious result.	2024-06-03 10:40:13 +02:00
Michael Nebel	213e3918df	C#: Add some more external flow testcases (one with a spurious result).	2024-06-03 10:40:02 +02:00
Michael Nebel	b08a0a303f	C#: Re-factor external models tests to use compiled code instead of emulating it.	2024-06-03 10:39:59 +02:00
Michael Nebel	e2758f2abb	C#: Update expected test output.	2024-05-31 15:06:16 +02:00
Michael Nebel	8b75bb2ba9	C#: The model generator should consider System.Type and System.DateTime as sanitizers.	2024-05-31 12:50:18 +02:00
Michael Nebel	02f9aec517	C#: Add some spurious summary generation examples.	2024-05-31 12:50:14 +02:00
Michael Nebel	b628c2e121	C#: Update flow summaries expected output.	2024-05-31 12:50:10 +02:00
Michael Nebel	0985a3a5f6	C#: Update expected test output.	2024-05-31 12:49:58 +02:00
Michael Nebel	90538d4b4c	C#: Update expected test output.	2024-05-31 12:49:48 +02:00
Michael Nebel	cd5168b570	C#: Limit the defintion of database flow source and use summaries for better paths and reduced result multiplicity.	2024-05-31 12:49:44 +02:00
Michael Nebel	38d246a3bd	C#: Update flowsummaries expected output.	2024-05-31 12:49:40 +02:00
Michael Nebel	195ccb0018	Merge pull request #16484 from michaelnebel/csharp/superimplmodelgen ... C#: Lift models.	2024-05-28 15:49:35 +02:00