134 Commits

Author	SHA1	Message	Date
Michael Nebel	5e1801f7be	C#: Update models based on review comments.	2024-05-31 12:50:06 +02:00
Michael Nebel	9bb7575018	C#: Promote IDataRecord and IDbCommand to manual summaries such that they are used in conjunction with source code.	2024-05-31 12:49:53 +02:00
Michael Nebel	db0131d931	C#: Update .NET8 models.	2024-05-31 12:49:35 +02:00
Owen Mansel-Chan	83249cd9c2	Fix grammar in comment	2024-05-02 09:59:48 +01:00
Owen Mansel-Chan	16dcc0969b	Standardise comment explaining why extensible predicates must be defined	2024-05-01 22:00:01 +01:00
Owen Mansel-Chan	09e59ccf44	Name files with empty definitions of MaD extensible predicates to erowdmpty.model.yml	2024-05-01 21:39:38 +01:00
Michael Nebel	d88a813038	C#: Re-generate .NET models.	2024-04-12 13:49:26 +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	96ef6809a7	C#: Update .NET Runtime models.	2024-04-12 11:31:58 +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
Ed Minnix	9ed8ca27a1	Fix test and model	2024-03-22 13:46:19 +01:00
Ed Minnix	73b4e8fe6a	Add WithElement identifier to AsList method	2024-03-22 13:46:19 +01:00
Ed Minnix	9b23bfa038	Execute methods which return objects ... The `Execute` method returns `int` for "number of rows affected". But some of the other `Execute*` methods return objects.	2024-03-22 13:46:19 +01:00
Ed Minnix	5885938eaf	Use wildcard signatures for Query methods	2024-03-22 13:46:19 +01:00
Ed Minnix	98285b5171	Add AsList summary	2024-03-22 13:46:18 +01:00
Ed Minnix	87ad170067	Dapper source models	2024-03-22 13:46:18 +01:00
Ed Minnix	e2c2d574f8	Add FileInfo::OpenText	2024-03-21 13:06:33 -04:00
Ed Minnix	08611f0c9c	Fix flow summary tests	2024-03-21 13:06:30 -04:00
Ed Minnix	e14e47cd73	Fix Stream::Read(Span<byte>) model	2024-03-21 13:06:28 -04:00
Ed Minnix	d6f085373e	System.IO.Stream::ReadExactly models	2024-03-21 13:06:27 -04:00
Ed Minnix	2a73677fd2	Missing Stream::ReadAsync overload	2024-03-21 13:06:26 -04:00
Ed Minnix	a698684fec	System.IO.Stream::ReadAtLeast	2024-03-21 13:06:24 -04:00
Ed Minnix	9232fafde1	Add System.IO.Stream::Read(Span<Byte>) model	2024-03-21 13:06:20 -04:00
Ed Minnix	a8c5e4e0f2	FileInfo source models	2024-03-21 13:06:18 -04:00
Ed Minnix	bb9b0eabf2	Add BufferedStream summary models	2024-03-21 13:06:17 -04:00
Ed Minnix	a5b801b31f	Add File reading methods	2024-03-21 13:06:15 -04:00
Ed Minnix	bc745dfd5e	Windows registry sources	2024-03-11 13:55:34 -04:00
Edward Minnix III	e7852f520f	Merge pull request #15605 from egregius313/egregius313/csharp/dataflow/sources/commandargs-and-environment ... C#: Add more `environment` and `commandargs` sources for the C# Standard Library	2024-03-08 14:10:09 -05:00
Lindsay Simpkins	feb1ca29cc	csharp update MaD for HttpRequestMessage	2024-03-07 15:00:05 -08:00
Ed Minnix	608a3f907c	Add type signature for methods with no overloads	2024-03-07 12:32:06 -05:00
Ed Minnix	f8c805de6b	Microsoft.Extensions.Configuration models	2024-03-07 12:32:04 -05:00
Ed Minnix	a3f6bfe1df	commandargs sources	2024-03-07 12:30:06 -05:00
Ed Minnix	51afe12ae1	Environment variable sources	2024-03-07 12:20:48 -05:00
Ed Minnix	527041348e	Add comment about Memory<T>	2024-03-06 10:39:31 -05:00
Ed Minnix	e065390185	Add .Element modifier to Memory<T> arguments in MaD models	2024-03-06 10:39:30 -05:00
Ed Minnix	ca55b92281	Change System.IO.TextReader models to transfer taint to out parameter instead of return value ... Some of the `System.IO.TextReader` models transfered taint to `ReturnValue`, when there is a more relevant out-parameter/array.	2024-03-06 10:39:25 -05:00
Michael Nebel	31b0da7639	C#: Update models for Except and DefaultIfEmpty.	2024-02-06 14:00:59 +01:00
Michael Nebel	b41758fb39	C#: Update summaries for Enumerable.DefaultIfEmpty to target elements in the return value.	2024-02-06 11:24:02 +01:00
Michael Nebel	f6e3027321	C#: Add summaries for Span<T> and ReadOnlySpan<T> extension methods.	2024-02-02 14:47:45 +01:00
Michael Nebel	6ff22622ca	C#: Add summaries for Span<T> and ReadOnlySpan<T>.	2024-02-02 14:47:44 +01:00
Michael Nebel	9236a10d98	C#: Update .NET Runtime models (.NET 8).	2023-12-20 10:56:38 +01:00
Michael Nebel	86881b4e1e	C#: Add empty definitions for all extensible model related predicates.	2023-12-20 10:22:43 +01:00
Mathew Payne	2e0ac264e7	feat: Add AWS Lambda logging	2023-12-13 13:07:28 +01:00
Mathew Payne	6c138ae485	feat: Add models and expected	2023-12-13 13:07:28 +01:00
Tamas Vajk	75fa67726e	Fix models to support fluent chaining	2023-12-07 14:10:16 +01:00
Tamas Vajk	89df59a083	C#: Add missing models and fix interpolated string flow into StringBuilder	2023-12-07 10:56:59 +01:00
Tamas Vajk	669a0c6827	Fix StringBuilder.ToString summaries	2023-12-07 09:21:27 +01:00