1778 Commits

Author	SHA1	Message	Date
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
Anders Schack-Mulligen	5c635e982e	C++/C#/Java: Update expected output.	2024-05-27 11:01:52 +02:00
Michael Nebel	d272d6a9ca	C#: Assume that models should apply when a method is overridable except for the implicit methods on Object and ValueType.	2024-05-24 12:50:48 +02:00
Michael Nebel	2449074f3d	C#: Remove the DataFlowSummarizedCallable as this narrowing is now handled in the adapter.	2024-05-22 15:11:41 +02:00
Rasmus Wriedt Larsen	2451a6d3f6	Accept .expected changes	2024-05-21 14:47:42 +02:00
Tom Hvitved	d9019f9676	C#: Fix performance issue in EntityFramework modelling	2024-05-21 08:53:51 +02:00
Michael Nebel	18fc92247b	C#: Update flowsummaries expected output.	2024-05-16 15:09:04 +02:00
Michael Nebel	763d53afed	C#: Remove the override and ext column from the summaries printing test.	2024-05-16 15:08:45 +02:00
Tom Hvitved	8ec4f0b5bd	C#: Update expected test output	2024-05-02 14:53:02 +02:00
Anders Schack-Mulligen	b2f09949df	Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2 ... Dataflow: update fieldFlowBranchLimit semantics	2024-04-23 10:08:05 +02:00
Michael Nebel	58635bdbd6	Merge pull request #16121 from michaelnebel/csharp/modelgenexcludeset ... C#: Exclude properties with both a getter and setter as candidates for modelling.	2024-04-16 14:49:07 +02:00
Anders Schack-Mulligen	b87b8329a0	Dataflow: Use default fieldFlowBranchLimit in qltests.	2024-04-15 15:13:03 +02:00
Michael Nebel	1c8298ae08	C#: Update expected test output.	2024-04-12 14:24:30 +02:00
Michael Nebel	dc34cb0aae	C#: Update all MaD ids in the tests.	2024-04-12 13:24:18 +02:00
Michael Nebel	cb3a59446c	C#: Remove redundant neutral summaries for ProcessStartInfo.	2024-04-12 11:31:59 +02:00
Michael Nebel	e70a49a771	C#: Add some manual models for ProcessStartInfo.	2024-04-12 11:31:59 +02:00
Michael Nebel	5323af33d2	C#: Update flow summaries expected test output.	2024-04-12 11:31:58 +02:00
Michael Nebel	a2bb3dd78b	C#: Update expected test output.	2024-04-12 11:23:03 +02:00
Michael Nebel	1e59def89d	C#: Add some suppress nullable warning testcases and update expected output.	2024-04-12 11:16:37 +02:00
Anders Schack-Mulligen	c3946a92ff	C#: Update expected output (interesting)	2024-04-12 09:20:21 +02:00
Anders Schack-Mulligen	647f9aba82	C#: Update some expected output (uninteresting).	2024-04-12 09:20:18 +02:00
Anders Schack-Mulligen	004bda1ee0	C#: Add alert provenance plumbing.	2024-04-12 09:19:56 +02:00
Tom Hvitved	1c344d6735	C#: Adjust conditional access locations	2024-04-10 16:21:58 +02:00
Tom Hvitved	7c43ca7001	C#: Add more conditional access tests	2024-04-10 15:25:00 +02:00
Michael Nebel	10d96ee02f	C#: Address review comments.	2024-04-09 10:31:48 +02:00
Michael Nebel	b677e89f35	C#: Deprecate getFullyQualifiedNameWithTypes.	2024-04-08 13:46:45 +02:00
Michael Nebel	8fa9191434	C#: Deprecate the getFullyQualifiedName predicate.	2024-04-08 13:46:44 +02:00
Tom Hvitved	813f5b99e7	C#: Update PrintAST query	2024-04-03 20:03:02 +02:00
Tom Hvitved	368a500d93	C#: Neutralize some System.Diagnostics generated models	2024-04-02 13:58:55 +02:00
Edward Minnix III	7377cbb46e	Merge pull request #15930 from egregius313/egregius313/csharp/mad/database/dapper-sources ... C#: Sources for the `Dapper` database library	2024-03-25 11:21:51 -04:00
Michael Nebel	a07ee8e961	C#: Update the AsList model to a value flow model.	2024-03-22 14:40:25 +01:00
Michael Nebel	ca72b0583d	C#: Update source and sink expected test output.	2024-03-22 13:59:47 +01:00
Ed Minnix	4b13ad1310	Fix flow summary tests	2024-03-22 13:46:20 +01:00
Ed Minnix	9ed8ca27a1	Fix test and model	2024-03-22 13:46:19 +01:00
Ed Minnix	1f04229def	Fix typo	2024-03-22 13:46:19 +01:00
Ed Minnix	8223781978	Fix FlowSummaries tests	2024-03-22 13:46:19 +01:00
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